nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm (nprofile…ztfm) The original paper (I should have linked it) is this: https://new.math.uiuc.edu/MathMLseminar/seminarPapers/Ben-DavidNature.pdf
It appears to have been published in a conference about… wait for it… AI. 🤷
(And while determinacy is a big source of independence in "normal mathematics", you won't need any of that theory for this exercise, just the well-ordering principle.)
Jean Abou Samra (new account)
npub14p…htzwd
2025-11-18 11:26:26 UTC
in reply to nevent1q…exeq
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdPublished at
2025-11-18 11:26:26 UTCEvent JSON
{
"id": "10e3cf7d3cf9184c661034f9e088583d46518d125df119489eb1c72a2d2098ec",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1763465186,
"kind": 1,
"tags": [
[
"p",
"4799d2d48ee1532b5d44d40457b300731ef85c244a0949b487fac142c09a8083",
"wss://relay.ditto.pub/"
],
[
"p",
"0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"wss://relay.ditto.pub/"
],
[
"e",
"1a823ae760de988ea0ad64a7bb3509b768f91499ec5830a5a43bdbb1a9ef901c",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115570454466462681",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm The original paper (I should have linked it) is this: https://new.math.uiuc.edu/MathMLseminar/seminarPapers/Ben-DavidNature.pdf\n\nIt appears to have been published in a conference about… wait for it… AI. 🤷\n\n(And while determinacy is a big source of independence in \"normal mathematics\", you won't need any of that theory for this exercise, just the well-ordering principle.)",
"sig": "7b25c5c3bf4e78955f4b7113d498015c86b975ff367280a37f6383f3b3d0120d41487f102f31d9b2dbc9ca6e86fc5082fb42a0d03db5d65225b1f2aa23c9bce0"
}