Another new paper by Kripke: The Collapse of the Hilbert Program

In case you missed it — as I did until Romina Padro pointed me to it — Saul Kripke published another new paper on arXiv last month, The Collapse of the Hilbert Program: A Variation on the Gödelian Theme.

The post Another new paper by Kripke: The Collapse of the Hilbert Program appeared first on Logic Matters.