Undefinability of truth. the problem of priority:tarski vs gödel
From MaRDI portal
Publication:2757968
DOI10.1080/01445349808837306zbMath1052.03504OpenAlexW1970524747WikidataQ58573244 ScholiaQ58573244MaRDI QIDQ2757968
Publication date: 5 December 2001
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445349808837306
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items
On the ‘definability of definable’ problem of Alfred Tarski, Part II, Gödel on Tarski, Zermelo and Set Theory, The concept of truth in a finite universe, The scope of Gödel's first incompleteness theorem, Gödel and Set Theory, Zermelo and Set Theory, Incompleteness and the halting problem