|
|
Спецкурс "Доказуемость и формальная арифметика"
24 ноября 2020 г. 14:30, Москва, online на платформе Zoom
|
 |
|
 |
|
|
|
Лекция 10. Неподвижная точка Россера
Л. Д. Беклемишев |
| Видеозаписи: |
 |
MP4 |
458.9 Mb |
| Количество просмотров: |
| Эта страница: | 307 | | Видеофайлы: | 53 | | Youtube: | |
|
Аннотация:
Неподвижная точка Россера. Второе доказательство теоремы Россера. Трюк Крейга. Построение предиката доказуемости, удовлетворяющего условиям Леба (начало обсуждения).
|
|
Обратная связь: