2019-02-09

I thought a bit more about the “two flavors” of incompleteness.

I thought about the Löb’s theorem cartoon and puzzle. My take on the cartoon is that it didn’t help me understand the theorem any better, even if it is a cute cartoon; I found myself having to translate the cartoon proof back into logic, which seems like evidence against the native architecture idea that led to the cartoon (or at least, evidence against this specific execution having succeeded). I started working on a page about the puzzle.

Advertisements