Mathematician:Gerhard Karl Erich Gentzen

Mathematician

German mathematician and logician who made progress in symbolic logic.

Proved that the Peano axioms are consistent.

German

Born: 24 Nov 1909 in Greifswald, Germany
1928: Received his Abitur, ranked top in school
1928: Began mathematical studies at University of Greifswald
22 April 1929: Entered the University of Göttingen, then Munich and Berlin, student of Paul Bernays and Hermann Weyl
1933: Awarded his doctorate at Göttingen
1934: Became Hilbert's assistant at Göttingen
1939 to 1941: Military service, left due to ill health
1941: Returned to Göttingen
1943: Awarded degree, took up a teaching post in the Mathematical Institute of the German University of Prague
5 May 1945: Arrested in uprising
9 May 1945: Transferred to custody of Russian army
Died: 4 Aug 1945 in Prague, Czechoslovakia of starvation while interned by Russian forces

Results named for Gerhard Karl Erich Gentzen can be found here.

Definitions of concepts named for Gerhard Karl Erich Gentzen can be found here.

1932: Über die Existenz unabhangiger Axiomenstsreme zu unendlichen Satzsystemen (Math. Ann. Vol. 107, no. 2: pp. 329 – 350)
1934: Untersuchungen über das logische Schließen. I (Math. Z. Vol. 39: pp. 176 – 210)
1935: Untersuchungen über das logische Schließen. II (Math. Z. Vol. 39: pp. 405 – 431)
1936: Die Widerspruchsfreiheit der Stufenlogik (Math. Z. Vol. 41: pp. 357 – 366)
1936: Die Widerspruchsfreiheit der reinen Zahlentheorie (Math. Ann. Vol. 112: pp. 493 – 565)
27 June 1936: Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz (Semester-Berichte Münster pp. 65 – 80) (Lecture held in Münster at the institute of Heinrich Scholz)
1937: Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik (Actualités Scientifiques et Industrielles Vol. 535: pp. 201 – 205)
1938: Die gegenwartige Lage in der mathematischen Grundlagenforschung (Dtsch. Math. Vol. 3: pp. 255 – 268)
1938: Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie (Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften Vol. 4: pp. 19 – 44)
1943: Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der transfiniten Induktion in der reinen Zahlentheorie ("Provability and nonprovability of restricted transfinite induction in elementary number theory") (Math. Ann. Vol. 119: pp. 140 – 161)

1954: Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen (Archiv für mathematische Logik und Grundlagenforschung Vol. 2: pp. 81 – 93)
1974: Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie (Archiv für mathematische Logik und Grundlagenforschung Vol. 16: pp. 97 – 118) (Published by Paul Bernays)
1974: Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (Archiv für mathematische Logik und Grundlagenforschung Vol. 16: pp. 119 – 132) (Published by Paul Bernays)