| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
|
|||
|
Лекция 10. Неподвижная точка Россера Л. Д. Беклемишев |
|||
|
Аннотация: Неподвижная точка Россера. Второе доказательство теоремы Россера. Трюк Крейга. Построение предиката доказуемости, удовлетворяющего условиям Леба (начало обсуждения). |
|||
