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 |
Doktorandhandledare | 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.