Ackermann, Wilhelm
Indice
logico e matematico tedesco (Schönebecke 1896-Lüdenscheid 1962), professore di logica matematica all'Università di Münster. Discepolo di D. Hilbert, fu, insieme con P. Bernays, uno dei suoi principali collaboratori nelle ricerche sui fondamenti logici della matematica secondo l'indirizzo formalista. Le sue ricerche riguardano in particolare: la ricorsività (1928), il problema della decisione (1936, 1954), la consistenza dell'aritmetica (1940), la fondazione assiomatica della teoria degli insiemi (1956) e le logiche non classiche (1956). Autore con D. Hilbert di Grundzüge der theoretischen Logik (prima ed. 1928; Elementi di logica teorica). Opere fondamentali: On Hilbert's Construction of the Real Numbers (1928; Costruzione di Hilbert dei numeri reali), Beiträge zum Entscheidungsproblem der mathematischen Logik (1936; Introduzione al problema della decisione della logica matematica), Solvable Cases of Decision Problem (1956; Casi solubili del problema della decisione).
Funzioni di Ackermann
Classe di funzioni ricorsive che possono essere assegnate nel modo seguente: