Resultado de búsqueda
Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán. Fue un estudiante de Weyl en la Universidad de Gotinga entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración.
Gerhard Gentzen in Prague, 1945. 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.
Gerhard Gentzen es conocido principalmente como el creador de la teoría de la prueba estructural, y específicamente la creación de los sistemas de prueba de deducción natural y cálculo secuente. Nació el 24 de noviembre de 1909 en Greifswald, Alemania.
Gerhard Karl Erich Gentzen (24 de noviembre de 1909 - 4 de agosto de 1945) fue un matemático y lógico alemán. Hizo importantes contribuciones a los fundamentos de las matemáticas, la teoría de la demostración, especialmente en la deducción natural y el cálculo secuencial. Murió de hambre en un campo de prisioneros soviético en Praga ...
Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker . Inhaltsverzeichnis. 1 Leben. 2 Mathematische Leistungen. 3 Zitate. 4 Schriften. 5 Literatur. 6 Belletristik. 7 Weblinks. 8 Einzelnachweise. Leben.
Fue un estudiante de Weyl en la Universidad de Gotinga 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.
24 de nov. de 2013 · Quick Info. Born. 24 November 1909. Greifswald, Germany. Died. 4 August 1945. Prague, Czechoslovakia. Summary. Gerhard Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert. View one larger picture. Biography.
