Mathematician:Gerhard Karl Erich Gentzen

Full name: Gerhard Karl Erich Gentzen.

German mathematician and logician who made progress in symbolic logic.

Proved that the Peano axioms are consistent.

Nationality
German

History

 * 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

Books and Papers

 * 1932: Über die Existenz unabhangiger Axiomenstsreme zu unendlichen Satzsystemen (Mathematische Annalen 107 (2): 329–350)
 * 1934: Untersuchungen über das logische Schließen. I (Mathematische Zeitschrift 39 (2): 176–210)
 * 1935: Untersuchungen über das logische Schließen. II (Mathematische Zeitschrift 39 (3): 405–431)
 * 1936: Die Widerspruchsfreiheit der Stufenlogik (Mathematische Zeitschrift 41: 357–366)
 * 1936: Die Widerspruchsfreiheit der reinen Zahlentheorie (Mathematische Annalen 112: 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: 65–80) (Lecture held in Münster at the institute of Heinrich Scholz)
 * 1937: Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik (Actualites scientifiques et industrielles 535: 201–205)
 * 1938: Die gegenwartige Lage in der mathematischen Grundlagenforschung (Deutsche Mathematik 3: 255–268)
 * 1938: Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie (Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4: 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) (Mathematische Annalen 119: 140–161)

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