Wilhelm Ackermann
Wikipedia
Wilhelm Friedrich Ackermann (29. maaliskuuta 1896, Herscheid – 24. joulukuuta 1962, Lüdenscheid) oli saksalainen matemaatikko, joka tunnetaan nykyisen ensimmäisen kertaluvun predikaattilogiikan muotoilijana David Hilbertin ohella, sekä Ackermannin funktiosta.
[muokkaa] Julkaisuja
- "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
- Grundzüge der theoretischen Logik, yhdessä David Hilbertin kanssa (1928)
- "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
[muokkaa] Aiheesta muualla
- O'Connor, John J; Robertson, Edmund F.: Wilhelm Ackermann MacTutor History of Mathematics archive. (englanniksi)
