Вильгельм Аккерманн - Wilhelm Ackermann
Вильгельм Аккерманн | |
---|---|
Родился |
|
29 марта 1896 г.
Умер | 24 декабря 1962 г. |
(66 лет)
Национальность | Немецкий |
Альма-матер | Геттингенский университет |
Известен | |
Научная карьера | |
Поля | Математика |
Докторант | Дэвид Гильберт |
Вильгельм Фридрих Ackermann ( / æ к ər м ə п / ; немецкий: [akɐˌman] ; 29 марта 1896 - 24 декабря 1962) был немецкий математик и логик самым известным за его работу в математической логике и функции Аккермана , важного примера в теории вычислений .
биография
Аккерман родился в Хершайде , Германия , и получил докторскую степень. в Геттингенском университете в 1925 году за диссертацию Begründung дез «третьего не дано» mittels дер Hilbertschen Théorie дер Widerspruchsfreiheit , что было доказательство непротиворечивости арифметики , по- видимому , не Пеано индукции (хотя это было использовать , например , индукцию по длине доказательств). Это была одна из двух основных работ по теории доказательств 1920-х годов и единственная, следовавшая школе мысли Гильберта . С 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 года.
Смотрите также
- Биекция Аккермана
- Кодирование Аккермана
- Функция Аккермана
- Порядковый номер Аккермана
- Теория множеств Аккермана
- Система Гильберта – Аккермана
- Entscheidungsproblem
- Порядковые обозначения
- Обратная функция Аккермана
Библиография
- 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