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

Theorems and Definitions

 * Gentzen Proof System

Books and Papers

 * (Lecture held in Münster at the institute of Heinrich Scholz)
 * (Lecture held in Münster at the institute of Heinrich Scholz)
 * (Lecture held in Münster at the institute of Heinrich Scholz)
 * (Lecture held in Münster at the institute of Heinrich Scholz)
 * (Lecture held in Münster at the institute of Heinrich Scholz)
 * (Lecture held in Münster at the institute of Heinrich Scholz)

Posthumous

 * (Published by Paul Bernays)
 * (Published by Paul Bernays)
 * (Published by Paul Bernays)