[SEQ RERUN] The Cartoon Guide to Löb's Theorem

post by Oscar_Cunningham · 2012-08-05T08:28:19.128Z · LW · GW · Legacy · 4 comments

Contents

4 comments

Today's post, The Cartoon Guide to Löb's Theorem was originally published on 17 August 2008. A summary (taken from the LW wiki):

An explanation, using cartoons, of Lob's theorem.


Discuss the post here (rather than in the comments to the original post).

This post is part of the Rerunning the Sequences series, where we'll be going through Eliezer Yudkowsky's old posts in order so that people who are interested can (re-)read and discuss them. The previous post was When Anthropomorphism Became Stupid, and you can use the sequence_reruns tag or rss feed to follow the rest of the series.

Sequence reruns are a community-driven effort. You can participate by re-reading the sequence post, discussing it here, posting the next day's sequence reruns post, or summarizing forthcoming articles on the wiki. Go here for more details, or to have meta discussions about the Rerunning the Sequences series.

4 comments

Comments sorted by top scores.

comment by Oscar_Cunningham · 2012-08-05T08:40:11.894Z · LW(p) · GW(p)

I've always thought that the cartoon guide is really good up to the last page, and then the steps of the proof are just unexplained symbols.

comment by Oscar_Cunningham · 2012-08-05T08:38:04.990Z · LW(p) · GW(p)

MinibearRex normally does the sequence rerun posts, but we haven't had on for the last few days, so I did it. I won't be able to do one tomorrow though, so someone else needs to do it.

Replies from: None
comment by [deleted] · 2012-08-05T22:06:54.254Z · LW(p) · GW(p)

I can do the sequence rerun post tomorrow, assuming no one takes care of it before me. (I plan to have it up at or before 10 am EDT.)

Edit: MinibearRex posted a sequence rerun today, but it was the same as this one. Not sure whether to still post one, or just let it be.

Replies from: MinibearRex
comment by MinibearRex · 2012-08-07T04:57:40.615Z · LW(p) · GW(p)

My apologies. I had to make an unexpected trip and wasn't able to post the reruns for several days. When I got back, I didn't bother checking whether anyone else had posted one. Reruns should resume as usual now.