Поделиться:

О знаменитости

Вильгельм Аккерман: биография


Вильгельм Аккерман биография, фото, истории - немецкий математик и логик
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). В теории алгоритмов широко известна функция Аккермана.

Публикации на русском языке

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

Комментарии

Добавить комментарий
Комментарий
Отправить

Джон Локк Джон Локк

английский философ и педагог

Фридрих Шеллинг Фридрих Шеллинг

немецкий философ, представитель идеализма

Уильям Оккам Уильям Оккам

английский философ-схоласт, религиозно-политический писатель XIV века

Аристотель Аристотель

древнегреческий ученый и философ

Георг Гегель Георг Гегель

философ, один из создателей немецкой классической философии

Маркс, Карл Маркс, Карл

основоположник марксизма, автор «Капитала»

Джордано (Филиппо) Бруно Джордано (Филиппо) Бруно

итальянский монах-доминиканец, ученый, философ и поэт

Вольтер (Франсуа-Мари Аруэ) Вольтер (Франсуа-Мари Аруэ)

философ и писатель эпохи Просвещения, основоположник вольтерьянства

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Олег Белай – жизненный путь основателя Инвестиционной группы ТРИНФИКО

Дума ТВ

Дума ТВ

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора

Евтушенков Владимир вкладывает в высокотехнологичное развитие агросектора