Wilhelm Ackermann - Wilhelm Ackermann
Wilhelm Ackermann | |
---|---|
narozený |
|
29. března 1896
Zemřel | 24.prosince 1962 |
(ve věku 66)
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:
- 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é
- Ackermannova bijekce
- Ackermannovo kódování
- Ackermannova funkce
- Ackermannův řadový
- Ackermannova teorie množin
- Systém Hilbert – Ackermann
- Problém s entscheidungs
- Řadový zápis
- Inverzní Ackermannova funkce
Bibliografie
- 1928. „O Hilbertově konstrukci skutečných čísel “ v Jean van Heijenoort , ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 . Harvard Univ. Tisk: 493–507.
- 1940. „Zur Widerspruchsfreiheit der Zahlentheorie“, Mathematische Annalen , sv. 117, s. 162–194.
- 1950 (1928). (s Davidem Hilbertem ) Zásady matematické logiky . Chelsea. Překlad německého vydání z roku 1938.
- 1954. Řešitelné případy problému s rozhodnutím . Severní Holandsko.
Reference
externí odkazy
- O'Connor, John J .; Robertson, Edmund F. , „Wilhelm Ackermann“ , MacTutor Dějiny archivu matematiky , University of St Andrews
- Wilhelm Ackermann na projektu Mathematics Genealogy Project
- Stránka Ericha Friedmana o Ackermannovi na Stetsonově univerzitě
- Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
- Profil autora v databázi zbMATH