It's fascinating how a simple change of representation may lead to revolutionary progress. After all, these are the same numbers known to humans for thousands of years, since (or before?) the Sumerian civilization. We just write them differently.
In my mind, the closest parallel in recent history is the encoding of mathematical theorems and proofs using computer languages / proof assistants. Homotopy Type Theory is the first serious application of this new system.
Bartosz Milewski
npub1gl…xtqzy
2026-10-18 15:16:18 UTC
in reply to nevent1q…xlup
Author Public Key
npub1glgxnwfzwxpvj3l6d96vxttum7rkfav3dmcwdkyqz9eqkt83mdfsaxtqzySeen on
wss://relay.momostr.pinkPublished at
2026-10-18 15:16:18 UTCEvent JSON
{
"id": "cee2d99100b89da8543cea9c462af7aed56d43cadc0064e170aa0988c0eb7c49",
"pubkey": "47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53",
"created_at": 1792336578,
"kind": 1,
"tags": [
[
"p",
"362ec2171fe5ffc51765a4e630816d76f9c48523a2a9e82ccd0cbf09b598e1cc"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"e",
"c193b830e130f1e0d7f2d1e44990f39fdfdcde7c13b62eaa1792feb1b91049ae",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"e11f8628052ecc18bf12e667e3487fd346586c288bf621ae24a6ba653fc427d9",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@BartoszMilewski/117462569994787660",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/117462569994787660",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/BartoszMilewski/statuses/117462569994787660",
"pink.momostr"
],
[
"-"
]
],
"content": "It's fascinating how a simple change of representation may lead to revolutionary progress. After all, these are the same numbers known to humans for thousands of years, since (or before?) the Sumerian civilization. We just write them differently.\n\nIn my mind, the closest parallel in recent history is the encoding of mathematical theorems and proofs using computer languages / proof assistants. Homotopy Type Theory is the first serious application of this new system.",
"sig": "611b44640c41104eb95dc1970f9b8fe47fa436b157e87ffc23b8977c6fb3de8951154b053ee2697c9b2be16611292564c8ae51306927f71e2c84f278427a3fcb"
}