Wilhelm Ackermann
Wikipedia
Wilhelm Ackermann, född 29 mars 1896, död 24 december 1962. Matematiker och logiker, född i Schöneberg, 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.