Не любая формальная система имеет недоказуемые утверждения. Формальная система должна удовлетворять трем свойствам: быть непротиворечивой, иметь перечислимое множество аксиом (то есть все аксиомы должны порождаться неким алгоритмом) и уметь кодировать натуральные числа. Если хотя бы одно условие не выполнено, можно привести примеры полных систем, то есть таких что каждое истинное утверждение будет доказуемым. В случае с арифметикой, сначала строится утверждение вида G(a) которое говорит что утверждение с геделевским номером а не имеет доказательства. Иными словами, не только утверждения имеют геделевский номер, но и цепочки утверждений тоже. Доказательство - цепочка утверждений. Значит, если утверждение доказуемо, то у его доказательства существует геделевский номер. Если утверждение недоказуемо, то никакое число не будет геделевским номером его доказательства. Далее, G(a) тоже имеет геделевский номер, зависящий от a. Если для какого-то g номер утверждения G(g) будет равен g, это будет значить, что утверждение ссылается на само себя и утверждает что оно недоказуемо. Очевидно, что утверждение G(g) либо истинно, либо ложно. Если оно истинно, то мы получили пример истинного недоказуемого утверждения, если оно ложно, то G(g) доказуемо, но само G(g) утверждает что оно недоказуемо, значит арифметика противоречива. Итак, если арифметика непротиворечива, то G(g) истинно, а значит недоказуемо. Вторая теорема о неполноте утверждает, что из непротиворечивости арифметики следует G(g). Значит, если мы можем доказать непротиворечивость арифметики (внутри самой арифметики), то мы можем доказать недоказуемое утверждение, что ведет к противоречию.
@@Троев-г5ода теорема переоценена, вникать не обязательно. Достаточно как Арестович на эту хуйню ссылаться как на какое-то доказательство существования Бога и прочее. Я неиронично с помощью этого приема своего кореша убедил не пытаться читать Гегеля и Маркса Энгельса типа «вот те пруф что диамат это не суперкрутое описание вселенной от математиков», и это помогло.
@@rotrhino следующий уровень математического шизоугара это определение Бога через одноточечную компактификацию вселенной, о чем в своё время иронично заявил кто-то из Бурбаки. Но для гоев это еще туманнее теорем о неполноте. К слову, если мне не изменяет память то теоремы о неполноте использовал Вассерман чтобы «доказать» отсутствие Бога, так что твой друг может тебе парировать.
А почему G(a) имеет геделевский номер зависящий от a? Почему для утвержд. g, гедель номер доказывающий ложность g, то есть G(g), будет тем же номером g, то есть первоначальным утвержд? Как это понять, я тупой?
@@Троев-г5о по определению геделевский номер формулы (обозначим его #F для произвольной формулы F) зависит от констант, то есть G(a) и G(b) должны иметь разные номера для разных констант a и b. Интуитивно, это потому что мы должны иметь возможность по геделевскому номеру восстановить всю формулу сразу, значит и само вхождение конкретной константы также должно быть закодировано в номере. На счет второго вопроса, почему для какого-то утверждения #(G(g))=g, это на самом деле действительно неочевидно. К счастью, есть отдельная диагональная лемма, которая гарантирует что это условие выполняется в любой формальной системе, которая может выражать вычислимые функции и допускает геделевское кодирование, к которой относится и арифметика. Вообще, диагональная лемма это частный случай теорем о неподвижной точке (да, их много), которые гарантируют существование при определенных условий такой точки х что F(x)=x.
то есть говорил что не понимает производную, и потом "я не математик. но шас объясню неполноту по геделю, как я понимаю, предельно гуманитарно" интересно сколько такого бреда у него в областях где он якобы шарит смысл неполноты по геделю в том что исследование кода не дает полностью исследовать сами отношения и порядки, если гуманитарно
В общем да, очень похоже на породокс лжеца по форме. Но дело не совсем в этом. В тереме Гёделя не "это утверждение ложно", а "это утверждение не является теоремой", т.е. недоказуемо в рамках этой формальной системы. Таким образом если мы докажем, что утверждение верно(то что оно не является теоремой), то одновременно опровергнем его, ведь сам факт доказательства его верности говорит о том,что теремой оно всё таки будет являтся. А если мы докажем, что оно НЕверно, то есть, всё таки является теоремой, то опроверженее этого утверждения тоже будет ему противоречить. Вообще, рекомендую посмотреть разбор теоремы и её доказательство на канале New Deal, в двух частях. Мне приходилось несколько раз пересматривать, чтобы понять всё до последнего символа, но результатом остался доволен. Самый понятный из детальных разборов на ютубе. В самом конце, когда видишь само утверждение, вокруг которого всё и вертится,записанное математическим языком и понимаешь, как оно устроено и каким образом умудряется говорить о самом себе и о своей недоказуемости, наступает математическое "прозрение". Таким умным я себя ещё в жизни не чувствовал.
В чём парадокс? просто не существует такого множества и всё, нельзя так сделать. во вселенную не засунешь создателя вселенной вот и всё. только в рике и морти так можно. а более сложное ты в более простое не впихнёшь никак
Убермаргинал объясняет Теорему Пифагора
Хоть Гёдель не конторским оказался
Алгубритм... губадокс губца... губорема Губеля... мы настолько вернулись, господа.
Губспода
Доктор губических наук объясняет Теорему Гёделя
Губеля
Не любая формальная система имеет недоказуемые утверждения. Формальная система должна удовлетворять трем свойствам: быть непротиворечивой, иметь перечислимое множество аксиом (то есть все аксиомы должны порождаться неким алгоритмом) и уметь кодировать натуральные числа. Если хотя бы одно условие не выполнено, можно привести примеры полных систем, то есть таких что каждое истинное утверждение будет доказуемым. В случае с арифметикой, сначала строится утверждение вида G(a) которое говорит что утверждение с геделевским номером а не имеет доказательства. Иными словами, не только утверждения имеют геделевский номер, но и цепочки утверждений тоже. Доказательство - цепочка утверждений. Значит, если утверждение доказуемо, то у его доказательства существует геделевский номер. Если утверждение недоказуемо, то никакое число не будет геделевским номером его доказательства. Далее, G(a) тоже имеет геделевский номер, зависящий от a. Если для какого-то g номер утверждения G(g) будет равен g, это будет значить, что утверждение ссылается на само себя и утверждает что оно недоказуемо. Очевидно, что утверждение G(g) либо истинно, либо ложно. Если оно истинно, то мы получили пример истинного недоказуемого утверждения, если оно ложно, то G(g) доказуемо, но само G(g) утверждает что оно недоказуемо, значит арифметика противоречива. Итак, если арифметика непротиворечива, то G(g) истинно, а значит недоказуемо. Вторая теорема о неполноте утверждает, что из непротиворечивости арифметики следует G(g). Значит, если мы можем доказать непротиворечивость арифметики (внутри самой арифметики), то мы можем доказать недоказуемое утверждение, что ведет к противоречию.
Пиздец сложно
@@Троев-г5ода теорема переоценена, вникать не обязательно. Достаточно как Арестович на эту хуйню ссылаться как на какое-то доказательство существования Бога и прочее. Я неиронично с помощью этого приема своего кореша убедил не пытаться читать Гегеля и Маркса Энгельса типа «вот те пруф что диамат это не суперкрутое описание вселенной от математиков», и это помогло.
@@rotrhino следующий уровень математического шизоугара это определение Бога через одноточечную компактификацию вселенной, о чем в своё время иронично заявил кто-то из Бурбаки. Но для гоев это еще туманнее теорем о неполноте. К слову, если мне не изменяет память то теоремы о неполноте использовал Вассерман чтобы «доказать» отсутствие Бога, так что твой друг может тебе парировать.
А почему G(a) имеет геделевский номер зависящий от a?
Почему для утвержд. g, гедель номер доказывающий ложность g, то есть G(g), будет тем же номером g, то есть первоначальным утвержд?
Как это понять, я тупой?
@@Троев-г5о по определению геделевский номер формулы (обозначим его #F для произвольной формулы F) зависит от констант, то есть G(a) и G(b) должны иметь разные номера для разных констант a и b. Интуитивно, это потому что мы должны иметь возможность по геделевскому номеру восстановить всю формулу сразу, значит и само вхождение конкретной константы также должно быть закодировано в номере.
На счет второго вопроса, почему для какого-то утверждения #(G(g))=g, это на самом деле действительно неочевидно. К счастью, есть отдельная диагональная лемма, которая гарантирует что это условие выполняется в любой формальной системе, которая может выражать вычислимые функции и допускает геделевское кодирование, к которой относится и арифметика.
Вообще, диагональная лемма это частный случай теорем о неподвижной точке (да, их много), которые гарантируют существование при определенных условий такой точки х что F(x)=x.
На удивление неплохо рассказал. Теорема Гёделя - это парадокс лжеца на стероидах.
Мне одному кажется ,что он сам себе донатит такие вопросы? Что б других затригерить на донаты.
Делает вид что его зрителей (нынешних) интересует что-то кроме рессентимента к русским
@@Семенсеменыч-с6ч7нроссиянец, спок
Теорема Гооола
Не слушайте этого чмука, вот у арестовича про Геделя толково
Теорема Геделя вообще-то это когда есть аксиома, уже забыли что ли
Теорема конторы
то есть говорил что не понимает производную, и потом "я не математик. но шас объясню неполноту по геделю, как я понимаю, предельно гуманитарно"
интересно сколько такого бреда у него в областях где он якобы шарит
смысл неполноты по геделю в том что исследование кода не дает полностью исследовать сами отношения и порядки, если гуманитарно
Можно сформулировать проще: всякая аксиоматическая система неполна
В общем да, очень похоже на породокс лжеца по форме. Но дело не совсем в этом. В тереме Гёделя не "это утверждение ложно", а "это утверждение не является теоремой", т.е. недоказуемо в рамках этой формальной системы.
Таким образом если мы докажем, что утверждение верно(то что оно не является теоремой), то одновременно опровергнем его, ведь сам факт доказательства его верности говорит о том,что теремой оно всё таки будет являтся.
А если мы докажем, что оно НЕверно, то есть, всё таки является теоремой, то опроверженее этого утверждения тоже будет ему противоречить.
Вообще, рекомендую посмотреть разбор теоремы и её доказательство на канале New Deal, в двух частях. Мне приходилось несколько раз пересматривать, чтобы понять всё до последнего символа, но результатом остался доволен. Самый понятный из детальных разборов на ютубе. В самом конце, когда видишь само утверждение, вокруг которого всё и вертится,записанное математическим языком и понимаешь, как оно устроено и каким образом умудряется говорить о самом себе и о своей недоказуемости, наступает математическое "прозрение". Таким умным я себя ещё в жизни не чувствовал.
Ну Гедель в свое время перевернул математику, одно из фундаментальных открытий, хоть и мало известное
Че несет, Просто сказабыл, что это анекдот про "зеков которые анекдоты пронумировали".
есть видос, где Савватеев со своим учителем разбирает эту теорему, там хорошо объясняется
Губами, на порнохабе
В чём парадокс? просто не существует такого множества и всё, нельзя так сделать. во вселенную не засунешь создателя вселенной вот и всё. только в рике и морти так можно. а более сложное ты в более простое не впихнёшь никак
Я не математик, но? 🦝
Ну тупые... "Это утверждение ложно" Написано же! значит ложно! Какие могут быть вопросы?
Готика ….
Ето ведь эмбиент из второй части?
Неправильно объяснил, кто реально хочет разобраться погуглите статью Владимира Успенского
убермаргинал?