Wilhelm Ackermann

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

Wilhelm Friedrich Ackermann (Schönebeck, Germania, 29 marzo 1896Lüdenscheid, Germania, 24 dicembre 1962) fu un matematico tedesco conosciuto per la funzione di Ackermann, un'importante esempio nella teoria della computazione.

Ackermann fu premiato con un Ph.D. all'Università di Gottinga nel 1925 per la sua tesi Begründung sul Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit che fu una prova consistente di aritmetica senza induzione di Peano. Dal 1929 al 1948 insegnò all'Arnoldinum Gymnasium di Burgsteinfurt, e dopo al Lüdenscheid fino al 1961. Fu professore onorario all'Universität Münster (Westfalia).

Collegamenti esterni