Scisne?

К проблеме "вычислимости" функции сознания // Иванов Е. М. ≫ Комментарии

# 14 Дек 2014 12:41:14
Дмитрий

"Китайская комната" и математики

Ох уж эти математики с философско-гуманитарным уклоном...
Автор сказал очень много умных слов и настроил кучу схоластики, но всё это - "китайская комната", в которой применяется математика без понимания её практической сути. А практическая суть такова, что математика - не "абсолютное знание", а всего-лишь инструмент, применимый только в "заточенном" под него контексте.
И автор или не знает, или (более вероятно) не хочет вспоминать, что мозг оперирует не дедукцией, индукцией, аксиомами, формулами и прочими объектами матлогики и теорий множеств и алгоритмов, а ассоциациями и корелляциями, причём вероятностно и зашумленно. А в таком контексте всякие там теоремы Геделя (которую зачем-то полтекста тут мусолят) абсолютно неприменимы. Нет, автор таки мельком упомянул про вероятности, но быстренько-стыдливенько съехал на непонятно-зачем привлечённые квантовые эффекты (как будто без этого многословия нельзя использовать вполне технарский термин "шум"? ах да, забыл: автор же не технарь... сорри).
С точки зрения данной ...гм... "статьи" даже буриданов осёл (или даже таракан) не может быть реализован, т.к. ему придется зачем-то решать задачи о конечности и полноте собственных алгоритмов. Но кому надо обосновать "невычислимость разума", тот сочиняет такие вот схоластические статьи; а технари-практики, кому нужен результат, - уже давно написали программы, вполне "живенько" моделирующие (сотней нейронов) таракана - такие программы уже лет >30 как существуют и вполне проходят тесты, эквивалентные тесту Тьюринга (на тараканьем уровне, ессно; внешне поведение - "вполне тараканье").
И да, "вирт.сисопы" и прочие "Элизы" - и человеческий тест Тьюринга вполне проходят (ну может на пьяного похожи, отклонения вполне на это списываются).
PS. Хотел написать "Корчмарюку привет", но пожалуй, сам передам. :)
# 14 Дек 2014 20:13:05
Ян Корчмарюк

Надо изучать работы, на которые ссылаешься!

Как автор работы, на которую была дана ссылка в настоящей статье, считаю свои долгом высказать критические замечания по данной статье. Но, сначала, отмечу позитивные моменты. Действительно, вопрос о геделизации сознания - важный вопрос, и достоин научного анализа. Так же я согласен с тем, что в последнее время появилось много работ на данную тему. И, понятно, почему. Если доказать, что существует, якобы, фундаментальный запрет на сеттлеретику, вроде запрета на создания вечного двигателя, то сеттлеретику можно объявить лженаукой, не финансировать ее, и продолжать кормить церковников всех мастей и оттенков. И вот как раз попытки подвести такой, якобы, научный базис, и мотивируют авторов подобных работ. Но в рассуждениях авторов постоянно повторяется одна и та же ошибка. И она связана с тем, что, формально ссылаясь на мои работы, авторы всерьез не изучают приводимую в них аргументацию. Да и саму теорему Геделя не вполне хорошо знают и понимают. Для желающих серьезно изучить проблему привожу в конце комментария список моих публикаций по теме, а так же ссылку на сайт автора, где с ними можно ознакомиться. Итак, в чем ошибаются мои уважаемые оппоненты? В том, что мозг человека, не будучи _вполне_ формальной системой по Геделю, вместе с тем, поддается копированию в искусственное устройство. Каково главное и существенное ограничение теорем Геделя? Согласно тезисам Черча-Тарского-Тьюринга, формальная система эквивалентна логике предикатов первого порядка, или несамоприменимой машине Тьюринга. Поэтому всякая система, которая выходит за рамки области определения этого тезиса, ему не подчиняется. В то же время, такой выход за пределы геделевых ограничений, - не означает запрета на алгоритмизацию вообще. Всякая геделева система алгоритмизуема, но не всякая алгоритмизуемая система - геделева. Я разделяю ту гипотезу на сознание, что оно является т.н. универсальной самоприменимой регидной машиной Тьюринга. Таким образом, сознание, относясь к классу машин Тьюринга, наследует базовые свойства этого класса, то есть и способность к алгоритмизации и самокопированию тоже. Но, при этом, оно не сковано узкими рамками геделевой теоремы, и обладает рефлексией. Процедура геделизации основана на кодировании числами - алфавита машины. А зацикливание - происходит потому, что число, означающее оператор, не отличимо от числа, означающего данное. Но стОит ввести разные форматы для чисел, и это условие неразличимости тут же нарушается. К тому же, самоприменимая машина Тьюринга, - способна сама менять свой алфавит, а значит, прежняя нумерация, приведщая к зацикливанию, перестает работать, и требуется новая нумерация. А новая нумерация к зацикливанию в данном конкретном месте - уже не приведет! Если бы автор внимательно изучал работу, на которую ссылается, то нашел бы в ней ссылку на источник, повествующий о самоприменимых машинах Тьюринга. Специально не привожу здесь точную ссылку, чтобы не лишать автора удовольствия внимательно изучить мои работы. Причем, никаких бесконечностей и квантовых свойств, для такой машины - не требуется. А вот книгу Ж.-П. Лорьер "Системы искусственного интеллекта" - настоятельно рекомендую к изучению, там теоремы Геделя разобраны по косточкам! И показано, какие системы способны выйти за гнделевы ограничения.

