| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
|
|||
|
Лекция 6. Теорема Гёделя-Россера Л. Д. Беклемишев |
|||
|
Аннотация: Формулировка теоремы. Обсуждение условий теорем Гёделя и Гёделя-Россера. Неотделимые пары перечислимых множеств. Теорема о существовании неотделимых пар перечислимых множеств. Лемма о двойном представлении пар. Доказательство теоремы Гёделя-Россера. Доказательство леммы о двойном представлении. Минимальная арифметика MA' и ее свойства. |
|||
