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.
ztfnews.wordpress.com 