Gerhard Gentzen para niños
Datos para niños Gerhard Gentzen |
||
|---|---|---|
 |
||
| Información personal | ||
| Nombre en alemán | Gerhard Karl Erich Gentzen | |
| Nacimiento | 24 de noviembre de 1909 Greifswald (Imperio alemán) |
|
| Fallecimiento | 4 de agosto de 1945 (35 años) Praga (Checoslovaquia) |
|
| Sepultura | Ďáblice cemetery | |
| Nacionalidad | Alemana | |
| Educación | ||
| Educado en |
|
|
| Supervisor doctoral | Paul Bernays y Hermann Weyl | |
| Información profesional | ||
| Ocupación | Matemático, filósofo, pedagogo, profesor universitario y lógico | |
| Área | Matemáticas, lógica, lógica matemática, teoría de números y teoría de la demostración | |
| Empleador |
|
|
| Obras notables | Demostración de consistencia de Gentzen | |
| Partido político | Partido Nazi | |
| Miembro de |
|
|
Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán.
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.
Véase también
En inglés: Gerhard Gentzen Facts for Kids
