Wilhelm Friedrich Ackermann ( / ˈækərmə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 en 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í utilizó, por ejemplo, la inducción a lo largo de la duración de las pruebas). Esta fue una de las dos obras principales en teoría de pruebas en la década de 1920 y la única que siguió la escuela de pensamiento de Hilbert . [1] Desde 1929 hasta 1948, enseñó en el Arnoldinum Gymnasium en Burgsteinfurt , y luego en Lüdenscheid hasta 1961. También fue miembro correspondiente de la Akademie der Wissenschaften ( Academia de Ciencias ) en 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-22 sobre lógica matemática introductoria 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 completitud y decidibilidad ( Entscheidungsproblem ). Ackermann continuó construyendo pruebas de consistencia para la teoría de conjuntos (1937), la aritmética completa (1940), la lógica libre de tipos (1952) y una nueva axiomatización de la teoría de conjuntos (1956).
Más tarde, Ackermann continuó trabajando como profesor de secundaria. Se mantuvo involucrado 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.