Gerhard Gentzen (24 nov 1909 ano – 4 ago 1945 ano)

Descrição:

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

Adicionado na linha do tempo:

Data:

Imagens:

YouTube: