Remove ads
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.
| Wilhelm Ackermann | |
|---|---|
 | |
| 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 |
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, 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.
Remove ads
- Wilhelm Ackermann (em inglês) no Mathematics Genealogy Project
- «Wilhelm Ackermann - Biography». Maths History (em inglês). Consultado em 8 de junho de 2022
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads