gwern comments on Rationality Quotes November 2014 - Less Wrong

8 Post author: elharo 07 November 2014 07:07PM

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

Comments (337)

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

Comment author: gwern 02 December 2014 07:10:15PM 1 point [-]

Of course, if bad proofs lead to heads being cut off, then there would probably be fewer bad proofs. (I take it the point here is not that Castelnuovo had any doubts about whether Enriques was being honest about believing the result or had come to his belief on flimsy grounds (which is usually not something one can take for granted...), but that he understood this and was interested in finding an explicit formal proof of the result.)