Wilhelm Ackerman

Wilhelm Friedrich Ackermann (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 y la función de Ackermann, un ejemplo importante en la teoría de la computación.

Biografía

Ackermann nació en Herscheid, Alemania, y recibió 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 la inducción de Peano (aunque sí usaba, por ejemplo, la inducción sobre la longitud de las pruebas). Este fue uno de los dos trabajos principales en la teoría de la demostración en la década de 1920 y el único que siguió la escuela de pensamiento de Hilbert. 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 de 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 pasó a construir pruebas de consistencia para la teoría de conjuntos (1937), aritmética completa (1940), lógica libre de tipos (1952) y una nueva axiomatización de la teoría de conjuntos (1956).

A su vez, el apoyo de Hilbert desapareció cuando Ackermann se casó:

Más adelante en la vida, Ackerman continuó trabajando como maestro de escuela secundaria. Aún así, se mantuvo continuamente 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 en diciembre de 1962.