more on this theme     |     more from this thinker     |     more from this text


Single Idea 21752

[filed under theme 3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition ]

Full Idea

Gödel's proof wrought an abrupt turn in the philosophy of mathematics. We had supposed that truth, in mathematics, consisted in provability.

Gist of Idea

Prior to Gödel we thought truth in mathematics consisted in provability

Source

report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Willard Quine - Forward to Gödel's Unpublished

Book Ref

Quine,Willard: 'W.V. Quine: Quine in Dialogue' [Harvard 2008], p.157


A Reaction

This explains the crisis in the early 1930s, which Tarski's theory appeared to solve.