nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) Maybe we should structure formal mathematical libraries like informal mathematical libraries, ie in textbooks and papers. Sure, grand projects like the 'stacks project', which give an opinionated and coherent systematization of an entire field, would be extremely valuable to have, but then I think we should mostly embrace plurality, just like we do now in informal maths.
I feel the need for big, generalist, libraries is felt strongly now because there is relatively little maths formalized, so you mostly don't know where to fish a result from if you want to build on it (the equivalent of a citation in informal maths).
Matteo Capucci
npub1xv…58vg4
2025-12-22 02:06:11 UTC
in reply to nevent1q…vzwy
Author Public Key
npub1xvgrm0sxezg5zejxd8hgtrpmnkp4a6swzt6td4tmx08tnlss82hqm58vg4Published at
2025-12-22 02:06:11 UTCEvent JSON
{
"id": "a479bdf2eb63070f43a4656bc5bf89cc6ce21aeb4752bcf245dd9dd988878028",
"pubkey": "33103dbe06c89141664669ee858c3b9d835eea0e12f4b6d57b33ceb9fe103aae",
"created_at": 1766369171,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.ditto.pub/"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.ditto.pub/"
],
[
"e",
"10e257c93dfe23ddafa99d0d4823b8a024675ac4592f9f94cc47951022b58f66",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/mc/statuses/115760770052536174",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 Maybe we should structure formal mathematical libraries like informal mathematical libraries, ie in textbooks and papers. Sure, grand projects like the 'stacks project', which give an opinionated and coherent systematization of an entire field, would be extremely valuable to have, but then I think we should mostly embrace plurality, just like we do now in informal maths.\nI feel the need for big, generalist, libraries is felt strongly now because there is relatively little maths formalized, so you mostly don't know where to fish a result from if you want to build on it (the equivalent of a citation in informal maths).",
"sig": "eafd5b804bbf53060429f7e738ea4412f2bb1e51e405c7cfdafa48441f6d058116c0eb8f6a562794d3e89aba0b08a4c1a75f4b625cf7182026f337a39742a542"
}