Адрес e-mail:
Прошедшие события
Панельная онлайн-дискуссия на тему «Новая волна. Акселерация будущего»
Онлайн-собрание ректората и студенческого актива института
AI 2020: технологии, рынок и управление продуктами
Родительское собрание в МФТИ
Летняя онлайн-школа «Всероссийский навигатор абитуриентов МФТИ»
Фазли Атауллаханов: «Физика свертывания крови и COVID-19»
Юрий Яровиков: «Какая математика нужна в анализе данных?»
Михаил Бурцев — об экспериментах с Memory Transformer
Даниил Поляков: «Мощь Python на все случаи жизни»
Презентация магистерской программы «Биоинформатика» ФБМФ и Napoleon IT
Александр Львовский: «Квантовая революция как мировой технологический тренд»
Выпускной МФТИ 2020: онлайн-формат не отменяет праздник
Директор ФИАН Николай Колачевский: «Наука и технологии: путь в лидерство»
Онлайн-презентация кафедры космической физики ЛФИ
Сессия вопросов-ответов с биоинформатиком Антоном Буздиным
Презентация магистерской программы «Физика сверхпроводимости и квантовых материалов»
Презентация магистерской программы «Двумерные материалы: физика и технология наноструктур»
Презентация магистерской программы «Цифровые технологии в бизнесе»
Денис Дмитриев: «Особенности поступления и ответы на вопросы. Приемная кампания — 2020»
Всероссийский онлайн-выпускной

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

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

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

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

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

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

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

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