fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 17 days agoIrrationalmander.xyzimagemessage-square56fedilinkarrow-up1303arrow-down134
arrow-up1269arrow-down1imageIrrationalmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 17 days agomessage-square56fedilink
minus-squareLeate_Wonceslace@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up51·16 days agoThere is no fact about reality that can ever threaten facts about mathematics. Mathematic definitions exist independent of reality.
minus-squarerockerface@lemm.eelinkfedilinkEnglisharrow-up23·16 days agoIn fact, you can build a system of definitions that very clearly doesn’t exist in real world, like hyperbolic geometry.
minus-squaretate@lemmy.sdf.orglinkfedilinkEnglisharrow-up17·16 days agoSometimes we find that obscure pure mathematics does describe reality when no one expected it to. Riemannian geometry is one such example.
minus-squareNatanael@slrpnk.netlinkfedilinkEnglisharrow-up4·16 days agoComplex numbers, and a bunch more things too
minus-squarePatapon Enjoyer@lemmy.worldlinkfedilinkEnglisharrow-up17arrow-down1·16 days agoKurt Gödel:
There is no fact about reality that can ever threaten facts about mathematics. Mathematic definitions exist independent of reality.
In fact, you can build a system of definitions that very clearly doesn’t exist in real world, like hyperbolic geometry.
Sometimes we find that obscure pure mathematics does describe reality when no one expected it to. Riemannian geometry is one such example.
Complex numbers, and a bunch more things too
Kurt Gödel: