Вильгельм Аккерманн - Wilhelm Ackermann

Вильгельм Аккерманн
Аккерман Вильгельм.jpg
Вильгельм Аккерманн в c. 1935
Родился(1896-03-29)29 марта 1896 г.
Herscheid, Германская Империя
Умер24 декабря 1962 г.(1962-12-24) (66 лет)
Люденшайд, Западная Германия
НациональностьНемецкий
Альма-матерГеттингенский университет
Известен
Научная карьера
ПоляМатематика
ДокторантДэвид Гильберт

Вильгельм Фридрих Аккерманн (/ˈækərмəп/; Немецкий: [Akman]; 29 марта 1896 г. - 24 декабря 1962 г.) Немецкий математик наиболее известен Функция Аккермана, важный пример в теория вычислений.

биография

Аккерманн родился в Herscheid, Германия, и был удостоен степени доктора философии. посредством Геттингенский университет в 1925 г. за диссертацию Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, что было доказательством непротиворечивости арифметики, очевидно, без Индукция Пеано (хотя он использовал, например, индукцию по длине доказательств). С 1929 по 1948 год преподавал в гимназии Арнольдинум в г. Бургштайнфурт, а затем в Люденшайд до 1961 года. Он также был членом-корреспондентом Akademie der Wissenschaften (Академия Наук) в Геттингене и был почетным профессором Университет Мюнстера.

В 1928 году Аккерманн помог Дэвид Гильберт поворот его 1917 г. - 22 лекции вводных математическая логика в текст, Принципы математической логики. Этот текст содержал первое в истории изложение логика первого порядка, и поставил проблему полнота и разрешимость (Entscheidungsproblem ). Аккерман продолжил строительство доказательства непротиворечивости для теория множеств (1937), полная арифметика (1940), бестиповая логика (1952 г.) и новый аксиоматизация из теория множеств (1956).

В свою очередь, поддержка Гильберта исчезла, когда Аккерман женился:

О, 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.
О, это замечательно. Для меня это хорошие новости. Потому что, если этот мужчина настолько сумасшедший, чтобы жениться и даже иметь ребенка, то я больше не несу ответственности за что-либо для него.

- Анита Элерс. Liebes Hertz! Physiker und Mathematiker в анекдотенах. Базель: Birkhäuser Verlag, 1994, стр. 161. См. Также Констанс Рид Гильберта.

Позже Акерман продолжил работать учителем в средней школе. Тем не менее, он продолжал постоянно заниматься исследованиями и до конца своей жизни опубликовал множество статей, посвященных основам математики. Он умер в Люденшайд, Германия в декабре 1962 г.

Смотрите также

Список используемой литературы

внешние ссылки