fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 11 months agoIrrationalmander.xyzexternal-linkmessage-square55linkfedilinkarrow-up1301arrow-down133
arrow-up1268arrow-down1external-linkIrrationalmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 11 months agomessage-square55linkfedilink
minus-squareLeate_Wonceslace@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up50·11 months agoThere is no fact about reality that can ever threaten facts about mathematics. Mathematic definitions exist independent of reality.
minus-squarerockerface 🇺🇦@lemm.eelinkfedilinkEnglisharrow-up23·11 months 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·11 months 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-up3·11 months agoComplex numbers, and a bunch more things too
minus-squarePatapon Enjoyer@lemmy.worldlinkfedilinkEnglisharrow-up17arrow-down1·11 months 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: