Gerhard Gentzen (24 ноя 1909 г. – 4 авг 1945 г.)
Описание:
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
Добавлено на ленту времени:
Дата:
24 ноя 1909 г.
4 авг 1945 г.
~ 35 years