fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agoIn this essay...mander.xyzimagemessage-square35fedilinkarrow-up1367arrow-down16
arrow-up1361arrow-down1imageIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agomessage-square35fedilink
minus-squareKogasa@programming.devlinkfedilinkEnglisharrow-up2·13 hours 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.