Gödel on Tarski

DOI10.1016/j.apal.2003.11.019zbMath1058.03004OpenAlexW2000854556MaRDI QIDQ598320

Stanisław Krajewski

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.019

zbMATH Keywords

TarskisemanticsPlatonismGödeltruth definition

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items

Zermelo and Set Theory ⋮ Gödel and Set Theory ⋮ Zermelo and Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
• Completing the Gödel-Zermelo correspondence
• On the development of the model-theoretic viewpoint in logical theory
• Alfred Tarski and the Vienna circle. Austro-Polish connections in logical empiricism. Papers from the international conference, Vienna, Austria, July 12--14, 1997
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics
• Undefinability of truth. the problem of priority:tarski vs gödel
• Some facts about Kurt Gödel
• Logic as Calculus and Logic as Language