fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agoTheories on Theoriesmander.xyzimagemessage-square31fedilinkarrow-up1273arrow-down112
arrow-up1261arrow-down1imageTheories on Theoriesmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agomessage-square31fedilink
minus-squareZiglin (it/they)@lemmy.worldlinkfedilinkEnglisharrow-up10·1 month agoMeanwhile the mathematicians who got a bit too close Philosophy are still arguing about which logic to use and if a proof by contradiction is even a proof at all.
minus-squareHexesofVexes@lemmy.worldlinkfedilinkEnglisharrow-up1·1 month agoEhh… Gödel basically showed we can never know which “mathematics” is the “correct one”. “Proven true assuming my axioms are true” is closer to reality.
Meanwhile the mathematicians who got a bit too close Philosophy are still arguing about which logic to use and if a proof by contradiction is even a proof at all.
Ehh…
Gödel basically showed we can never know which “mathematics” is the “correct one”.
“Proven true assuming my axioms are true” is closer to reality.