Top News, Articles, and Interviews in Philosophy

Gödel Without Tears, slowly, 14

Philosophy News image
In this last (and short!) chapter related to the first incompleteness theorem, we meet ‘Tarski’s Theorem’. And so we arrive at what might be thought of as the Master Argument for incompleteness — for appropriate theories, provability-in-T  is expressible in T but truth isn’t, so provability isn’t truth. Onwards to the second theorem next week! The post Gödel Without Tears, slowly, 14 appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus