Gerhard Gentzen (1909-1945) |
Escrito por Marta Macho Stadler |
Viernes 24 de Noviembre de 2017 |
El matemático y lógico Gerhard Gentzen (1909-1945) cumpliría hoy años.
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:
Artículo publicado en el blog de la Facultad de Ciencia y Tecnología (ZTF-FCT) de la Universidad del País Vasco ztfnews.wordpress.com. |
© Real Sociedad Matemática Española. Aviso legal. Desarrollo web |