Центральный Дом Знаний - Аккерман Вильгельм Фридрих

Информационный центр "Центральный Дом Знаний"

Заказать учебную работу! Жми!



ЖМИ: ТУТ ТЫСЯЧИ КУРСОВЫХ РАБОТ ДЛЯ ТЕБЯ

      cendomzn@yandex.ru  

Наш опрос

Я учусь (закончил(-а) в
Всего ответов: 2668

Онлайн всего: 1
Гостей: 1
Пользователей: 0


Форма входа

Логин:
Пароль:

Аккерман Вильгельм Фридрих

Аккерман Вильгельм Фридрих (немWilhelm Friedrich Ackermann; 29.03.1896, Хершайд, Германия — 24.12.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

Лит.: 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.

Loading

Календарь

«  Июль 2020  »
ПнВтСрЧтПтСбВс
  12345
6789101112
13141516171819
20212223242526
2728293031

Архив записей

Друзья сайта

  • Заказать курсовую работу!
  • Выполнение любых чертежей
  • Новый фриланс 24