= 27d567bc2d48d9f40e9ccc20ea370b15)
RichardKennaway comments on Respond to what they probably meant - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (42)
And among these, there is the smallest undefinable number.
There isn't. The collection of positive, undefinable numbers is bounded below by zero, but doesn't actually have a smallest element (due to the reals not being well-ordered).
I was going to say "Congratulations, you just proved the halting theorem." -- but actually I think the paradox you're gesturing at fails to "work" for shallower reasons (e.g., the reals not being well-ordered -- trivially not by the usual ordering, and less trivially not by anything computable, because it's consistent with ZF for there to be no well-ordering of the reals).
If you mean the smallest undefinable positive number, then isn't that epsilon?