gjm 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: gjm 22 January 2015 04:20:40PM 1 point [-]

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