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