Sundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 4 days agoMath Master! [Bob the Angry Flower]lemmus.orgimagemessage-square33fedilinkarrow-up1262arrow-down123file-text
arrow-up1239arrow-down1imageMath Master! [Bob the Angry Flower]lemmus.orgSundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 4 days agomessage-square33fedilinkfile-text
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·4 days agoThat is true. Naturals are explicitly constructible by definition anyway, but Russell’s paradox applies to the concept of “interesting numbers” and is why they can’t be well-defined. https://en.wikipedia.org/wiki/Interesting_number_paradox
That is true. Naturals are explicitly constructible by definition anyway, but Russell’s paradox applies to the concept of “interesting numbers” and is why they can’t be well-defined. https://en.wikipedia.org/wiki/Interesting_number_paradox