A Cartoon Proof of Löb’s Theorem
22/8/08, 0:28
(No Ratings Yet)
Loading ...
(No Ratings Yet) Loading ...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.
