23-10-2023
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории имеется недоказуемое [и неопровергаемое в ней] утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Наиболее известными и важными результатами здесь являются следующие:
телепрограмма «Гордон»(Диалоги) от 16 июня 2003 года
Это заготовка статьи по философии. Вы можете помочь проекту, исправив и дополнив её. |
Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её. |
Недоказуемые утверждения.