fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 days agoIn this essay...mander.xyzimagemessage-square47fedilinkarrow-up1433arrow-down17
arrow-up1426arrow-down1imageIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 days agomessage-square47fedilink
minus-squareKogasa@programming.devlinkfedilinkEnglisharrow-up2·4 days agoThere are non-standard models of arithmetic. They follow the original first-order Peano axioms and any theorem about the naturals is true for them, but they have some wacky extra stuff in them like you mention.
There are non-standard models of arithmetic. They follow the original first-order Peano axioms and any theorem about the naturals is true for them, but they have some wacky extra stuff in them like you mention.