Dan Piponi on Nostr: "I very much agree that mathematics is a human activity. But I also think that using ...
"I very much agree that mathematics is a human activity. But I also think that using a computer is a human activity."
Johan Commelin, director of mathlib
Published at
2026-06-23 15:32:11 UTCEvent JSON
{
"id": "3ffb87ac4c1094c58e19f362a56a8a5862d433f3acc39be656aeebde06aa01a4",
"pubkey": "3422fcbc32f333fb2d3481b2e981258af8a0b571869cbfe93c42962410e232ef",
"created_at": 1782228731,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/dpiponi/statuses/116800142157931730",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "\"I very much agree that mathematics is a human activity. But I also think that using a computer is a human activity.\"\n\nJohan Commelin, director of mathlib",
"sig": "444aaf987a2c26551b0f70d2a8eef54a4f1520088a953e478810e0b2ae4737191c4b7b1b91836f3218dd8605f0d470b02362d76760153ec5cc6a7ce1391a51b4"
}
