Monthly Archives: March 2009

What Happens When You Iterate Gödel’s Theorem?

Let be Peano Arithmetic.  Gödel’s Second Incompleteness Theorem says that no consistent theory extending can prove its own consistency. (I’ll write for the statement asserting ‘s consistency; more on this later.) In particular, is stronger than .  But certainly, given … Continue reading

7 Comments

Filed under Uncategorized