My blog has moved! Redirecting...

You should be automatically redirected. If not, visit http://ripper234.com and update your bookmarks.

22 August 2008

A Cartoon Proof of Löb's Theorem

Recommended for hardcore logicians only (or just people who like to think).

Löb's Theorem apparently states that "if it is provable that 'if X is provable, then X', then X itself is provable". The cartoon helps you (just a bit) to avoid getting trapped in an endless loop of logic.

There's also a bonus exercise at the end, quite refreshing.

No comments: