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:

• 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

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.