Gerhard Gentzen (nov 24, 1909 – aug 4, 1945)
Description:
El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética clásica en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos.Fuente: http://www.euclides.org/menu/articles/article101.htm
Added to timeline:
Date:
nov 24, 1909
aug 4, 1945
~ 35 years