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

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

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

См. также

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home