Gerhard Gentzen
#2,505
Most Influential Person Across History
German mathematician
Gerhard Gentzen's AcademicInfluence.com Rankings
Download Badge
Philosophy Mathematics
Gerhard Gentzen's Degrees
- PhD Mathematics University of Göttingen
Why Is Gerhard Gentzen Influential?
(Suggest an Edit or Addition)According to Wikipedia, Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.
Gerhard Gentzen's Published Works
Published Works
- Untersuchungen über das logische Schließen. I (1935) (2024)
- Die Widerspruchsfreiheit der reinen Zahlentheorie (1936) (534)
- Untersuchungen über das logische Schließen. II (1935) (264)
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie (1943) (147)
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen (1933) (74)
- Die gegenwärtige Lage in der mathematischen Grundlagenforschung : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie (1939) (20)
- Die Widerspruchsfreiheit der Stufenlogik (1936) (18)
- Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen (1954) (10)
- Klinische und Experimentelle Beiträge zum Problem: Schilddrüse-Zwischenhirn (1937) (3)
- Experimenteller Beitrag zur Frage der Beziehungen Zwischen Vitamin B1 und Schilddrüse (1938) (2)
- D. Hilbert und P. Bernays, Grund lagen der Mathematik. II. Bd. (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. L). XII + 498 S. Berlin 1939, Verlag Julius Springer, Preis geb. 43,80 M (1939) (0)
This paper list is powered by the following services:
Other Resources About Gerhard Gentzen
What Schools Are Affiliated With Gerhard Gentzen?
Gerhard Gentzen is affiliated with the following schools: