Gentzen, Gerhard

Gentzen, Gerhard
(1909–1945)
German mathematician, who proved the consistency of classical arithmetic in 1936, relying, however, on transfinite induction . Gentzen was also responsible for the first natural deduction approach to formal logic.

Philosophy dictionary. . 2011.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Gentzen's — Gentzen, Gerhard …   Philosophy dictionary

  • 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

  • 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

  • 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

  • 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

  • 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

  • Gerhard Gentzen — Gerhard Karl Erich Gentzen (November 24, 1909, Greifswald, Germany ndash; 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.… …   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

  • 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 — 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

Share the article and excerpts

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