Wilhelm Ackermann

Wikipediasta
Siirry navigaatioon Siirry hakuun
Wilhelm Ackermann

Wilhelm Friedrich Ackermann (29. maaliskuuta 1896 Herscheid24. joulukuuta 1962 Lüdenscheid)[1] oli saksalainen matemaatikko, joka tunnetaan nykyisen ensimmäisen kertaluvun predikaattilogiikan muotoilijana David Hilbertin ohella sekä Ackermannin funktiosta.

  • "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
Käännös suomeksi
Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:Wilhelm Ackermann
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.