- theory building involves a lot of choosing good definitions... and ideally all the theorems you want become easy, but it rarely works that way except in category theory, which is like math without friction.
Scholze is a signatory of the Association of Human Mathematics.
John Carlos Baez
npub1nf…3nqe4
2026-09-11 10:28:26 UTC
in reply to nevent1q…wg6e
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-09-11 10:28:26 UTCEvent JSON
{
"id": "3fa9b384477d481825886e7a1689210a3721758518e57bb4c722fc39422cd8e1",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1789122506,
"kind": 1,
"tags": [
[
"p",
"a99ab49828156ff9b0ee71fdd0d947182a16626d9e04c9c3ed90e4daf148d4ca"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/117251932588173174",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"cc7ce64f3a76b9d128ef38be83748028ec8feffb4cc0a6d6ec1bbe7890256a29",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"c574ec9fd9cf8e05d6daffd1d132734cd1939466873a5441873f06b34584fc89",
"",
"reply",
"a99ab49828156ff9b0ee71fdd0d947182a16626d9e04c9c3ed90e4daf148d4ca"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/117251932588173174",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/117251932588173174",
"pink.momostr"
],
[
"-"
]
],
"content": "- theory building involves a lot of choosing good definitions... and ideally all the theorems you want become easy, but it rarely works that way except in category theory, which is like math without friction. \n\nScholze is a signatory of the Association of Human Mathematics.",
"sig": "6819f3dbba244c8153e6556a63d3e59346879e75cc135b0c00ad6875461adc872f09b7c9c97753b74fd4dc502f950c366a0924d3d14b34e61ad179ab8bf79063"
}