cousin_it comments on Attempts to work around Goedel's theorem by using randomness - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (17)
For onlookers: also see this old thread, especially Scott Aaronson's comments.
See my comments there too: I think that's the only time I'll ever outwit Aaronson on computer science (if only because he kept cheating by chaning the question).
Edit: Okay, that may be overstating; let's just say that's the best I'll probably ever do against him on comp-sci.