nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4skst6k2 (nprofile…t6k2) Are we in violent agreement?
If someone proves a theorem by assuming AC, then I would be more likely to believe the theorem valid than if they had not proven anything. However, the next obvious step is to prove the theorem with a less magical assumption. If that cannot be done, then the validity of the theorem becomes questionable.
So, are fairy castles built on unconstructable assumptions good or evil? Do they point the way up or the way down?
Skewray Research
npub1jg…0ye3r
2026-01-30 22:03:20 UTC
in reply to nevent1q…hxx6
Author Public Key
npub1jgt4v6quksr3jfvvpldjqgqkg0kr7dk6wymzy4pj66794hnkjfnsc0ye3rSeen on
wss://relay.ditto.pubPublished at
2026-01-30 22:03:20 UTCEvent JSON
{
"id": "259f1c30c5d9eba94afda9bdf33782c8aa6c27db2f90f65c5e76612cd5ae97bf",
"pubkey": "921756681cb40719258c0fdb20201643ec3f36da7136225432d6bc5ade769267",
"created_at": 1769810600,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.ditto.pub"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.ditto.pub"
],
[
"e",
"322b471a2cf4e2c307c52077695e27b5a4a96adeddb987ecbef6c5405b469a85",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/skewray/statuses/115986307544790674",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4skst6k2 Are we in violent agreement?\n\nIf someone proves a theorem by assuming AC, then I would be more likely to believe the theorem valid than if they had not proven anything. However, the next obvious step is to prove the theorem with a less magical assumption. If that cannot be done, then the validity of the theorem becomes questionable.\n\nSo, are fairy castles built on unconstructable assumptions good or evil? Do they point the way up or the way down?",
"sig": "f5f935f22a3396d3637821b7af6c4eaed015b9dba8f23066f965b93f9b5b7d2de4a81c6a0ba47e15f9d3f550ab4a682cea4110e484d71221a6eb5e99f51fa50e"
}