KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION

DOI10.1017/bsl.2017.42zbMath1403.03006OpenAlexW2898126838WikidataQ113858369 ScholiaQ113858369MaRDI QIDQ4961869

Jan von Plato

Publication date: 26 October 2018

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2017.42

zbMATH Keywords

Gödelformal proofsystems of natural deductionhigher order arithmeticsyntax trees

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Gödel's natural deduction
• On Gödel's Way In: The Influence of Rudolf Carnap
• From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
• Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
• GÖDEL’S NOTRE DAME COURSE
• The Great Formal Machinery Works
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

This page was built for publication: KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION