Pagina+de+Jonathan*

//**Wilhelm Ackermann**//

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). 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 Akademie der Wissenschaften (//Academia de las Ciencias//) en [|Göttingen], así como profesor honorífico de la [|Universidad de Münster] en [|Westfalia]. Escribió //Grundzüge der Theoretischen Logik// (//Fundamentos de la lógica teórica//) junto con [|David Hilbert], enfrentándose al [|Entscheidungsproblem] ([|problema de decisión]) también construyó las pruebas de la consistencia para la teoría determinada ( 1937 ), la aritmética completa ( 1940 ), la lógica tipo-libre ( 1952 ) y una nueva axiomatización de la teoría determinada ( 1956 ). Escribió el libro //los casos solubles del problema de la decisión// (Holanda del norte, 1954 ).

Wilhelm Ackermann murió en [|Lüdenscheid] (Alemania) el [|24 de diciembre] de [|1962]

_____________________________________________________________________________________________________________________________________________________________________

Camino de mi casa al instituto