Epictetus comments on Respond to what they probably meant - Less Wrong

11 Post author: adamzerner 17 January 2015 11:37PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (42)

You are viewing a single comment's thread. Show more comments above.

Comment author: Epictetus 23 January 2015 02:15:04PM 1 point [-]

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).