Wilhelm Ackermann | |
---|---|
Wilhelm Ackerman | |
Função de Ackermann | |
Nascimento | Wilhelm Friedrich Ackermann 29 de março de 1896 Herscheid (Império Alemão) |
Morte | 24 de dezembro de 1962 (66 anos) Lüdenscheid (Alemanha Ocidental) |
Cidadania | Império Alemão, República de Weimar, Alemanha Nazista, Alemanha |
Alma mater | Universidade de Göttingen |
Ocupação | matemático, filósofo, professor do ensino secundário |
Empregador(a) | Deutsches Heer, Gymnasium Arnoldinum, Geschwister-Scholl-Gymnasium Lüdenscheid, Universidade de Münster |
Orientador(a)(es/s) | David Hilbert[1] |
Campo(s) | matemática |
Tese | 1925: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit |
Obras destacadas | BIT predicate, ordinal de Ackermann, teoria de conjuntos de Ackermann, função de Ackermann |
Religião | luteranismo |
Wilhelm Friedrich Ackermann (Herscheid, 29 de março de 1896 — Lüdenscheid, 24 de dezembro de 1962) foi um matemático alemão. Conhecido pela função de Ackermann, um importante exemplo na teoria da computação.
Ackermann foi premiado com um Ph.D. na Universidade de Göttingen em 1925 por sua tese Begründung sobre o "Tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit que deveria ser uma prova da consistência da aritmética sem indução de Peano. De 1929 a 1948 lecionou no Ginásio Arnoldinum em Burgsteinfurt, e mais tarde no Lüdenscheid até 1961 . Foi professor honorário da Universidade de Münster (Vestfália).[2]