Wilhelm Ackermann

Wilhelm Ackermann
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
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
[edite no Wikidata]

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.

Carreira

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).

Trabalhos

• com David Hilbert: Grundzüge der Theoretischen Logik. Grundlehren der mathematischen Wissenschaften 27, Springer 1928
• Die Widerspruchsfreiheit des Auswahlaxioms, 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volume 1924, S. 246–250.
• Begründung des „tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, 1925, Mathematische Annalen, Volume 93, S. 1–36.
• Zum Hilbertschen Aufbau der reellen Zahlen, 1928, Mathematische Annalen, Volume 99, S. 118–133.
• Über die Erfüllbarkeit gewisser Zählausdrücke, 1928, Mathematische Annalen, Band 100, S. 638–649.
• Untersuchungen über das Eliminationsproblem der mathematischen Logik, 1935, Mathematische Annalen, Volume 110, S. 390–413.
• Zum Eliminationsproblem der mathematischen Logik, 1935, Mathematische Annalen, Volume 111, S. 61–63.
• Beiträge zum Entscheidungsproblem der mathematischen Logik, 1936, Mathematische Annalen, Volume 112, S. 419–432.
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre, 1936, Mathematische Annalen, Volume 114 (1937), S. 305–315.
• Mengentheoretische Begründung der Logik, 1938, Mathematische Annalen, Volume 115, S. 1–22.
• Zur Widerspruchsfreiheit der Zahlentheorie, 1940/1941, Mathematische Annalen, Volume 117, S. 162–194.
• Ein System der typenfreien Logik. Band I, Leipzig 1941.
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse, 1951, Mathematische Zeitschrift, Band 53, Heft 5, S. 403–413.
• Zur Axiomatik der Mengenlehre, 1955, Mathematische Annalen, Volume 131 (1956), S. 336–345.
• Widerspruchsfreier Aufbau einer typenfreien Logik., 1951/52, Mathematische Zeitschrift, Band 55, S. 364–384.
• Widerspruchsfreier Aufbau einer typenfreien Logik. II., 1953, Mathematische Zeitschrift, 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., 1958, Archiv für mathematische Logik und Grundlagenforschung, Band 4, S. 3–26.
• Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II., 1960/61, Archiv für mathematische Logik und Grundlagenforschung, Volume 5, S. 96–111.

Ligações externas

• John J. O’Connor, Edmund F. Robertson: Wilhelm Ackermann. In: MacTutor History of Mathematics archive.
• Wilhelm Ackermann (em inglês) no Mathematics Genealogy Project