Tom_Breton_(Tehom) 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.

Comment author: Tom_Breton_(Tehom) 19 August 2008 03:13:16AM 2 points [-]

Fascinating that you could present Lob's theorem as a cartoon, Eliezer.

One tiny nitpick: The support for statement 9 seems to be wrong. It reads (1, MP) but that doesn't follow. Perhaps you mean (8, 1, MP)

Comment author: Cyan 27 April 2013 09:41:16PM * 1 point [-]

I was just working through the cartoon guide pursuant to this recent discussion post, and I found this minor mistake too.