deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Categories:

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

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

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

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

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

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

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

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

Дж.Хокинс, С.Блейксли - Об интеллекте - Вильямс (2007)

Роджер Пенроуз - Тени разума. В поисках науки о сознании-Ижевск. Институт компьютерных исследований (2005)

Пенроуз Роджер - Новый ум короля_ О компьютерах, мышлении и законах физики-Едиториал УРСС (2003)

Лукас. Разум, машины и Гёдель.
Типлер Франк Дж. — «Физика бессмертия»

Ю. Л. Ершов, В. В. Целищев. Алгоритмы и вычислимость в человеческом познании.
стр.
"Геделевский аргумент о превосходстве человека, который исполь-
зует теоремы Геделя о неполноте, возможно, не является релевантным в
данном вопросе. Нами, как мы надеемся, это показано практически,
поскольку все рассмотренные в книге аргументы говорят о том, что ге-
делевский аргумент не ведет к твердому заключению в пользу ментализ-
ма. Надо отметить, что сторонники геделевского аргумента становятся
все более изобретательными ` аргументы Р. Пенроуза чрезвычайно изоб-
ретательны по сравнению с довольно прямолинейной атакой Дж. Лука-
са."

XII. O чем не говорят теоремы Геделя
https://fregimus.livejournal.com/82506.html

ТГ приводятся в качестве возражения возможности ИИ с должной регулярностью. Формулировка возражения, так или иначе, сводится к следующей: вычислительные возможности компьютера ограничены арифметической неполнотой, а сознание человека ею не ограничено, следовательно, не найдется такого компьютерного алгоритма, чтобы он мог достичь возможностей сознания. Нам следует внимательно разобрать справедливость исходных постулатов и применимость вывода из них к реальности.
https://fregimus.livejournal.com/84942.html

Гедель 7
https://fregimus.livejournal.com/85513.html
Суммируя вышесказанное, «арифметичность» вычислительных машин не накладывает существенных ограничений на физические вычислительные модели.
=========================
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 3 comments