Вильгельм Фридрих Акерманн ( / ˈ æ k ər m ə n / ; немецкий: [ˈakɐˌman] ; 29 марта 1896 — 24 декабря 1962) — немецкий математик и логик , наиболее известный своими работами в области математической логики [1] и функции Аккермана . важный пример в теории вычислений .
Акерманн родился в Хершайде , Германия , и получил степень доктора философии. Геттингенским университетом в 1925 году за диссертацию Begründung des «tertium non datur» mittels der Hilbertschen Theorie der Widerspruchsfreiheit , которая представляла собой доказательство непротиворечивости арифметики, очевидно, без индукции Пеано (хотя в ней действительно использовалась, например, индукция по длине доказательств). Это была одна из двух крупных работ по теории доказательств 1920-х годов и единственная, последовавшая за школой мысли Гильберта . [1] С 1929 по 1948 год он преподавал в гимназии «Арнольдинум» в Бургштайнфурте , а затем в Люденшайде до 1961 года. Он также был членом-корреспондентом Akademie der Wissenschaften ( Академии наук ) в Геттингене и был почетным профессором в Университет Мюнстера .
В 1928 году Акерман помог Дэвиду Гильберту превратить его лекции по вводной математической логике 1917–22 годов в текст « Принципы математической логики» . Этот текст содержал первое когда-либо изложение логики первого порядка и ставил проблему ее полноты и разрешимости ( Entscheidungsproblem ). Акерман продолжил строить доказательства непротиворечивости для теории множеств (1937), полной арифметики (1940), логики без типов (1952) и новой аксиоматизации теории множеств (1956).
Позже Акерманн продолжил работать учителем средней школы. Он продолжал заниматься исследованиями и до конца своей жизни опубликовал множество работ по основам математики. Он умер в Люденшайде , Западная Германия, в декабре 1962 года.