Войти
| Вильгельм Аккерманн | |
|---|---|
 Вильгельм Аккерманн ок. 1935 | |
| Родился | (1896-03-29) 29 марта 1896. Гершайд, Германская империя |
| Умер | 24 декабря 1962 (1962-12-24) (66 лет). Люденшайд, Западная Германия |
| Национальность | Немец |
| Alma mater | Геттингенский университет |
| Известен по | |
| Научная карьера | |
| Области | Математика |
| Докторант | Дэвид Гильберт |
Вильгельм Фридрих Аккерман (; Немецкий: ; 29 марта 1896 г. - 24 декабря 1962 г.) был немецким математиком, наиболее известным благодаря функции Аккермана, важному примеру в теории вычислений.
Аккерманн родился в Хершайд, Германия и получил докторскую степень. Геттингенским университетом в 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 года.
