Stuart_Armstrong comments on The Cartoon Guide to Löb's Theorem - Less Wrong

12 Post author: Eliezer_Yudkowsky 17 August 2008 08:35PM

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

Comments (90)

Sort By: Old

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

Comment author: beoShaffer 28 June 2012 03:45:52AM 1 point [-]

Is "I cannot prove that 2 = 1." Supposed to mean that a you can prove that it is impossible to prove 2=1?

Comment author: Manfred 05 August 2012 10:07:59AM 0 points [-]

A proof that you cannot prove that 2=1 would be a proof of consistency, so certainly this is a problematic statement.