RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар отдела математической логики «Теория доказательств»
26 сентября 2016 г. 18:30, г. Москва, МИАН, ауд. 530
 


О новом доказательстве теоремы Соловея

Ф. Н. Пахомов

Количество просмотров:
Эта страница:14

Аннотация: Хорошо известна теорема Соловея об арифметической полноте логики доказуемости Гёделя-Лёба $GL$. Техника разработанная Соловеем для доказательства этой теоремы в дальнейшем была использована для доказательства арифметической полноты ряда других логик. В доказательстве Соловея арифметические предложения, в рамках необходимых контрпримеров, строятся в качестве определенных арифметических неподвижных точек. В этом докладе будет рассказано новое доказательство арифметической полноты $GL$. В рамках этого доказательства необходимые арифметические предложения строятся непосредственным образом.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017