nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgf8x0vypj2ve7hyuj8nxrspplavg56y5rc3j2zue0w2s9fphgj0s0cfh5j (nprofile…fh5j) writes " I am of the opinion that positing things that cannot be constructed serves no purpose."
Hmm. If you prove that it is impossible that something doesn't exist, I may be very tempted to try to find it.
It is in this sense (among others) that I think that classical and constructive mathematics coexist healthly.
You also say: "Looking at you, Axiom of Choice."
In fact, much of my work has been about when you can choose things that classical mathematics say you can do.
You know, people explore ideas in all directions, and I think this is rather healthy.
The point of this thread is (1) understand the differences (rather than join the Classical Team or the Constructive Team), (2) learn from each other, (3) still feel free to join the Team you like.
Martin Escardo
npub1t3…fg3z4
2026-01-30 20:52:16 UTC
in reply to nevent1q…3mwm
Author Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4Seen on
wss://relay.ditto.pubPublished at
2026-01-30 20:52:16 UTCEvent JSON
{
"id": "8ca1c7af6a69a14dc3b5089e8c30340efa2961c5dd6fcc1c654960881a50e270",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1769806336,
"kind": 1,
"tags": [
[
"p",
"424e67b08192999f5c9c91e661c021ff588a68941e23250b997b9502a437449f",
"wss://relay.ditto.pub"
],
[
"p",
"921756681cb40719258c0fdb20201643ec3f36da7136225432d6bc5ade769267",
"wss://relay.ditto.pub"
],
[
"e",
"e94fe295aa1bbdccd0ddca161d0151bc10cbebfb96f032ed94e8315122d5ba48",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/115986028055943807",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqgf8x0vypj2ve7hyuj8nxrspplavg56y5rc3j2zue0w2s9fphgj0s0cfh5j writes \" I am of the opinion that positing things that cannot be constructed serves no purpose.\"\n\nHmm. If you prove that it is impossible that something doesn't exist, I may be very tempted to try to find it.\n\nIt is in this sense (among others) that I think that classical and constructive mathematics coexist healthly.\n\nYou also say: \"Looking at you, Axiom of Choice.\"\n\nIn fact, much of my work has been about when you can choose things that classical mathematics say you can do.\n\nYou know, people explore ideas in all directions, and I think this is rather healthy.\n\nThe point of this thread is (1) understand the differences (rather than join the Classical Team or the Constructive Team), (2) learn from each other, (3) still feel free to join the Team you like.",
"sig": "973df744195d4e06d5ed65ba00dc33db8c35e0c2bca827039a1f06ecbedb685620fa5c7e5571701f08c98fd8ed70ba8215dc85ba8fc3b4792e659205312267b3"
}