Теорема Лёба — теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году.
Теорема Лёба гласит, что во всякой теории, включающей аксиоматику Пеано, для любого высказывания доказуемость высказывания «доказуемость влечет » возможна только в случае доказуемости самого высказывания . Символически эта теорема может быть записана следующим образом:
Следствием теоремы Лёба является то, что только в противоречивой теории высказывание «доказуемость влечёт » доказуемо для всех утверждений .
Некоторые исследователи отмечают, что теорема Лёба может рассматриваться как результат формализации рассуждений, аналогичных парадоксу Карри, с помощью гёделевской нумерации.
Энциклопедичный YouTube
-
1/3Просмотров:7353 01816 468
-
Матлогика 15. Теорема о полноте исчисления предикатов
-
ВАРИАНТ #34 (ЗАДАНИЯ 14, 16, 18 и 19) ЕГЭ ПРОФИЛЬ ПО МАТЕМАТИКЕ (ШКОЛА ПИФАГОРА)
-
Теорема об изменении кинетической энергии механической системы. Часть 2.
Субтитры
См. также
Ссылки
Обычно почти сразу, изредка в течении часа.