Nacimiento |
29 de marzo de 1896 Herscheid ( Imperio alemán ) |
---|---|
Muerte |
24 de diciembre de 1962 Lüdenscheid |
Nombre en idioma nativo | Wilhelm Friedrich Ackermann |
Nombre de nacimiento | Wilhelm Friedrich Ackermann |
Nacionalidad | alemán |
Capacitación | Universidad de Gotinga (1914-1925) |
Actividad |
educación secundaria lógica matemática |
Trabajé para |
Gymnasium Arnoldinum (Steinfurt) (de) Geschwister-Scholl-Gymnasium (Lüdenscheid) (de) |
---|---|
Campo | Matemáticas |
Religión | Luteranismo |
Miembro de | Academia de Ciencias de Gotinga (1953) |
Conflicto | Primera Guerra Mundial |
Maestría | David Hilbert |
Director de tesis | David Hilbert |
Predicado BIT ( d ) , ordinal de Ackermann ( d ) , teoría de conjuntos de Ackermann ( d ) , función de Ackermann |
Wilhelm Ackermann ( 1896 - 1962 ) es un matemático alemán , famoso por la función de Ackermann, que es un ejemplo importante de la teoría de la computabilidad .
Su tesis (1924) da una prueba detallada de la consistencia de la aritmética recursiva primitiva (en) . Fue profesor en la escuela , en Burgsteinfurt de 1929 a 1948, luego en Lüdenscheid hasta su jubilación en 1961. Fue miembro correspondiente de la Academia de Ciencias de Gotinga y profesor honorario en la Universidad de Münster .
Escribió Grundzüge der theoretischen Logik ( Principios de lógica teórica ) con David Hilbert , sobre el problema de decisión y las pruebas de consistencia construidos para la teoría de conjuntos (1937), la aritmética de Peano (1940), no la lógica. Mecanografiado (1952), así como un nuevo axiomatización (en) de la teoría de conjuntos (1956). También es autor del libro Solvable Cases of the Decision Problem (North Holland, 1954).