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řel 24.prosince 1962 (1962-12-24)(ve věku 66)
Lüdenscheid , Západní Německo
Národnost Němec
Alma mater Univerzita v Göttingenu
Známý jako
Vědecká kariéra
Pole Matematika
Doktorský poradce David Hilbert

Wilhelm Friedrich Ackermann ( / æ k ər m ə n / ; Němec: [akɐˌman] ; 29 března 1896 - 24 prosince 1962) byl německý matematik a logik nejlépe známý pro jeho práci v matematické logice a Ackermann funkce , důležitý příklad v teorii výpočtu .

Životopis

Ackermann se narodil v Herscheid v Německu a získal titul Ph.D. na univerzitě v Göttingenu v roce 1925 za diplomovou práci Begründung des „tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit , což byl důkaz konzistence aritmetiky zjevně bez Peanovy indukce (ačkoli to používalo např. indukci po celé délce důkazů). Jednalo se o jedno ze dvou hlavních děl v teorii důkazů ve dvacátých letech minulého století a jediné následující po Hilbertově myšlenkové škole. Od roku 1929 do roku 1948 učil na Arnoldinum gymnáziu v Burgsteinfurtu a poté na Lüdenscheid až 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 univerzitě v Münsteru .

V roce 1928 Ackermann pomohl Davidu Hilbertovi proměnit jeho přednášky z roku 1917-22 na úvodní matematickou logiku na text, Principles of Mathematical Logic . Tento text obsahoval vůbec první výklad logiky prvního řádu a představoval problém jeho úplnosti a rozhodovatelnosti ( Entscheidungsproblem ). Ackermann pokračoval sestrojit konzistence důkazy pro teorii množin (1937), plné aritmetika (1940), jehož typ byl bez logiky (1952) a nový axiomatization z teorie množin (1956).

Na druhé straně Hilbertova podpora zmizela, když se Ackermann oženil:

Ach, 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.
Oh, to je úžasné. To je pro mě dobrá zpráva. 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, abych pro něj něco udělal.

- Anita Ehlers. 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 středoškolský učitel. Přesto se neustále věnoval oblasti výzkumu a publikoval mnoho příspěvků k základům matematiky až do konce svého života. Zemřel v Lüdenscheid v Německu v prosinci 1962.

Viz také

Bibliografie

Reference

externí odkazy