Wilhelm Friedrich Ackermann ( / ˈ æ k ər m ə n / ; alemán: [ˈakɐˌman] ; 29 de marzo de 1896 - 24 de diciembre de 1962) fue un matemático y lógico alemán mejor conocido por su trabajo en lógica matemática [1] y la función de Ackermann . un ejemplo importante en la teoría de la computación .
Ackermann nació en Herscheid , Alemania , y obtuvo un doctorado. por la Universidad de Göttingen en 1925 por su tesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit , que era una prueba de consistencia de la aritmética aparentemente sin inducción de Peano (aunque sí usaba, por ejemplo, inducción a lo largo de las pruebas). Este fue uno de los dos trabajos más importantes sobre teoría de la prueba de la década de 1920 y el único que siguió la escuela de pensamiento de Hilbert . [1] Desde 1929 hasta 1948, enseñó en el Arnoldinum Gymnasium de Burgsteinfurt , y luego en Lüdenscheid hasta 1961. También fue miembro correspondiente de la Akademie der Wissenschaften ( Academia de Ciencias ) de Göttingen, y fue profesor honorario en la Universidad de Münster .
En 1928, Ackermann ayudó a David Hilbert a convertir sus conferencias de 1917 a 22 sobre introducción a la lógica matemática en un texto, Principios de lógica matemática . Este texto contenía la primera exposición de la lógica de primer orden y planteaba el problema de su integridad y decidibilidad ( Entscheidungsproblem ). Ackermann pasó a construir pruebas de coherencia para la teoría de conjuntos (1937), la aritmética completa (1940), la lógica sin tipos (1952) y una nueva axiomatización de la teoría de conjuntos (1956).
Más adelante en su vida, Ackermann continuó trabajando como profesor de secundaria. Se mantuvo comprometido en el campo de la investigación y publicó muchas contribuciones a los fundamentos de las matemáticas hasta el final de su vida. Murió en Lüdenscheid , Alemania Occidental, en diciembre de 1962.