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.
News source: Logic Matters