Wilhelm Ackermann

Wikipedia
Loikkaa: valikkoon, hakuun
Wilhelm Ackermann

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

Julkaisuja[muokkaa | muokkaa wikitekstiä]

  • "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

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]

  • O'Connor, John J; Robertson, Edmund F.: Wilhelm Ackermann MacTutor History of Mathematics archive. (englanniksi)
Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja vieraskielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:Wilhelm Ackermann
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.