Sundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 19 days agoMath Master! [Bob the Angry Flower]lemmus.orgimagemessage-square30linkfedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1imageMath Master! [Bob the Angry Flower]lemmus.orgSundray@lemmus.org to Comic Strips@lemmy.worldEnglish · 19 days agomessage-square30linkfedilinkfile-text
minus-squareKogasa@programming.devlinkfedilinkarrow-up0·18 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