Автор: Денис Кацевич [24.05.2018]

Вильгельм Аккерман, Биография

Аккерман получил учёную степень доктора философии в Гёттингенском университете в 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). В книге содержится первое изложение логики первого порядка и вопросов, которые впоследствии разрешил Гёдель в теореме о полноте и теореме о неполноте.Pre-Show Хайдера Акерманна весна-лето 2011/ Haider Ackermann Spring Summer Несмотря на выбор Аккермана трудовой деятельности скорее в системе школьного образования, чем университетского, он активно занимался наукой и имел множество публикаций. Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956). В теории алгоритмов широко известна функция Аккермана.


Tags: #аккерман #теории #непротиворечивости #логики #арифметики #полной #теореме #аккермана #множеств

Дополнительные фотографии

Вильгельм Аккерман - фотография из открытых источников

Вильгельм Аккерман - фотография из открытых источников

Поделитесь

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

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

Немецкий математик и логик.

Родился: 29.03.1896 (66)
Место: Хершайд (DE)
Умер: 24.12.1962
Место: Люденшайд ()

Последние новости

Люди Дня

Последние комментарии

  • 11.07.2025 15:10 Классика Внучек, это же классика! Помнишь анекдот про зайца... [ На Украине требуют «отмены» Верки Сердючки за русскоязычные песни: Кондратюк назвал Данилко безмозглым ]
  • 11.07.2025 15:09 Сердючкостан Верка Сердючка — единственный артист в мире, котор... [ На Украине требуют «отмены» Верки Сердючки за русскоязычные песни: Кондратюк назвал Данилко безмозглым ]
  • 11.07.2025 15:06 Враг народа! Это как анекдот про театр во время войны: - ... [ На Украине требуют «отмены» Верки Сердючки за русскоязычные песни: Кондратюк назвал Данилко безмозглым ]
  • 10.07.2025 18:06 Урсула 2.0 Фон дер Лейен готовится баллотироваться на второй ... [ Европарламент не поддержал вотум недоверия Урсуле фон дер Лейен: скандал с закупками вакцин не повлиял на исход голосования ]
  • 10.07.2025 18:05 Мои секреты — это безопасность Европарламент: 'Переписку с Pfizer не покажем... [ Европарламент не поддержал вотум недоверия Урсуле фон дер Лейен: скандал с закупками вакцин не повлиял на исход голосования ]
  • 10.07.2025 18:05 Все довольны Это как если бы жена потратила семейный бюджет на ... [ Европарламент не поддержал вотум недоверия Урсуле фон дер Лейен: скандал с закупками вакцин не повлиял на исход голосования ]
  • 10.07.2025 18:04 Вотум недоверия недоверию 'Вотум недоверия недоверию' — это новый ... [ Европарламент не поддержал вотум недоверия Урсуле фон дер Лейен: скандал с закупками вакцин не повлиял на исход голосования ]
  • 10.07.2025 18:03 Мы же семья! Европарламент не поддержал вотум недоверия фон дер... [ Европарламент не поддержал вотум недоверия Урсуле фон дер Лейен: скандал с закупками вакцин не повлиял на исход голосования ]
  • 10.07.2025 18:01 Смена идеологий — Вот раньше в Голливуде русских только злодеями д... [ Юра Борисов сыграет сооснователя OpenAI в новом фильме Гуаданьино: международный успех российского актера ]
  • 10.07.2025 17:58 Хит сезона 'Нет списка клиентов' — это новый америк... [ "Нет списка, нет доверия": Марджори Тейлор Грин требует от Минюста ответа по делу Эпштейна ]

Оставьте Комментарий

Имя должно быть от 2 до 50 символов
Введите корректный email
Заголовок должен быть от 3 до 200 символов
Сообщение должно быть от 15 до 6000 символов
sql_close(); ?>