Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics

DOI10.1007/978-3-319-42120-9zbMath1414.03002OpenAlexW4240786326MaRDI QIDQ530609

Jan von Plato

Publication date: 10 August 2016

Published in: Sources and Studies in the History of Mathematics and Physical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42120-9

zbMATH Keywords

cut eliminationsequent calculusproof theorynatural deductionGerhard Gentzen

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) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (8)

Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM ⋮ Maehara-style modal nested calculi ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Normalisation and subformula property for a system of classical logic with Tarski's rule

This page was built for publication: Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics