Вильгельм Фридрих Аккерман ( нем. Wilhelm Friedrich Ackermann, /ˈækərmə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 года. Он также был членом-корреспондентом Академии наук в Гёттингене и почетным профессором Мюнстерского университета .
В 1928 году Акерман помог Дэвиду Гильберту превратить его лекции 1917–22 по вводной математической логике в текст «Принципы математической логики» . Этот текст содержал первое изложение логики первого порядка и ставил проблему ее полноты и разрешимости ( Entscheidungsproblem ). Затем Акерман построил доказательства непротиворечивости для теории множеств (1937), полной арифметики (1940), логики без типов (1952) и новой аксиоматизации теории множеств (1956).
Позже в жизни Акерманн продолжил работать учителем в средней школе. Он продолжал заниматься исследованиями и опубликовал множество работ по основам математики до конца своей жизни. Он умер в Люденшайде , Западная Германия, в декабре 1962 года.