Friedrich Wilhelm Ackermann

Schüler von D. Hilbert, Gymnasiallehrer, ab 1953 auch Professor an der Universität Münster. Ackermann lieferte Beiträge zur mathematischen Grundlagenforschung (Beweise der Widerspruchsfreiheit der Zahlentheorie, Axiomensystem der Mengenlehre), zur mathematischen Logik (u. a. über Entscheidungsverfahren und das Entscheidungsproblem) und zur Theorie der rekursiven Funktionen. Er verfasste »Grundzüge der theoretischen Logik« (1928, ⁶1972; mit