On Gödel's Way In: The Influence of Rudolf Carnap

DOI10.2178/BSL/1120231629zbMath1095.03004OpenAlexW2071682746MaRDI QIDQ3370620

Warren D. Goldfarb

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

zbMATH Keywords

existenceconsistencycompletenessfirst-order logictruthprovabilityincompletenessPlatonismGödelCarnaparithmetizationlogical positivism

Mathematics Subject Classification ID

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 (6)

Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Carnap's early metatheory: scope and limits ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS ⋮ Carnap's early semantics ⋮ CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION

Cites Work

• Logic as Calculus and Logic as Language
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
• Unnamed Item

This page was built for publication: On Gödel's Way In: The Influence of Rudolf Carnap