Gödel on Tarski
type: Item
instance of: scholarly article
title: Gödel on Tarski
zbMATH Open document ID: 1058.03004
author: Stanisław Krajewski
published in: Annals of Pure and Applied Logic
publication date: 2004-08-06T00:00:00Z
review text: An investigation of why Gödel's writings contain so few references to Tarski's work -- in particular, the latter's definition of truth. The author discusses some previous attempts by others to account for this lacuna, but he deems those explanations insufficient. Rather, he sees the answer in the contrast between Gödel's Platonic views of truth and Tarski's semantic approach to the topic.
reviewed by: Leon Harkleroad
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 2083204
zbMATH Keywords: Gödel
zbMATH Keywords: Tarski
zbMATH Keywords: truth definition
zbMATH Keywords: semantics
zbMATH Keywords: Platonism
MaRDI profile type: Publication
full work available at URL: j.apal.2003.11.019
OpenAlex ID: W2000854556
cites work: Completing the Gödel-Zermelo correspondence
cites work: Q4842677
cites work: Tarski and Gödel: Between the lines
cites work: Q5577035
cites work: In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
cites work: Logic as Calculus and Logic as Language
cites work: On the development of the model-theoretic viewpoint in logical theory
cites work: From Dedekind to Gödel. Essays on the development of the foundations of mathematics
cites work: Undefinability of truth. the problem of priority:tarski vs gödel
cites work: Q4023233
cites work: Q5839923
cites work: Q3240239
cites work: Q3216621
cites work: Some facts about Kurt Gödel
cites work: Q3764099
cites work: Q4367940
cites work: Q3140386
cites work: Semantic revolution -- Rudolf Carnap, Kurt Gödel, Alfred Tarski
cites work: Alfred Tarski and the Vienna circle. Austro-Polish connections in logical empiricism. Papers from the international conference, Vienna, Austria, July 12--14, 1997
DOI: 10.1016/J.APAL.2003.11.019
description: scientific article; zbMATH DE number 2083204