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 Peana i podając nową aksjomatykę teorii mnogości (1956).
This article uses material from the Wikipedia Polski article Wilhelm Ackermann, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Treść udostępniana na licencji CC BY-SA 4.0, jeśli nie podano inaczej. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Polski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.