| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Спецкурс "Доказуемость и формальная арифметика"
|
|||
|
|
|||
|
Лекция 9. Теорема Лёба и вторая теорема Гёделя о неполноте Л. Д. Беклемишев |
|||
|
Аннотация: Условия Гильберта-Бернайса-Лёба. Теорема Лёба. Вывод второй теоремы Гёделя из теоремы Лёба. Доказательство теоремы Лёба. Теорема Тарского о неопределимости истинности в арифметике. |
|||
