Wilhelm Ackermann
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6b/Ackermann_Wilhelm.jpg/250px-Ackermann_Wilhelm.jpg)
Wilhelm Friedrich Ackermann (29. maaliskuuta 1896 Herscheid – 24. joulukuuta 1962 Lüdenscheid)[1] oli saksalainen matemaatikko, joka tunnetaan nykyisen ensimmäisen kertaluvun predikaattilogiikan muotoilijana David Hilbertin ohella sekä Ackermannin funktiosta.
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
Lähteet
- ↑ Wilhelm Ackermann
![Käännös suomeksi](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2a/Translation_Latin_Alphabet.svg/60px-Translation_Latin_Alphabet.svg.png)
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:Wilhelm Ackermann
Alkuperäinen artikkeli: en:Wilhelm Ackermann
|
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.