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

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

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

Биография

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

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

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

См. также

• Биекция Аккермана
• Кодирование Аккермана
• функция Аккермана
• порядковый номер Аккермана
• Теория множеств Аккермана
• Система Гильберта – Аккермана
• Проблема решения
• Порядковое обозначение
• Обратная функция Аккермана

Библиография

• Гильбертом 1928. «О построении действительных чисел » в книге Жана ван Хейеноорта , изд., 1967. От Фреге до Гёделя: Справочник по математической логике, 1879–1931 . Гарвардский университет. Пресса: 493–507.
• 1940. «О непротиворечивости теории чисел», Mathematical Annals , vol. 117, стр. 162–194.
• 1950 (1928). (совместно с Дэвидом Гильбертом ) Принципы математической логики . Челси. Перевод немецкого издания 1938 года.
• 1954. Разрешимые случаи проблемы решения . Северная Голландия.

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

• О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Вильгельм Акерманн» , Архив истории математики MacTutor , Университет Сент-Эндрюс
• Вильгельм Акерманн в проекте «Математическая генеалогия»
• Страница Эриха Фридмана об Акермане в Стетсонском университете
• Гермес, Памяти ВИЛЬГЕЛЬМА АККЕРМАНА 1896-1962 (PDF, 945 КБ)
• Профиль автора в базе данных zbMATH