Gerhard Gentzen

Gerhard Gentzen

Gerhard Gentzen à Prague en 1945

Biographie

Naissance	24 novembre 1909 Greifswald (royaume de Prusse)
Décès	4 août 1945 (à 35 ans) Prague (Tchécoslovaquie)
Sépulture	Cimetière de Ďáblice (en) (?)
Nom dans la langue maternelle	Gerhard Karl Erich Gentzen
Nationalités	allemande prussienne
Formation	Université de Greifswald (1928-1929) Université de Göttingen (1929-1930) Université Frédéric-Guillaume de Berlin (1930-1931) Université Louis-et-Maximilien de Munich (1930) Université de Göttingen (1931-1933)
Activités	Mathématicien, professeur d'université, pédagogue, philosophe, logicien

Autres informations

A travaillé pour	Université Charles de Prague (1943-1945) Wehrmacht (1939-1941) Université de Göttingen (1934-1943)
Parti politique	Parti national-socialiste des travailleurs allemands
Membre de	Sturmabteilung Nationalsozialistischer Deutscher Dozentenbund (en)
Directeurs de thèse	Paul Bernays, Hermann Weyl
Lieu de détention	Prague (1945)

Œuvres principales

Gentzen's consistency proof (d)

modifier - modifier le code - modifier Wikidata

Gerhard Gentzen (24 novembre 1909 à Greifswald - 4 août 1945 à Prague) est un mathématicien et logicien allemand, dont l'œuvre est fondamentale en théorie de la démonstration. Il fut l’un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933. Il est mort dans un camp de prisonniers de guerre en 1945, après avoir été arrêté par les soviets à cause de ses loyautés nazies.