Lobs Theorem ?

About: cartoon guide to löb's theorem

... I could read the "proof" as follows ... notwistanding that i might be misinterperting it. 

If the wizzard says that if he can say shit, then that saying of "shit" implies that shit actually exists ... then the wizzard has just said "shit".

Of course we can switch that around to:  If i can prove that {if i prove something, then it  exists } then i have proved that i can prove that thing.

I doubt that it matters whether i am the Peano Axioms or not ... that would always be the case regardless of what i am and what i can prove.

a description of the original cartoon here.

some discussion of the theorem here.

Tags

  1. item 16967
  2. proof

See Also

  1. Thought Superstition vs Proof with 5 viewings related by tag "proof".
  2. Thought about: hmmm .... with 0 viewings related by tag "item 16967".
  3. Thought Proof with 0 viewings related by tag "proof".