Gentzen, Gerhard

Gerhard Genzen
Alemán  Gerhard Karl Erich Gentzen
Fecha de nacimiento 24 de noviembre de 1909( 1909-11-24 )
Lugar de nacimiento Greifswald , Imperio Alemán
Fecha de muerte 4 de agosto de 1945 (35 años)( 04/08/1945 )
Un lugar de muerte Praga , Checoslovaquia
País Imperio Alemán, República de Weimar, Tercer Reich
Esfera científica matemáticas
Lugar de trabajo Universidad de Göttingen
Universidad Charles
alma mater Universidad de Gotinga
consejero científico Paul Bernays
Hermann Weyl
 Archivos multimedia en Wikimedia Commons

Gerhard Karl Erich Gentzen ( alemán  Gerhard Karl Erich Gentzen , 24 de noviembre de 1909  - 4 de agosto de 1945 ) - Matemático y lógico alemán , hizo una gran contribución al estudio de los fundamentos de las matemáticas y al desarrollo de la teoría de la demostración , es el creador de el cálculo de secuencias .

Biografía

Gerhard Genzen estudió en la Universidad de Göttingen y fue alumno de Paul Bernays . En abril de 1933, Bernays fue expulsado de la universidad debido a su origen judío como "no ario" [1] , y Hermann Weyl se convirtió en asesor científico formal de Gentzen , pero Gentzen, a pesar del enorme riesgo, continuó manteniendo contactos con Bernays hasta el comienzo de las guerras de la Segunda Guerra Mundial . En 1935, Gentzen mantuvo correspondencia con Abraham Frenkel de la Universidad Hebrea de Jerusalén , y fue estigmatizado por la "Unión de Maestros" nazi por esto.

Desde noviembre de 1935 hasta 1939, Gentzen fue asistente de David Hilbert en la Universidad de Göttingen. En 1937 se convirtió en miembro del Partido Nacionalsocialista de Alemania [2] . Desde 1943 enseñó en la Universidad Charles de Praga . En mayo de 1945, como otros miembros del Partido Nazi en Praga, fue arrestado y entregado a la administración militar soviética. En agosto, tres meses después de su arresto, murió en el campo por agotamiento [3] [4] .

Actividad científica

El trabajo principal de Gentzen se encuentra en el campo de los fundamentos de las matemáticas y la teoría de la demostración .

En 1934 desarrolló un sistema de cálculo natural (independientemente, pero simultáneamente con S. Yaskovsky ).

En 1935 introdujo el símbolo del cuantificador universal [5] [6] .

Su teorema de eliminación de cortes es la piedra angular de la semántica de la teoría de la prueba . En 1936, Gentzen demostró ( prueba de  consistencia de Gentzen ) la consistencia de los axiomas de Peano , es decir, la consistencia de la aritmética [7] ; para hacer esto, necesitaba agregar un axioma adicional a la lógica de primer orden ( inducción transfinita sin cuantificadores ). Al hacerlo, completó el programa de Hilbert para formalizar los fundamentos de las matemáticas .

Bibliografía

A título póstumo

Notas

  1. Eckart Menzler-Trott. El genio perdido de la lógica La vida de Gerhard Gentzen . Consultado el 12 de agosto de 2021. Archivado desde el original el 12 de agosto de 2021.
  2. Menzler-Trott, Eckart, pág. 119.
  3. MacTutor .
  4. Menzler-Trott, Eckart, pág. 273ss.
  5. Jeff Miller. Primeros usos de los símbolos de la teoría y la lógica de conjuntos . Consultado el 10 de junio de 2020. Archivado desde el original el 4 de noviembre de 2019.
  6. Cajori F. Una historia de las notaciones matemáticas. vol. 2 (reimpresión de 1929) . - NY: Cosimo, Inc., 2007. - S. 293-314. -xii + 392p. - ISBN 978-1-60206-713-4 .
  7. Gentsen G. Consistencia de la teoría de números pura. // Teoría matemática de la inferencia lógica. Moscú: Nauka, 1967, págs. 77-153.

Literatura y referencias