Вильге́льм Фри́дрих Аккерман (; 29 марта 1896, Хершайд, Германская империя, — 24 декабря 1962, Люденшайд, ФРГ) — немецкий математик и логик, педагог.

Биография Аккерман получил учёную степень доктора философии в Гёттингенском университете в 1925 году с диссертацией по теме Обоснование «tertium non datur» посредством гильбертовской теории доказательства непротиворечивости (), доказательство непротиворечивости арифметики без очевидного использования аксиомы полной индукции Пеано (хотя всё же неявно была использована). С 1929 года по 1948 год он преподаёт в гимназии Штайнфурта, затем до 1961 года в Люденшайде. Он был членом-корреспондентом Академии наук в Гёттингене и почётным профессором Вестфальского университета.

В 1928 году Аккерман помогал Давиду Гильберту подготовить к публикации лекции 1917—1922 гг. по введению в математическую логику — Основы теоретической логики (). В книге содержится первое изложение логики первого порядка и вопросов, которые впоследствии разрешил Гёдель в теореме о полноте и теореме о неполноте.

Несмотря на то, что Аккерман предпочел осуществлять трудовую деятельность скорее в системе школьного образования, чем университетского, он активно занимался наукой и имел множество публикаций. Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956). В теории алгоритмов широко известна функция Аккермана.

В 1956 году Аккерман впервые явным образом рассмотрел проблематику релевантной логики. Хотя впоследствии стало известно, что до Аккермана система релевантной логики была построена И. Е. Орловым (1920-е гг.), а после А. Черчем (1951 г.), логическая система сильной импликации Аккермана была первым явным рассмотрением проблематики релевантной логики.

Публикации на русском языке Гильберт Д., Аккерман В. Основы теоретической логики. — М.: Издательская группа URSS, 2010. — 304 с. — ISBN 978-5-484-01144-5.

Примечания

Литература Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f. Constance Reid: Hilbert, Springer 1970, S.173. Dieter Remus: Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588—1988. Festschrift. Greven 1988, S.211-219.

Категория:Логики Германии Категория:Математики Германии Категория:Математики по алфавиту Категория:Математики XX века Категория:Члены Гёттингенской академии наук