Ackermann

Enciclopedia della Matematica (2013)

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.

TAG

Renania settentrionale-vestfalia

Funzioni ricorsive primitive

Lüdenscheid