Wilhelm Ackermann
Z Wikipedii
Wilhelm Ackermann (ur. 29 marca 1896 w Herscheid, zm. 24 grudnia 1962 w Lüdenscheid) – niemiecki matematyk, odkrywca funkcji Ackermanna, która jest ważnym przykładem w teorii obliczeń.
Doktoryzował się w 1925 na Uniwersytecie Getyńskim na podstawie rozprawy Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit poświęconej dowodowi niesprzeczności arytmetyki bez pełnej indukcji. W latach 1929-1948 uczył w Gimnazjum Arnoldinum Gymnasium w Burgsteinfurcie (obecnie Steinfurt), a następnie w Lüdenscheid do 1961. Był członkiem korespondentem Akademii Nauk w Getyndze i profesorem honorowym Uniwersytetu w Münster.
W 1928 Ackermann współpracował z Dawidem Hilbertem przy opracowywaniu jego wykładów z lat 1917-1922. Oparta na nich książka Grundzüge der theoretischen Logik (Podstawy logiki teoretycznej) zawierała pierwszy systematyczny wykład klasycznego rachunku logicznego ze szczególnym uwzględnieniem problematyki pełności i rozstrzygalności. Ackermann kontynuował badania w dziedzinie logiki dowodząc niesprzeczności teorii mnogości (1937), arytmetyki Peano i podając nową aksjomatykę teorii mnogości (1956).
