SilasBarta comments on Attempts to work around Goedel's theorem by using randomness - Less Wrong

8 Post author: cousin_it 25 April 2011 02:18PM

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

Comments (17)

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

Comment author: SilasBarta 29 April 2011 09:56:04PM 0 points [-]

Thanks. I had forgotten that a clearer resolution of those heuristics had eventually been offered as that thread developed, and I appreciate you summarizing it here.