Here’s a short new paper by Kripke on proving the first incompleteness theorem. First impression is that this gives an interesting little twist rather than significant novelty: but fun all the same! The post New Kripke note on Gödel appeared first on Logic Matters.