El matemático alemán Wilhelm Ackermann, nació el 29 de marzo de 1896 en Schönebecke (que pertenecía al distrito de Altena y ahora forma parte del municipio de Herscheid, Alemania. Es conocido, sobre todo, por la función de Ackermann nombrada en su honor, un ejemplo importante en la teoría de la computación.

Se doctoró en 1925 con su tesis Begründung des «tertium non datur» mittels der Hilbertschen Theorie der Widerspruchsfreiheit, que fue una prueba de consistencia de la aritmética sin inducción. Desde 1928 hasta 1948 fue profesor en el instituto Arnoldinum en Burgsteinfurt, y desde entonces hasta 1961 enseñó en Lüdenscheid. Además, fue miembro de la Academia de las Ciencias en Gotinga, así como profesor honorífico de la Universidad de Münster en Westfalia.

Escribió “Fundamentos de la lógica teórica” junto con David Hilbert, enfrentándose al “problema de decisión” también construyó pruebas de la consistencia para la teoría de conjuntos (1937), la aritmética completa (1940), la lógica tipo-libre (1952) y una nueva axiomatización de la teoría de conjuntos (1956). Escribió el libro “Los casos solubles del problema de la decisión”.

Wilhelm Ackermann murió en Lüdenscheid, Alemania, el 24 de diciembre de 1962.

Referencias

• Wilhelm Ackermann. https://es.wikipedia.org/wiki/Wilhelm_Ackermann