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)
I was just working through the cartoon guide pursuant to this recent discussion post, and I found this minor mistake too.
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)
I was just working through the cartoon guide pursuant to this recent discussion post, and I found this minor mistake too.