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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Вильгельм Аккерман
нем. Wilhelm Ackermann
Имя при рождении нем. Wilhelm Friedrich Ackermann
Дата рождения 29 марта 1896(1896-03-29)[1][2][…]
Место рождения Хершайд, Германская империя
Дата смерти 24 декабря 1962(1962-12-24)[1][3][…] (66 лет)
Место смерти
Страна Германская империя, Веймарская республика, Третий рейх, ФРГ
Род деятельности математик, философ, учитель средней школы, гимназии
Научная сфера математика, логика
Место работы
Альма-матер
Научный руководитель Давид Гильберт
Логотип Викицитатника Цитаты в Викицитатнике
Логотип Викисклада Медиафайлы на Викискладе

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

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

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

Несмотря на то, что Аккерман предпочел осуществлять трудовую деятельность скорее в системе школьного образования, чем университетского, он активно занимался наукой и имел множество публикаций. Аккерман работал над доказательством непротиворечивости теории множеств (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.