Gerhard Gentzen

Gerhard Gentzen
Gerhard Gentzen.jpg
Información personal
Nacimiento 24 de noviembre de 1909 Ver y modificar los datos en Wikidata
Greifswald, Alemania Ver y modificar los datos en Wikidata
Fallecimiento 4 de agosto de 1945 Ver y modificar los datos en Wikidata (35 años)
Praga, Checoslovaquia Ver y modificar los datos en Wikidata
Nacionalidad Imperio alemán, República de Weimar y Tercer Reich Ver y modificar los datos en Wikidata
Partido político Partido Nacionalsocialista Obrero Alemán Ver y modificar los datos en Wikidata
Educación
Alma máter
Supervisor doctoral Paul Bernays Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático, filósofo, pedagogo y profesor universitario Ver y modificar los datos en Wikidata
Empleador
Miembro de
[ editar datos en Wikidata]

Gerhard Gentzen ( 24 de noviembre de 19094 de agosto de 1945) fue un matemático y lógico alemán.

Nacido en Greifswald (Alemania), murió en Praga ( República Checa).

Fue un estudiante de Weyl en la Universidad de Gotinga entre 1929 y 1933. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración.

En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes. Para ello introduce el cálculo de consecuencias lógicas o secuentes.

En 1936, Gentzen demuestra la consistencia de la teoría elemental de números.

Como parte del esfuerzo de guerra alemán, fue nombrado profesor en la Universidad alemana de Praga. Capturado por los soviéticos, murió como prisionero poco después de terminar la guerra.

Teorema de eliminación de cortes

Establece que toda derivación en el cálculo de consecuencias lógicas puede ser normalizada como una derivación con igual conclusión pero sin utilizar lemas auxiliares.


Other Languages
čeština: Gerhard Gentzen
français: Gerhard Gentzen
Kreyòl ayisyen: Gerhard Gentzen
italiano: Gerhard Gentzen
Nederlands: Gerhard Gentzen
português: Gerhard Gentzen
română: Gerhard Gentzen
slovenčina: Gerhard Gentzen
српски / srpski: Герхард Генцен