“Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays

DOI10.1007/978-3-030-49424-7_1OpenAlexW3048948814MaRDI QIDQ5013891

Reinhard Kahle

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_1

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Number theory (11-XX)

Related Items (1)

Lorenzen Between Gentzen and Schütte

Cites Work

• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Die Grundlegung der elementaren Zahlenlehre
• Untersuchungen zum Entscheidungsproblem der mathematischen Logik
• Applicative theories for the polynomial hierarchy of time and its levels
• Schlussweisen-Kalküle der Prädikatenlogik
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Beweistheoretische Untersuchung der verzweigten Analysis
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• Gentzen’s Consistency Proof in Context
• Algebraische und logistische Untersuchungen über freie Verbände
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays