nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpquzgxh53ntnrjf3q4w3zjq7xgx50h64m5p85pvz9gqj928k0quluqv3f38c (nprofile…f38c) Regarding your claim, I don't know.
I think classical mathematics is rather useful, and that it coexists with constructive mathematics. They both learn from each other, in useful ways.
But my "intuition" seems to be inherently constructive.
But I do love a lot of classical proofs.
(And some of them are in TypeTopology, by myself and by other people.)
As often said here and elsewhere, there is only one mathematics, and it incorporates both classical and constructive mathematics.
(So the received foundations are wrong, because they favour one other the other.)
Martin Escardo
npub1t3…fg3z4
2026-01-30 20:02:37 UTC
in reply to nevent1q…jz50
Author Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4Seen on
wss://relay.ditto.pubPublished at
2026-01-30 20:02:37 UTCEvent JSON
{
"id": "6b623a8f68fd8eed731ba0b0e9f795b89d3ab4f45e3fc8e07ed750877b50aa11",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1769803357,
"kind": 1,
"tags": [
[
"p",
"e0906bd2335cc724c41574452078c8351f7d577409e81608a8048aa3d9e0e7f8",
"wss://relay.ditto.pub"
],
[
"p",
"ba306e606ef310fbf9e5a15fb741099310fe2c2c9d4f3b9fdcade01d1e4028f0",
"wss://relay.ditto.pub"
],
[
"e",
"90cb80ae4c72193d1019029d914fc831cb174262802156490644cd0a724c7037",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/115985832810813091",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpquzgxh53ntnrjf3q4w3zjq7xgx50h64m5p85pvz9gqj928k0quluqv3f38c Regarding your claim, I don't know. \n\nI think classical mathematics is rather useful, and that it coexists with constructive mathematics. They both learn from each other, in useful ways.\n\nBut my \"intuition\" seems to be inherently constructive.\n\nBut I do love a lot of classical proofs.\n\n(And some of them are in TypeTopology, by myself and by other people.)\n\nAs often said here and elsewhere, there is only one mathematics, and it incorporates both classical and constructive mathematics. \n\n(So the received foundations are wrong, because they favour one other the other.)",
"sig": "b6ddab7fbe873d6fec36bea14ebe31993862f3902d1f9a95c3f48e370a724934e81bd5f31149c40f10143c79c559699b6cf9e3b13ba04ac05a38705935a6752f"
}