Notable Work
Gentzen's consistency proof
Source: Wikidata population candidate Q60502 · wikidata
SACRED LEGACY ARCHIVES™
Gerhard Gentzen
1909-11-24 – 1945-08-04
Life & Legacy
Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 1945) 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.
Occupation & Career
mathematician, philosopher, pedagogue, university teacher, logician
Education
University of Göttingen; University of Greifswald; Ludwig-Maximilians-Universität München; Frederick William University Berlin
Accomplishments, Inventions & Publications
Gentzen's consistency proof
Legacy Highlights
Employer
Charles University · University of Göttingen · Wehrmacht
Organizations & Memberships
National Socialist German Lecturers League · Sturmabteilung
Notable Work
Gentzen's consistency proof
Education & Institutions
Frederick William University Berlin · Ludwig-Maximilians-Universität München · University of Göttingen · University of Greifswald
Verified Legacy Record
Sources & Provenance
- Wikidata population candidate Q60502 — wikidata View source
Are you related to Gerhard Gentzen?
Family members can contribute records, photographs and stories or request stewardship of this legacy.