Gerhard Gentzen


Gerhard Gentzen

Gerhard Karl Erich Gentzen (November 24, 1909, Greifswald, Germany – August 4, 1945, Prague, Czechoslovakia) was a German mathematician and logician.

He was one of Hermann Weyl's students at the University of Göttingen from 1929 to 1933. Gentzen's main work was on the foundations of mathematics, in proof theory, specifically natural deduction and the sequent calculus. His cut-elimination theorem is the cornerstone of proof-theoretic semantics, and some philosophical remarks in his "Investigations into Logical Deduction", together with Ludwig Wittgenstein's aphorism that "meaning is use", constitute the starting point for inferential role semantics. He proved the consistency of the Peano axioms in 1936.

Gentzen was a member of the NSDAP and the SA. Between 1934 and 1943 he was assistant of David Hilbert in Göttingen. Since 1943 he was a professor at the University of Prague. [ [http://math.muni.cz/math/biografie/gerhard_gentzen.html Gerhard Gentzen ] at math.muni.cz] After war he starved to death in Prague, after being arrested like all other Germans in Prague on May 7, 1945. [Menzler-Trott, p. 273 ff.]

Work

* "Die Widerspruchsfreiheit der reinen Zahlentheorie". In Mathematische Annalen 112 (1936): 493-565

See also

* Gentzen's consistency proof
* Cut-elimination theorem

Notes

References

* Eckart Menzler-Trott: "Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland". Birkhäuser Verlag 2001, ISBN 3-7643-6574-9
** Edward Griffor and Craig Smorynski (trans.): "Logic's Lost Genius: The Life of Gerhard Gentzen (History of Mathematics, vol. 33)". American Mathematical Society 2007, ISBN 978-0821835500 ("an English translation")
* M. E. Szabo: "Collected Papers of Gerhard Gentzen". North-Holland 1969

External links

*
*


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Gerhard Gentzen — Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Gerhard Gentzen — à Prague en 1945 Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) est un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l université de… …   Wikipédia en Français

  • Gerhard Gentzen — Gerhard Gentzen. Gerhard Gentzen (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la Universidad de G …   Wikipedia Español

  • Gerhard Gentzen — (24 de noviembre de 1909 – 4 de agosto de 1945) fue un matemático y lógico alemán. Nacido en Greifswald (Alemania), murió en Praga (República Checa). Fue un estudiante de Weyl en la …   Enciclopedia Universal

  • Gerhard Karl Erich Gentzen — (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis 1 Mathematische Leistungen 2 Leben 3 Zitat …   Deutsch Wikipedia

  • Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… …   Wikipédia en Français

  • Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… …   Wikipedia

  • GENTZEN (G.) — GENTZEN GERHARD (1909 1945) Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l’étude des systèmes de déduction naturelle et établi un théorème d’élimination des coupures.… …   Encyclopédie Universelle

  • Gentzen — ist der Familienname folgender Personen: Felix Heinrich Gentzen (1914–1969), deutscher Historiker Gerhard Gentzen (1909–1945), deutscher Mathematiker und Logiker Horst Gentzen (1930–1985), deutscher Schauspieler Siehe auch: Gentzenscher Hauptsatz …   Deutsch Wikipedia

  • Gentzen's — Gentzen, Gerhard …   Philosophy dictionary


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.