On Gödel's Way In: The Influence of Rudolf Carnap
From MaRDI portal
Publication:3370620
DOI10.2178/bsl/1120231629zbMath1095.03004MaRDI QIDQ3370620
Publication date: 8 February 2006
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3153305
existence; consistency; completeness; first-order logic; truth; provability; incompleteness; Platonism; Gödel; Carnap; arithmetization; logical positivism
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
Cites Work