El matemático y lógico Gerhard Gentzen (1909-1945) nació un 24 de noviembre.
Fue estudiante de Hermann Weyl en la Universidad de Göttingen entre 1929 y 1933.
Sus principales trabajos giraron en torno a los fundamentos de la matemática y la teoría de la demostración.
En 1934 introdujo la noción de sistema de deducción natural para la lógica clásica y la lógica intuicionista.
En 1936 demostró la consistencia de los axiomas de Peano.
Más información:
- Wikipedia
- Gerhard Gentzen, MacTutor History of Mathematics archive, University of St Andrews
- M. E. Szabo, The Collected Works of Gerhard Gentzen, North-Holland Publishing Company, 1969
Esta entrada participa en la Edición 5.8: Betty Scott del Carnaval de Matemáticas cuyo anfitrión es el blog Tocamates
Reblogueó esto en Martams's Blogy comentado:
El matemático y lógico Gerhard Gentzen (1909-1945) cumpliría hoy 106 años
Me gustaMe gusta