New Kripke note on Gödel

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.