Ackermann

Ackermann

Ackermann Wilhelm (Schönebecke, Herscheid, Sassonia-Anhalt, 1896 ‐ Lüdenscheid, Renania Settentrionale-Vestfalia, 1962) logico e matematico tedesco. Fu allievo e collaboratore di D. Hilbert, con cui scrisse i Grundzüge der theoretischen Logik (Principi di logica teoretica,1928). A lui si deve la dimostrazione della coerenza dell’aritmetica. Attraverso la costruzione di una particolare funzione (→ Ackermann, funzione di), dimostrò che l’insieme delle funzioni ricorsive primitive non satura il concetto intuitivo di calcolabilità: esiste almeno una funzione – quella da lui definita – che è effettivamente calcolabile e non è primitiva ricorsiva.