Sundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 8 days agoMath Master! [Bob the Angry Flower]lemmus.orgimagemessage-square33linkfedilinkarrow-up1263arrow-down123file-text
arrow-up1240arrow-down1imageMath Master! [Bob the Angry Flower]lemmus.orgSundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 8 days agomessage-square33linkfedilinkfile-text
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·7 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