December 7th, 2019

о неприменимости теорем Геделя в качестве запрета на создание сильного ИИ

O чем не говорят теоремы Геделя

о неприменимости теорем Геделя в качестве запрета на создание сильного ИИ
решил сделать и выложить подборку материалов о проблеме
спекуляции на тему теорем Геделя идут очень давно и в основном идут от людей не понимающих математики

---
предыдущая дискуссия оказалась не содержательной
почему неверны выводы?
https://deep-econom.livejournal.com/503833.html

===========================
Гедель 1
Часто приходится слышать, будто бы некая «теорема Геделя» якобы доказывает, что процессы в сознании вообще и мышление в частности не могут быть алгоритмизированы и смоделированы на вычислительной машине. Многие пускаются в весьма пространные рассуждения, будто бы доказывающие это. Во всех этих рассуждениях непременно обнаруживается логический изъян. Несмотря на обилие таких рассуждений, безупречного доказательства того, что вычислительные формализмы не способны охватить когнитивные процессы, не существует. Не существует, однако, и доказательства обратного — что сознание описуемо формальной системой; к этому мы обратимся в самом конце.
https://fregimus.livejournal.com/80970.html

Ю. Л. Ершов, В. В. Целищев. Алгоритмы и вычислимость в человеческом познании.
на тему теоремы Геделя и искусственный интеллект

см. также
Ершов и Целищев: Алгоритмы и вычислимость в человеческом познании
https://evgeniirudnyi.livejournal.com/168877.html

Незавершенность математики и абсолютно неразрешимые проблемы
В.В. Целищев
Collapse )