Wilhelm ackermann

Wilhelm ackermann Imagen en Infobox. Wilhelm Ackermann alrededor de 1935. Biografía
Nacimiento 29 de marzo de 1896
Herscheid ( Imperio alemán )
Muerte 24 de diciembre de 1962
Lüdenscheid
Nombre en idioma nativo Wilhelm Friedrich Ackermann
Nombre de nacimiento Wilhelm Friedrich Ackermann
Nacionalidad alemán
Capacitación Universidad de Gotinga (1914-1925)
Actividad educación secundaria lógica matemática
Otras informaciones
Trabajé para Gymnasium Arnoldinum (Steinfurt)  (de)
Geschwister-Scholl-Gymnasium (Lüdenscheid)  (de)
Campo Matemáticas
Religión Luteranismo
Miembro de Academia de Ciencias de Gotinga (1953)
Conflicto Primera Guerra Mundial
Maestría David Hilbert
Director de tesis David Hilbert
Obras primarias
Predicado BIT ( d ) , ordinal de Ackermann ( d ) , teoría de conjuntos de Ackermann ( d ) , función de Ackermann

Wilhelm Ackermann ( 1896 - 1962 ) es un matemático alemán , famoso por la función de Ackermann, que es un ejemplo importante de la teoría de la computabilidad .

Biografía

Su tesis (1924) da una prueba detallada de la consistencia de la aritmética recursiva primitiva  (en) . Fue profesor en la escuela , en Burgsteinfurt de 1929 a 1948, luego en Lüdenscheid hasta su jubilación en 1961. Fue miembro correspondiente de la Academia de Ciencias de Gotinga y profesor honorario en la Universidad de Münster .

Escribió Grundzüge der theoretischen Logik ( Principios de lógica teórica ) con David Hilbert , sobre el problema de decisión y las pruebas de consistencia construidos para la teoría de conjuntos (1937), la aritmética de Peano (1940), no la lógica. Mecanografiado (1952), así como un nuevo axiomatización  (en) de la teoría de conjuntos (1956). También es autor del libro Solvable Cases of the Decision Problem (North Holland, 1954).

Referencias

(fr) Este artículo está tomado parcial o totalmente del artículo de Wikipedia en inglés titulado “  Wilhelm Ackermann  ” ( ver la lista de autores ) .
  1. (in) "  Wilhelm Friedrich Ackermann  " en el sitio web del Proyecto de genealogía de las matemáticas .
  2. (en) Richard Zach  (en) , “  The Practice de finitismo: Epsilon Cálculo y consistencia pruebas en el programa de Hilbert  ” , Síntesis  (en) , vol.  137, n os  1-2,2003, p.  211-259 ( arXiv  matemáticas / 0102189 ).

enlaces externos