Wilhelm Ackermann nacque a Schönebeck in Germania il 29 marzo 1896. Fu un logico matematico che lavorò con David Hilbert a Göttingen, ma trascorse la sua carriera come insegnante di scuola superiore.
Ackermann entrò all’Università di Göttingen nel 1914 per studiare matematica, fisica e filosofia. Tuttavia, poco dopo aver iniziato i suoi studi, scoppiò la Prima Guerra Mondiale. Fu arruolato nell’esercito nel 1915 e prestò servizio fino al 1919, quando poté tornare ai suoi studi a Göttingen.
Ricevette il dottorato nel 1925 con una tesi scritta sotto la supervisione di David Hilbert. La tesi fornì una dimostrazione della coerenza dell’aritmetica senza induzione ed era intesa come dimostrazione di coerenza per l’analisi elementare.
Ackermann fu il principale contribu
tore allo sviluppo del sistema logico noto come calcolo epsilon, originariamente dovuto a Hilbert. Nel 1928 Ackermann osservò che una particolare funzione ricorsiva non era primitiva ricorsiva. Questa funzione, semplificata da altri matematici, è oggi conosciuta come funzione di Ackermann.
Nello stesso anno apparve il libro “Grundzüge der Theoretischen Logik” di Hilbert e Ackermann, spesso ristampato. Dal 1929 al 1948 insegnò come docente al Ginnasio Arnoldinum a Burgsteinfurt e a Luedenscheid. Fu membro corrispondente dell’Akademie der Wissenschaften a Göttingen e professore onorario all’Universität Münster.
Tra i suoi lavori successivi figurano dimostrazioni di coerenza per la teoria degli insiemi, l’aritmetica completa e la logica senza tipi. Morì il 24 dicembre 1962 a Lüdenscheid.