nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpql66ph75fqyyvg6vrk46knp5rcdtcc4urxrkqyvlm87ctxys2rtfse8k4ws (nprofile…k4ws)
Given that you mention this, I can't help but to say that e.g. Hilbert was wrong when formalizing Euclid, in the sense of misunderstanding what Euclid did and said.
Hilbert mis-translated "to construct" to "exists".
In modern terminology, Σ to ∃.
Martin Escardo
npub1t3…fg3z4
2026-01-27 22:38:42 UTC
in reply to nevent1q…mh7z
Author Public Key
npub1t3n4le6kr3f09s823keer5kr53j4d0kf50q2fd83pu35lcpltr9q0fg3z4Seen on
wss://relay.ditto.pubPublished at
2026-01-27 22:38:42 UTCEvent JSON
{
"id": "7dcce2f927ece998ed777b4cd4511171a7e3b07fcc66ffa7303ba5ff31fa3ed7",
"pubkey": "5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"created_at": 1769553522,
"kind": 1,
"tags": [
[
"p",
"feb41bfa890108c46983b575698683c3578c578330ec0233fb3fb0b3120a1ad3",
"wss://relay.ditto.pub"
],
[
"p",
"65b914e759ba52e206fb13ea5f7915b959e88428b0b3b8ae7d987410d536cce6",
"wss://relay.ditto.pub"
],
[
"e",
"20737a99d46e01e4863bcfecc4e10f6709286e35e07067973102592f8febb433",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/115969459644144501",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpql66ph75fqyyvg6vrk46knp5rcdtcc4urxrkqyvlm87ctxys2rtfse8k4ws \n\nGiven that you mention this, I can't help but to say that e.g. Hilbert was wrong when formalizing Euclid, in the sense of misunderstanding what Euclid did and said.\n\nHilbert mis-translated \"to construct\" to \"exists\".\n\nIn modern terminology, Σ to ∃.",
"sig": "50cd20bbe421c991849778c6fc964bed46f42fa1a750a3ec43f38ef7d1048caffdb3d6e8f0641c55d539c9b80ff1acb33528c9a617bd781b1b49076fea4d7a38"
}