Викия

Математика

Недоказуемые утверждения

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Недоказуемые утверждения в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. По теореме Гёделя о неполноте в каждой достаточно сложной непротиворечивой теории имеется недоказуемое утверждение. Однако нахождение достаточно простых таких утверждений и доказательство их недоказуемости — достаточно сложная задача.

Наиболее знаменитыми и важными результатами в этой области являются следующие:

См. также Править

Шаблон:Philo-stub

hr:Popis neodlučivih problema

Викия-сеть

Случайная вики