Wilhelm Ackermann - Wilhelm Ackermann

Wilhelm Ackermann
Ackermann Wilhelm.jpg
Wilhelm Ackermann v C. 1935
narozený(1896-03-29)29. března 1896
Herscheid, Německá říše
Zemřel24. prosince 1962(1962-12-24) (ve věku 66)
Lüdenscheid, západní Německo
NárodnostNěmec
Alma materUniverzita v Göttingenu
Známý jako
Vědecká kariéra
PoleMatematika
Doktorský poradceDavid Hilbert

Wilhelm Friedrich Ackermann (/ˈ…k.rmən/; Němec: [ˈAkɐˌman]; 29 března 1896-24 prosince 1962) byl a Němec matematik nejlépe známý pro Ackermannova funkce, důležitý příklad v teorie výpočtu.

Životopis

Ackermann se narodil v Herscheid, Německo, a získal titul Ph.D. podle Univerzita v Göttingenu v roce 1925 za svou diplomovou práci Označení „tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit, což byl důkaz konzistence aritmetiky zjevně bez Peano indukce (ačkoli to používalo např. indukci přes délku důkazů). V letech 1929 až 1948 učil na gymnáziu v Arnoldinu v Praze Burgsteinfurt a poté v Lüdenscheid do roku 1961. Byl také odpovídajícím členem Akademie der Wissenschaften (Akademie věd) v Göttingenu a byl čestným profesorem na University of Münster.

V roce 1928 Ackermann pomohl David Hilbert jeho úvodní 1917 - 22 přednášek matematická logika do textu, Principy matematické logiky. Tento text obsahoval vůbec první expozici logika prvního řádu, a představoval problém jeho úplnost a rozhodnutelnost (Entscheidungsproblem ). Ackermann pokračoval ve stavbě důkazy konzistence pro teorie množin (1937), plná aritmetika (1940), beztypová logika (1952) a nový axiomatizace z teorie množin (1956).

Když se Ackermann oženil, Hilbertova podpora zase zmizela:

Oh, das ist wunderbar. Das sind gute Neuigkeiten für mich. Denn wenn dieser Mann so verrückt ist, daß er heiratet und sogar ein Kind hat, bin ich von jeder Verpflichtung befreit, etwas für ihn tun zu müssen.
To je úžasné. To jsou pro mě dobré zprávy. Protože pokud je tento muž tak šílený, aby se oženil a dokonce měl dítě, pak už nejsem zodpovědný za to, že pro něj něco udělám.

- Anita Ehlersová. Liebes Hertz! Physiker und Mathematiker v Anekdoten. Basilej: Birkhäuser Verlag, 1994, s. 161. Viz také Constance Reid Hilbert.

Později v životě pokračoval Ackerman jako učitel na střední škole. Přesto se neustále věnoval výzkumu a do konce svého života publikoval mnoho příspěvků k základům matematiky. Zemřel v Lüdenscheid, Německo v prosinci 1962.

Viz také

Bibliografie

externí odkazy

  • O'Connor, John J.; Robertson, Edmund F., „Wilhelm Ackermann“, MacTutor Historie archivu matematiky, University of St Andrews.
  • Wilhelm Ackermann na Matematický genealogický projekt
  • Stránka Ericha Friedmana na Ackermannovi na Stetson University
  • Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
  • Profil autora v databázi zbMATH