Wilhelm Ackermann
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 |
[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).[2]
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.
Referências
- ↑ Wilhelm Ackermann (em inglês) no Mathematics Genealogy Project
- ↑ «Wilhelm Ackermann - Biography». Maths History (em inglês). Consultado em 8 de junho de 2022
Ligações externas
- O'Connor, John J.; Robertson, Edmund F., «Wilhelm Ackermann», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews
- Wilhelm Ackermann (em inglês) no Mathematics Genealogy Project
![]() | Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
|