Ackermann, Wilhelm

Logico matematico (Schönebecke, Altena, 1896 - Lüdenscheid 1962). Prof. all'università di Münster (dal 1953), membro dell'Accademia delle Scienze di Gottinga. Prima allievo poi collaboratore di D. Hilbert, scrisse con lui i Grundzüge der theoretischen Logik (1928, 4^a ed. 1958). Del 1940 è la sua celebre dimostrazione della coerenza dell'aritmetica, in cui introdusse anche il concetto di "ricursione transfinita". Nel 1951 dette una versione costruttiva di un segmento della seconda classe di Cantor, e nel 1952-1953 studiò un sistema di teoria degli insiemi in cui non compaiono distinzioni di tipi. È autore anche di Solvable cases of the decision problem, 1954.