Sometimes seemingly simple or obvious things are not so obvious
https://en.m.wikipedia.org/wiki/Parallel_postulate
Parallel postulate seems obvious but non-euclidian geometry does not have such an axiom. Projective geometry also has no parallel postulate requirement.
https://en.m.wikipedia.org/wiki/Axiom_of_choice
Axiom of choice in a finite world makes sense. With infinities you get the Banach-Tarski paradox
https://en.m.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox
When using mathematical precision to investigate ideas some faith is required that your axioms hold true, because alternative axiomatic systems exist that are also non contradictory.
Think of it like axioms as defining the boundaries of a mathematical reality, and you can have different axioms that create different realities.
BitcoinAlchemist / James Pierog
npub1u8…xjcky
2024-07-12 16:14:57
in reply to nevent1q…59zq
Author Public Key
npub1u8r69esh5r7jt29nj9ufmz4yvuwp6cwl5xqp4e3d46vl8wla5smsexjckySeen on
wss://nos.lolPublished at
2024-07-12 16:14:57Event JSON
{
"id": "173f4f74de09879362e8e0945f8cff3964475b36becbce820c804656ee36bf31",
"pubkey": "e1c7a2e617a0fd25a8b391789d8aa4671c1d61dfa1801ae62dae99f3bbfda437",
"created_at": 1720800897,
"kind": 1,
"tags": [
[
"e",
"a87c882c8977c52438fc9287142aae4525cef44620a735f06353664d576ae9e1",
"wss://relay.damus.io",
"root"
],
[
"e",
"8d0658647dd2a8c7545977fe324effa06004262fcfc6d50333017902a3779dec",
"wss://relay.primal.net",
"reply"
],
[
"p",
"45f195cffcb8c9724efc248f0507a2fb65b579dfabe7cd35398598163cab7627"
]
],
"content": "Sometimes seemingly simple or obvious things are not so obvious\n\nhttps://en.m.wikipedia.org/wiki/Parallel_postulate\n\nParallel postulate seems obvious but non-euclidian geometry does not have such an axiom. Projective geometry also has no parallel postulate requirement.\n\nhttps://en.m.wikipedia.org/wiki/Axiom_of_choice\n\nAxiom of choice in a finite world makes sense. With infinities you get the Banach-Tarski paradox\n\nhttps://en.m.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox\n\nWhen using mathematical precision to investigate ideas some faith is required that your axioms hold true, because alternative axiomatic systems exist that are also non contradictory. \n\nThink of it like axioms as defining the boundaries of a mathematical reality, and you can have different axioms that create different realities.",
"sig": "6a9ec31e181a0df9804f4c260b78adaeba14abf94eee794f7c4d83b44270b603f1fc10a835072bb7e2907eb3d26fd826fbb4fa6674485a7273ff169ab0af63bb"
}