fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agoIn this essay...mander.xyzimagemessage-square35fedilinkarrow-up1359arrow-down15
arrow-up1354arrow-down1imageIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agomessage-square35fedilink
minus-squareEq0@literature.cafelinkfedilinkEnglisharrow-up2·9 hours agoI think you are missing some properties of successors (uniqueness and s(n) different than any m<= n) That would avoid “branching” of two different successors to n and loops in which a successor is a smaller number than n
I think you are missing some properties of successors (uniqueness and s(n) different than any m<= n)
That would avoid “branching” of two different successors to n and loops in which a successor is a smaller number than n