Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Incorrect comments on GAZP vs. GLUT - Less Wrong

33 Post author: Eliezer_Yudkowsky 07 April 2008 01:51AM

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

Comments (166)

Sort By: Old

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

Comment author: Incorrect 07 February 2012 03:37:22PM 0 points [-]

anything that couldn't be proved with that many symbols would be of little to no interest to us

Are you sure? Maybe there are exist concise, powerful theorems that have really long proofs.

Comment author: gwern 07 February 2012 03:39:40PM 4 points [-]

Oh good grief, since everyone here is intent on nitpicking the observation to death, here is his bloody letter: http://rjlipton.wordpress.com/the-gdel-letter/