Gerhard Gentzen

Gerhard Gentzen
Gerhard Gentzen.

Gerhard Gentzen (24 de noviembre de 19094 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öttingen entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración.

En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes. Para ello introduce el cálculo de consecuencias lógicas o secuentes.

En 1936, Gentzen demuestra la consistencia de la teoría elemental de números.

Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los soviéticos, murió como prisionero poco después de terminar la guerra.

Teorema de eliminación de cortes

Establece que toda derivación en el cálculo de consecuencias lógicas puede ser normalizada como una derivación con igual conclusión pero sin utilizar lemas auxiliares.


Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

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

  • 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

Compartir el artículo y extractos

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