beoShaffer comments on The Cartoon Guide to Löb’s Theorem

[beoShaffer]

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

[Manfred]

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