nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzsyxr0tvrpg3q3m9gsjjamy45vwher4mt5ffphkj7gggx0h82hs2klr6l4 (nprofile…r6l4) - yes, there are lots of practical applications of math where understanding is not important. Arguably all digital computation is a form of math, including the process whereby the words I type here get shown to you, wherever you are. Software verification is a somewhat more elevated form of math that can still be incredibly tedious and best left to computers.... and Axiom Math seems to be saying it wants to get into that business.
nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypgyg8mv5gg94whplj5l8awykyjkqnuqxhdx8watuzgru90e2s7jgn6sjny (nprofile…sjny) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrny7h55rze6cd8jwt59gwleqfh0e6psg8prmsc7vev0gzp5j5dvw78jng9 (nprofile…jng9)
John Carlos Baez
npub17u…8pd6m
2025-12-07 18:14:21 UTC
in reply to nevent1q…ngq7
Author Public Key
npub17u6xav5rjq4d48fpcyy6j05rz2xelp7clnl8ptvpnval9tvmectqp8pd6mSeen on
wss://relay.ditto.pubPublished at
2025-12-07 18:14:21 UTCEvent JSON
{
"id": "e695ceae8d5eb3ccd12e3b11c1ab58bad313ad1f6ee38efef93a6f0b64a9e7bf",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1765131261,
"kind": 1,
"tags": [
[
"p",
"a0430deb60c288823b2a21297764ad18ebe475dae89486f697908419f73aaf05",
"wss://relay.ditto.pub/"
],
[
"p",
"50441f6ca2105abae1fca9f3f5c4b125604f8035da63bbabe0903e15f9543d24",
"wss://relay.ditto.pub/"
],
[
"p",
"e64f5e9418b3ac34f272e8543bf9026efce83041c23dc31e6658f40834951ac7",
"wss://relay.ditto.pub/"
],
[
"p",
"74239c883bc47e5974e14dd3fd5eef8b864aa0b54b1338c5dad58a6f9a2eac5b",
"wss://relay.ditto.pub/"
],
[
"p",
"3aebbf355c1b554779719e2e61bf4a7094810b63e13c693acb0c911694b7004d",
"wss://relay.ditto.pub/"
],
[
"p",
"e7736c5764b1e9259e97416ccd4cc9f6c83e348e4e22c20d08e3c25e0d9b285d",
"wss://relay.ditto.pub/"
],
[
"e",
"d16680bf20146e971c8e079710a7447a206d3506f541e4d86dfe2cba292b5da3",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/115679642321065309",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyzsyxr0tvrpg3q3m9gsjjamy45vwher4mt5ffphkj7gggx0h82hs2klr6l4 - yes, there are lots of practical applications of math where understanding is not important. Arguably all digital computation is a form of math, including the process whereby the words I type here get shown to you, wherever you are. Software verification is a somewhat more elevated form of math that can still be incredibly tedious and best left to computers.... and Axiom Math seems to be saying it wants to get into that business.\n\nnostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypgyg8mv5gg94whplj5l8awykyjkqnuqxhdx8watuzgru90e2s7jgn6sjny nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrny7h55rze6cd8jwt59gwleqfh0e6psg8prmsc7vev0gzp5j5dvw78jng9",
"sig": "acf5dc05a01afc82469d25f1b112aff320a39e7c4db236a2063f476ed67a0da9ca996019e2254d51418ecc8220a639ab4fd5d5ae1be77a3188c2d80331972afe"
}