Category Archives: Gödel’s theorems

As ‘homework’, before writing more of the second edition of my Gödel book, I’m reading through the literature to see how others have handled the First Incompleteness Theorem, both in the early papers from Gödel on, and then in the … Continue reading →

Let’s distinguish what I’ll call the Diagonalization Equivalence from the familiar Diagonalization Lemma. The former is a semantic claim: in the right conditions, for any one-place predicate of theory T there is a corresponding sentence such that is true if … Continue reading →

Carnap is often credited with proving the Diagonalization Lemma in Logische Syntax der Sprache. But where does he do it? Well, in §35 Carnap notes the general recipe for taking a one-place predicate and constructing a sentence such that is … Continue reading →

When planning and actually writing my Introduction to Gödel’s Theorems, I intentionally consulted other books as little as possible, trying to reconstruct strategies and proofs from memory as far as I could. I thought that would be a good discipline, … Continue reading →

As I’ve said before, CUP have agreed to publish a second edition of An Introduction to Gödel’s Theorems. Camera-ready copy is due to be sent to them rather implausibly soon, by the end of July 2012, with publication six months … Continue reading →

I’m getting back down to work on the second edition of An Introduction to Gödel’s Theorems. One thing I plan to do is to put up some pages of exercises as I go along, which I’ve been meaning to do … Continue reading →

Good news. I’ve a contract to do a 2nd edition of my Gödel book. Not quite under the terms I’d have ideally liked, like another 50 pages, a couple of years or more to do it, and of course a … Continue reading →

Better late than never — here’s what I said, more or less, in four lectures earlier this term on the First Incompleteness Theorem. The lectures were aimed for maths students, but only the last of the four requires a bit … Continue reading →