В чём суть ТЕОРЕМЫ КУРТА ГЕДЕЛЯ.Всем интересного вечера.

Их две. Это теоремы о неполноте.
1.Во всякой достаточно богатой непротиворечивой теории первого порядка существует такая замкнутая формула, что ни, ни её отрицание не являются выводимыми в этой теории.
Иначе говоря, в любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть. Например, такое утверждение можно добавить к системе аксиом, оставив её непротиворечивой. При этом для новой теории (с увеличенным количеством аксиом) также будет существовать недоказуемое и неопровержимое утверждение.

Теорема была доказана Куртом Гёделем в 1931 году.

2.Во всякой достаточно богатой непротиворечивой теории первого порядка формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.
Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д.

Коротко говоря, мир не может быть познан. Системы искусственного интеллекта, если верить Википедии, никак не учитывают эти теоремы, а вот человеческий разум использует эту теорему. Образно говоря, именно поэтому человек всегда находится в Поиске.

Первая теорема Гёделя о неполноте, по всей видимости, является наиболее знаменательным результатом в математической логике. Она звучит следующим образом:

Для произвольной непротиворечивой формальной и вычислимой теории, в которой можно доказать базовые арифметические высказывания, может быть построено истинное арифметическое высказывание, истинность которого не может быть доказана в рамках теории [1]. Другими словами, любая вполне полезная теория, достаточная для представления арифметики, не может быть одновременно непротиворечивой и полной.

Вторая теорема Гёделя о неполноте звучит следующим образом:
Для любой формально рекурсивно перечислимой (то есть эффективно генерируемой) теории T, включая базовые арифметические истинностные высказывания и определённые высказывания о формальной доказуемости, данная теория T включает в себя утверждение о своей непротиворечивости тогда и только тогда, когда теория T противоречива.