Wilhelm Ackermann
aus Wikipedia, der freien Enzyklopädie
Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker. Ackermann war ein Schüler von David Hilbert in Göttingen und wurde berühmt durch die nach ihm benannte Ackermann-Funktion, ein Beispiel für eine rekursive Funktion, die jedoch nicht primitiv-rekursiv ist.
Von 1929 bis 1948 unterrichtete er am Gymnasium Arnoldinum in Burgsteinfurt und danach bis 1961 in Lüdenscheid. Er war korrespondierendes Mitglied der Akademie der Wissenschaften in Göttingen und Honorarprofessor an der Westfälischen Wilhelms-Universität in Münster. Gemeinsam mit David Hilbert verfasste er 1928 das Buch Grundzüge der theoretischen Logik. Außerdem wurde er durch Arbeiten zum Entscheidungsproblem der Prädikatenlogik, zur Widerspruchsfreiheit der elementaren Zahlentheorie und zur Mengenlehre bekannt.
[Bearbeiten] Schriften
- 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, Volume 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, 1937, Mathematische Annalen, Volume 114, 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
- Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse, 1951, Mathematische Zeitschrift, Band 53, Heft 5, S. 403-413
- Zur Axiomatik der Mengenlehre, 1956, Mathematische Annalen, Volume 131, 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
- 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, Band 5, S. 96-111
[Bearbeiten] Weblinks
- Eintrag im Mathematikerstammbaum
- http://www-groups.dcs.st-andrews.ac.uk/history/Mathematicians/Ackermann.html
| Personendaten | |
|---|---|
| NAME | Ackermann, Wilhelm |
| KURZBESCHREIBUNG | deutscher Mathematiker |
| GEBURTSDATUM | 29. März 1896 |
| GEBURTSORT | Schönebeck |
| STERBEDATUM | 24. Dezember 1962 |
| STERBEORT | Lüdenscheid |
