Gerhard Gentzen German mathematician and logician Date of Birth: 24.11.1909 Country: Germany

1. Gerhard Gentzen: German Mathematician and Logician
2. Early Life and Education
3. Nazi Harassment and Career
4. Contributions to Mathematics

Gerhard Gentzen: German Mathematician and Logician

Gerhard Gentzen was a German mathematician and logician who made significant contributions to the study of the foundations of mathematics and the development of proof theory. He is known for creating the sequent calculus, a formal system used in mathematical logic.

Early Life and Education

Gentzen studied at the University of Göttingen, where he was a student of Paul Bernays. In 1933, Bernays was dismissed from the university as a "non-Aryan," and Hermann Weyl became Gentzen's official supervisor. Despite the risks, Gentzen maintained contact with Bernays until the outbreak of World War II.

Nazi Harassment and Career

In 1935, Gentzen corresponded with Abraham Fraenkel of the Hebrew University in Jerusalem, leading to harassment by the Nazi "Union of Teachers." From 1935 to 1939, Gentzen worked as an assistant to David Hilbert at the University of Göttingen. He taught at Charles University in Prague from 1943 until his arrest in May 1945. Three months after his arrest, he died in prison from starvation.

Contributions to Mathematics

Gentzen's major contributions lie in the areas of foundations of mathematics and proof theory. In 1934, he independently developed a system of natural deduction (alongside S. Jaśkowski). His elimination theorem is a cornerstone of proof-theoretic semantics.

In 1936, Gentzen proved the consistency of Peano's axioms, demonstrating that arithmetic is not contradictory. To do so, he added an additional axiom (quantifier-free induction) to first-order logic. This achievement completed Hilbert's program for formalizing the foundations of mathematics.