Wilhelm Ackermann

Från Wikipedia
Hoppa till: navigering, sök
Wilhelm Ackermann
Wilhelm Ackermann
Född 29 mars 1896
Herscheid, Tyskland
Död 24 december 1962
Lüdenscheid, Tyskland
Forskningsområde Matematik
Alma mater Universität Göttingen
Rådgivare David Hilbert
Känd för Ackermanntalen, Ackermannfunktionen

Wilhelm Ackermann, född 29 mars 1896, död 24 december 1962. Matematiker och logiker, född i Schönebecke (Herscheid), Tyskland. Han skrev sin doktorsavhandling under Hilbert 1925. I denna presenterades ett bevis utan induktion för att aritmetiken är motsägelsefri. 1928 skrev han tillsammans med Hilbert Grundzüge der Theoretischen Logik. 1956 presenterade han en alternativ axiomatisering av mängdläran.


Se även[redigera | redigera wikitext]