Адрес e-mail:
Прошедшие события
Презентация магистерской программы «Биоинформатика» ФБМФ и Napoleon IT
Александр Львовский: «Квантовая революция как мировой технологический тренд»
Выпускной МФТИ 2020: онлайн-формат не отменяет праздник
Директор ФИАН Николай Колачевский: «Наука и технологии: путь в лидерство»
Онлайн-презентация кафедры космической физики ЛФИ
Сессия вопросов-ответов с биоинформатиком Антоном Буздиным
Презентация магистерской программы «Физика сверхпроводимости и квантовых материалов»
Презентация магистерской программы «Двумерные материалы: физика и технология наноструктур»
Презентация магистерской программы «Цифровые технологии в бизнесе»
Денис Дмитриев: «Особенности поступления и ответы на вопросы. Приемная кампания — 2020»
Всероссийский онлайн-выпускной
Онлайн-презентация кафедры интегрированных киберсистем ФРТК
Сессия вопросов-ответов с Михаилом Щелкановым
Круглый стол: «Тенденции рынка труда во время всеобщей самоизоляции»
Онлайн-марафон #надоразобраться
Максим Поташев: «Бридж – самый популярный в мире интеллектуальный вид спорта»
Сергей Иванов: «Человек в центре бизнеса: конкурентное преимущество или корпоративные сказки?»
Семинар: «Выбор обратной связи в системах управления как задача оптимизации»
Константин Виноградов: «Как работают венчурные фонды и почему стоит строить глобальный бизнес с первого дня»
Интеллектуальная игра Genium Challenge с Максимом Поташёвым

Доклад "Итерации Тьюринга" член.-корр. РАН Л.Д. Беклемишева

опубликовано: 16.04.2013
Как известно, К. Гёдель доказал, что непротиворечивость любой формальной теории (удовлетворяющей некоторым естественным и широким условиям) не может быть установлена в рамках самой этой теории. Алан Тьюринг (1939 г.) был первым, кто исследовал вопрос о том, что может получиться, если рассматривать утверждение о непротиворечивости как новую аксиому, и присоединить её к списку аксиом данной теории. Итерация этой процедуры приводит к бесконечным последовательностям расширений данной теории, которые называют прогрессиями Тьюринга. Изучению этих прогрессий посвящена довольно богатая литература в математической логике. Насколько сильные утверждения могут быть доказаны в теориях из прогрессии Тьюринга? Нельзя ли преодолеть на этом пути ограничения, связанные с теоремами Гёделя о неполноте? В последнее время новый взгляд на эти вопросы возник в связи с изучением алгебраических свойств гёделевской формулы, выражающей непротиворечивость. В докладе будет изложен обзор как старых, так и некоторых новых результатов в этом направлении.
Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2020 Московский физико-технический институт (национальный исследовательский университет)

Противодействие коррупции | Сведения о доходах

Политика обработки персональных данных МФТИ

Техподдержка сайта | API

Использование новостных материалов сайта возможно только при наличии активной ссылки на https://mipt.ru

МФТИ в социальных сетях