Эта статья требует дополнительных ссылок для проверки . ( сентябрь 2017 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Вильгельм Аккерманн | |
---|---|
Вильгельм Аккерман в ок. 1935 г. | |
Родившийся | |
Умер | 24 декабря 1962 г. | (66 лет)
Национальность | Немецкий |
Альма-матер | Геттингенский университет |
Известен | |
Научная карьера | |
Поля | Математика |
Докторант | Дэвид Гильберт |
Вильгельм Фридрих Ackermann ( / æ к ər м ə п / ; немецкий: [akɐˌman] ; 29 марта 1896 - 24 декабря 1962) был немецкий математик , самый известный для функции Аккермана , что является важным , например , в теории вычислений .
Биография [ править ]
Акерманн родился в Хершайде , Германия , и получил степень доктора философии. в Геттингенском университете в 1925 году за диссертацию Begründung дез «третьего не дано» mittels дер Hilbertschen Théorie дер Widerspruchsfreiheit , что было доказательство непротиворечивости арифметики , по- видимому , не Пеано индукции (хотя это было использовать , например , индукцию по длине доказательств). С 1929 по 1948 год он преподавал в гимназии Арнольдинум в Бургштайнфурте , а затем в Люденшайде до 1961 года. Он также был членом-корреспондентом Akademie der Wissenschaften ( Академия наук ) в Геттингене и был почетным профессоромМюнстерский университет .
В 1928 году Аккерман помог Дэвиду Гильберту превратить его лекции 1917 года - 22 по вводной математической логике в текст « Принципы математической логики» . Этот текст содержал первое изложение логики первого порядка и ставил проблему ее полноты и разрешимости ( Entscheidungsproblem ). Ackermann пошел к построению доказательству непротиворечивости для теории множеств (1937), полной арифметики (1940), типа свободной логики (1952), а также новый аксиоматизаций из теории множеств (1956).
В свою очередь, поддержка Гильберта исчезла, когда Акерманн женился:
- Анита Элерс. Liebes Hertz! Physiker und Mathematiker в анекдотен . Базель: Birkhäuser Verlag, 1994, стр. 161. См. Также Констанс Рид Гильберт .
Позже Акерман продолжил работать учителем в средней школе. Тем не менее, он продолжал постоянно заниматься исследованиями и до конца своей жизни опубликовал множество статей, посвященных основам математики. Он умер в Люденшайде , Германия, в декабре 1962 года.
См. Также [ править ]
- Кодирование Аккермана
- Порядковый номер Аккермана
- Теория множеств Аккермана
- Функция Аккермана
- Обратная функция Аккермана
Библиография [ править ]
- 1928. «О построении Гильбертом действительных чисел » Жана ван Хейеноорта , изд., 1967. От Фреге до Гёделя: Справочник по математической логике, 1879–1931 . Harvard Univ. Пресс: 493–507.
- 1940. "Zur Widerspruchsfreiheit der Zahlentheorie", Mathematische Annalen , vol. 117, стр. 162–194.
- 1950 (1928). (с Дэвидом Гильбертом ) Принципы математической логики . Челси. Перевод немецкого издания 1938 года.
- 1954. Решаемые случаи проблемы решения . Северная Голландия.
Внешние ссылки [ править ]
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Вильгельм Акерманн" , архив истории математики MacTutor , Университет Сент-Эндрюс.
- Вильгельм Акерманн в проекте « Математическая генеалогия»
- Страница Эриха Фридмана об Аккермане в Стетсонском университете
- Гермес, Памяти Вильгельма Аккермана 1896-1962 (PDF, 945 KB)
- Профиль автора в базе zbMATH
- Функции Аккермана в новом виде науки