Официальный сайт автора: http://www.settleretics.my1.ru/

ЛИТЕРАТУРА.
1. Корчмарюк Я. И., Шаповалов В. И. Фундаментальная наука о причинах глобальных катастроф, и о возможном способе спасения человечества от гибели. // Круглый стол: «Методы глобального прогнозирования»: Тез. докл. / «Глобальное будущее – 2045». Первый Международный футурологический конгресс. – Москва, 17 – 20 февраля, 2012 г. – Москва, 2012.
2. Корчмарюк Я. И. Сеттлеретика, или оцифрованный мозг. (Секц. докл.) // Высокие технологии и фундаментальные исследования. Т. 4: сборник трудов Десятой Международной научно-практической конференции "Исследование, разработка и применение высоких технологий в промышленности" 09 – 11. 12. 2010, Санкт-Петербург, Россия / под ред. А. П. Кудинова. — СПб. : Изд-во Политехн. Ун-та, 2010. — 424 с. С. 31 – 39.
3. Корчмарюк Я. И. Сеттлеретика, как новая креативная концепция, наука и технология, для создания «Нового Человека Седьмого технологического уклада» («НЧ7ТУ»). (Тез. докл.) // Первый Международный инновационный форум «Креативные технологии: перспективы и пути развития». Элиста, 5 – 6 июля 2010 г.
4. Корчмарюк Я. И. О математических методах в сеттлеретике. // Роль науки и образования в современном информационном обществе: сборник научных трудов по мат. межвузовской науч.–практ. конф. 29 апр. 2010 г. Часть 1. Информационное общество: социокультурные аспекты исследования / Под ред. канд. экон. наук, доцента Ш. Н. Гатиятулина, Моск. гуманитар. –экон. ин–т, Волгогр. фил. — Волгоград: ВГЭТК, 2010. — 244 с. С. 16 – 19.
5. Корчмарюк Я. И. Пришло время инвестировать в сеттлеретику. // Современное состояние и тенденции развития гуманитарных и экономических наук: Материалы Второй Международной науч.–практ. конф., 20 ноя. 2009 г. — Волгоград: Волгоградское научное изд–во, 2009 . — 322 с. С. 97 – 103.
6. Корчмарюк Я. И. О создании нанонейроинтерфейса между мозгом и компьютером // Региональная информатика – 2008 (РИ–2008). Одиннадцатая Санкт–Петербургская международная конференция. Санкт–Петербург, 22 – 24 октября 2008 г.: Мат. конф.. — СПб.: ПОИСУ, 2008. С. 243 – 244.
7. Корчмарюк Я. И. Сеттлеpетика: исследовательская пpогpамма. (Тез. докл.) // Четвертая Республиканская электронная науч. конф. «Современные проблемы информатизации» СПИ–99 (Международный университет компьютерных технологий, 15 ноября 1998 г. – 30 апреля 1999 г.). — Воронеж: МУКТ, изд–во ВГПУ, 1999.
8. Корчмарюк Я. И. Сеттлеpетика: пpименение кибеpнетического подхода к анализy фyнкций возбyдимых обpазований (Тез. докл.). // Там же.
9. Коpчмаpюк Я. И. Сеттлеpетика: концепция полyинвазивного метода исследования возбyдимых обpазований (Тез. докл.) // Там же.
10. Коpчмаpюк Я. И. Сеттлеpетика: моделиpование кабельных свойств возбyдимых обpазований (Тез. докл.). // Там же.
11. Корчмарюк Я. И. Переселенцы – 2. К вопросу о пересадке сознания. // «Химия и Жизнь», 1999, №№ 5 – 6. С. 20 – 21.
12. Корчмарюк Я. И. Исследовательская программа сеттлеретики (Секц. докл.) // Пятая Всеросс. конф. «Нейрокомпьютеры и их применение» НКП–99 (Научный Центр Нейрокомпьютеров, 17 – 19 февраля 1999 г.) — Москва: НЦН, 1999.
13. Корчмарюк Я. И. Сеттлеретика — новая междисциплинарная наука о «переселении личности». (Тез. докл.) // IY Всеросс. конф. «Нейрокомпьютеры и их применение» НКП – 98, 18 – 20 фев. 1998 г. / Мин. эконом. РФ. — М.: НЦН, 1998.
14. Корчмарюк Я. И. Сеттлеретика о новом товаре XXI века — «искусственной психике» (Секц. докл.) // Международная конференция «Цивилизованный бизнес как фактор устойчивого развития России» (Неправительственный экологический фонд им. В. И. Вернадского, 27 – 28 октября 1998 г.) — М.: НЭФ им. В. И. Вернадского, 1998.
15. Корчмарюк Я. И. Сеттлеретика — новая междисциплинарная наука о «переселении» личности? // Новые информационные технологии. Матер. науч.–практ. семин. НИТ – 98. Моск. гос. ин–т электроники и математики, фев. 1998 г. / МГИЭМ. — М.: МГИЭИМ, 1998. С. 130 – 149. (Зарубежный эквивалент — «uploading», или «загрузка»)
16. Корчмарюк Я. И. О создании самоорганизующейся и самовоспроизводящейся микросхемы средствами нанотехнологии. (Тез. докл.) // Четвертая Международная конференция «Развитие и применение открытых систем» РАПРОС – 97 (Совет по автоматизации научных исследований РАН 27 – 31 октября 1997 г.) — Нижний Новгород: МЦ НТИ, 1997. С. 73 – 74.
17. Корчмарюк Я. И. Сеттлеретика. (Секц. докл.) // Международный симпозиум «Стратегия развития России в третьем тысячелетии» (Неправительственный экологический фонд им. В. И. Вернадского, 20 – 21 октября 1997 г.) — Дубна: НЭФ им. В.И.Вернадского, 1997.
18. Корчмарюк Я. И. Анализ некоторых тенденций эволюции взглядов на «инвариантность информации относительно носителя» по литературным источникам. (Тез. докл.) // Первая Республиканская электронная научная конференция «Современные проблемы информатизации» СПИ–96 (Международный университет компьютерных технологий, 15 мая – 15 сентября 1996 г.). — Воронеж: МУКТ, изд–во ВГПУ, 1996. С. 75.

Болгария, София, Софийский ун-т,
ф-т математики и информатики,
каф. искусственного интеллекта.
14 декабря 2014 г.
# 15 Дек 2014 00:10:35
Ян Корчмарюк

Г-н Иванов доказал, что невозможно существование г-на Иванова! ;)

Согласно логике г-на Иванова, невозможно существование г-на Иванова! Потому что г-н Иванов появился на свет вследствие копирования молекулы ДНК. Но такое копирование невозможно, если аппарат репликации работает, как геделева формальная система. Более того, невозможно вообще всякое копирование структуры и функции во Вселенной. Даже идеальная машина Тьюринга не способна сделать один-единственный шаг! Потому что для этого необходимо скопировать символ из алфавита на ленту. А это, по логике г-на Иванова, строжайше запрещено геделевой теоремой! ;) Впрочем, во времена, когда появилась Вселенная, Солнечная система, планета Земля, жизнь на Земле, и разум на Земле, еще не родились ни г-н Гедель, ни г-н Иванов. Несчастная мать-природа не знала, что невозможно сделать то, что сделала она... ;)
Только зарегистрированные пользователи могут создавать сообщения.
Вход, Регистрация.