Skip to content

Comment on Surprises in Logicparent

Comments

They do rhyme.

Perhaps the most intuitive example is "the smallest unnameable number".

It's clearly impossible to name all positive integers of unbounded size, if you have some finite limit on name length, but it's also impossible to find the smallest unnameable one, because if you did, "smallest unnameable number" would be its name, yielding a paradox.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.