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 .
Factos rápidos
Wilhelm Ackermann
Wilhelm Ackermann
Função de Ackermann
Nascimento
Wilhelm Friedrich AckermannHerscheid (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
Fechar
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]
com David Hilbert : Grundzüge der Theoretischen Logik. Grundlehren der mathematischen Wissenschaften 27, Springer 1928
Die Widerspruchsfreiheit des Auswahlaxioms Volume 1924 , S. 246–250.Begründung des „tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit Volume 93 , S. 1–36.Zum Hilbertschen Aufbau der reellen Zahlen Volume 99 , S. 118–133.Über die Erfüllbarkeit gewisser Zählausdrücke Band 100 , S. 638–649.Untersuchungen über das Eliminationsproblem der mathematischen Logik Volume 110 , S. 390–413.Zum Eliminationsproblem der mathematischen Logik Volume 111 , S. 61–63.Beiträge zum Entscheidungsproblem der mathematischen Logik Volume 112 , S. 419–432.Die Widerspruchsfreiheit der allgemeinen Mengenlehre Volume 114 (1937) , S. 305–315.Mengentheoretische Begründung der Logik Volume 115 , S. 1–22.Zur Widerspruchsfreiheit der Zahlentheorie Volume 117 , S. 162–194.Ein System der typenfreien Logik . Band I, Leipzig 1941.Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse Band 53, Heft 5 , S. 403–413.Zur Axiomatik der Mengenlehre Volume 131 (1956) , S. 336–345.Widerspruchsfreier Aufbau einer typenfreien Logik. Band 55 , S. 364–384.Widerspruchsfreier Aufbau einer typenfreien Logik. II. Band 57 , S. 155–166.Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. In: Ratio. Band 1, 1957.Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I. Band 4 , S. 3–26.Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II. Volume 5 , S. 96–111. 
