Файл: Пеноуз Роджер. Тени разума. В поисках науки о сознании.doc
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.06.2024
Просмотров: 722
Скачиваний: 0
СОДЕРЖАНИЕ
1.2. Спасут ли роботы этот безумный мир?
1.3. Вычисление и сознательное мышление
1.5. Вычисление: нисходящие и восходящие процедуры
1.6. Противоречит ли точка зрения в тезису Черча—Тьюринга?
1.9. Невычислительные процессы
1.11. Обладают ли компьютеры правами и несут ли ответственность?
1.12. «Осознание», «понимание», «сознание», «интеллект»
1.13. Доказательство Джона Серла
1.14. Некоторые проблемы вычислительной модели
1.15. Свидетельствуют ли ограниченные возможности сегодняшнего ии в пользу ?
1.16. Доказательство на основании теоремы Гёделя
1.17. Платонизм или мистицизм?
1.18. Почему именно математическое понимание?
1.19. Какое отношение имеет теорема Гёделя к «бытовым» действиям?
1.20. Мысленная визуализация и виртуальная реальность
1.21. Является ли невычислимым математическое воображение?
2.1. Теорема Гёделя и машины Тьюринга
2.3. Незавершающиеся вычисления
2.4. Как убедиться в невозможности завершить вычисление?
2.5. Семейства вычислений; следствие Гёделя — Тьюринга
2.6. Возможные формальные возражения против
2.7. Некоторые более глубокие математические соображения
2.8. Условие -непротиворечивости
2.9. Формальные системы и алгоритмическое доказательство
2.10. Возможные формальные возражения против (продолжение)
Приложение а: геделизирующая машина тьюринга в явном виде
3 О невычислимости в математическом мышлении
Даже если мы не считаем возможным рассматривать вселенную всего лишь как компьютер, к точке зрения нас могут подтолкнуть более практические, операционные соображения.
Предположим, что перед нами управляемый компьютером робот, который отвечает на вопросы так же, как это делал бы человек. Мы спрашиваем его, как он себя чувствует, и обнаруживаем, что его ответы полностью соответствуют нашим представлениям об ответах на подобные вопросы разумного существа, действительно обладающего чувствами. Он говорит нам, что способен к осознанию, что ему весело или грустно, что он воспринимает красный цвет и что его волнуют вопросы «разума» и «собственного я». Он может даже выразить озадаченность тем, следует ли ему допустить, что и других существ (в частности, людей) нужно рассматривать как обладающих сознанием, сходным с тем, на обладание которым претендует он сам. Что помешает нам поверить его утверждениям о том, что он ощущает, любопытствует, радуется, испытывает боль, особенно если учесть, что о других людях мы знаем ничуть не больше и все же считаем их обладающими сознанием? Мне кажется, что операционный аргумент все же обладает значительной силой, хотя его и нельзя считать решающим. Если все внешние проявления сознательного разума, включая ответы на непрекращающиеся вопросы, действительно могут быть полностью воспроизведены системой, управляемой исключительно вычислительными алгоритмами, то мы имеем полное право допустить, что в рамках рассматриваемой ситуации такая модель должна содержать и все внутренние проявления разума (включая собственно сознание).
Принимая или отвергая такой вывод из вышеприведенного рассуждения, которое в основе своей составляет суть так называемого теста Тьюринга, мы тем самым определяем свою принадлежность к тому или иному лагерю — именно здесь проходит граница между позициями .Согласно , любого управляемого компьютером робота, который после достаточно большого количества заданных ему вопросов ведет себя так, словно он обладает сознанием, следует фактически считать обладающим сознанием. Согласно , робот вполне может вести себя точно так же, как обладающий сознанием человек, при этом реально не имея и малой доли этого внутреннего качества. И сходятся в том, что управляемый компьютером робот может вести себя так, как ведет себя обладающий сознанием человек, же, напротив, не допускает и малейшей возможности того, что когда-либо может быть реализована эффективная модель обладающего сознанием человека в виде управляемого компьютером робота. Таким образом, согласно , после некоторого достаточно большого количества вопросов реальное отсутствие сознания у робота так или иначе проявится. Вообще говоря, является в гораздо большей степени операционной точкой зрения, нежели , и в этом отношении она больше похожа на , чем на Так что же представляет собой позиция ? Я думаю, что — это, вероятно, именно та точка зрения, которую многие полагают «научным здравым смыслом». Описываемый ею искусственный интеллект еще называют слабым (или мягким) ИИ. Подобно , она утверждает, что все физические объекты этого мира должны вести себя в соответствии с некоторыми научными принципами, которые, в принципе, допускают создание вычислительной модели этих объектов. С другой стороны, эта точка зрения уверенно отрицает мнение операционистов, согласно которому любой объект, внешне проявляющий себя как сознательное существо, непременно обладает сознанием. Как отмечает философ Джон Серл, вычислительную модель физического процесса никоим образом не следует отождествлять с самим процессом, происходящим в действительности. (Компьютерная модель, например, урагана — это совсем не то же самое, что и реальный ураган!) Согласно взгляду , наличие или отсутствие сознания очень сильно зависит от того, какой именно физический объект «осуществляет мышление» и какие физические действия он при этом совершает. И только потом следует рассмотреть конкретные вычисления, которых требуют эти действия. Таким образом, активность биологического мозга может вызвать осознание, а вот его точная электронная модель вполне может оказаться на это неспособной. Это различие, по , совсем не обязательно должно оказаться различием между биологией и физикой. Однако крайне важным остается реальноематериальное строение рассматриваемого объекта (скажем, мозга), а не просто его вычислительная активность.
Позиция , на мой взгляд, ближе всех к истине. Она подразумевает более операционный подход, нежели , так как утверждает, что существуют такие внешние проявления обладающих сознанием объектов (скажем, мозга), которые отличаются от внешних проявлений компьютера: внешние проявления сознания невозможно должным образом воспроизвести вычислительными методами. Свои основания для такой убежденности я приведу несколько позже. Поскольку , как и , не отвергает позиции физикалистов, согласно которой разум возникает в результате проявления активности тех или иных физических объектов (например, мозга, хотя это и не обязательно), следовательно, подразумевает, что не всякую физическую активность можно должным образом смоделировать вычислительными методами.
Допускает ли современная физика возможность существования процессов, которые принципиально невозможно смоделировать на компьютере? Если мы надеемся получить на этот вопрос математически строгий ответ, то нас ждет разочарование. По крайней мере, лично мне такой ответ неизвестен. Вообще, с математической точностью здесь дело обстоит несколько запутаннее, чем хотелось бы). Однако сам я убежден в том, что подобные невычислимые процессы следует искать за пределами тех областей физики, которые описываются известными на настоящий момент физическими законами. Далее в этой книге я вновь перечислю некоторые весьма серьезные — причем именно физические — доводы в пользу того, что мы действительно нуждаемся в новом взгляде на ту область, которая лежит между уровнем микроскопических величин, где господствуют квантовые законы, и уровнем «обычных» размеров, подвластным классической физике. Хотя, надо сказать, далеко не все современные физики единодушно уверены в необходимости подобной новой физической теории.
Таким образом, существуют, как минимум, две различные точки зрения, которые можно отнести к категории . Одни сторонники утверждают, что наше современное физическое понимание абсолютно адекватно, следует лишь обратить в рамках традиционной теории более пристальное внимание на некоторые тонкие типы поведения, которые вполне могут вывести нас за пределы того, что целиком и полностью объяснимо с помощью вычислений (некоторые из таких типов мы рассмотрим ниже — например, хаотическое поведение (§ 1.7), некоторые тонкости непрерывного действия в противоположность дискретному (§ 1.8), квантовая случайность). Другие же, напротив, полагают, что современная физика, в сущности, не располагает должными средствами для реализации невычислимости требуемого типа. Далее я представлю некоторые веские, на мой взгляд, доводы в пользу принятия позиции именно в этом, более строгом, ее варианте, который предполагает создание фундаментально новой физики.
Кое-кто попытался было объявить, что эти соображения отправляют меня прямиком в лагерь сторонников точки зрения , поскольку я утверждаю, что для отыскания хоть какого-то объяснения феномену сознания нам придется выйти за пределы известной науки. Однако между упомянутым строгим вариантом и точкой зрения есть существенная разница, в частности, на уровне методологии. В соответствии с , проблема осмысленного осознания носит, в сущности, научный характер, даже если подходящей наукой мы пока что не располагаем. Я всецело поддерживаю эту точку зрения; я полагаю, что ответы на интересующие нас вопросы нам следует искать именно с помощью научных методов — разумеется, должным образом усовершенствованных, пусть даже о конкретной природе необходимых изменений мы, возможно, имеем на данный момент лишь самое смутное представление. В этом и состоит ключевая разница между , насколько бы похожими не казались нам соответствующие мнения относительно того, на что способна современная наука.
Определенные выше точки зрения представляют собою крайности, или полярные точки возможных позиций, которых может придерживаться тот или иной индивидуум. Я вполне допускаю, что кому-то может показаться, что их собственные взгляды не подходят ни под одну из перечисленных категорий, а лежат где-то между ними либо противоречат некоторым из них. Безусловно, между такими, например, крайними точками зрения, как , можно разместить множество различных промежуточных точек зрения (см. [343]). Существует даже мнение (весьма, кстати, широко распространенное), которое лучше всего определяется как комбинация (или, быть может, и ), — предусматриваемая им возможность еще сыграет немаловажную роль в наших дальнейших размышлениях. Согласно этому мнению, мозг действительно работает как компьютер, однако компьютер настолько невообразимой сложности, что его имитация не под силу человеческому и научному разумению, ибо он, несомненно, является божественным творением Господа — «лучшего в мире системотехника», не иначе!
1.4. Физикализм и ментализм
Я должен сделать здесь краткое отступление касательно использования терминов «физикалист» и «менталист», обычно противопоставляемых один другому, в нашей конкретной ситуации, т. е. в отношении крайних точек зрения, обозначенных нами через .Поскольку являет собой полное отрицание физикализма, сторонников безусловно следует считать менталистами. Однако мне не совсем ясно, где провести границу между физикализмом и ментализмом в случае с тремя другими позициями Я полагаю, что приверженцев следует обыкновенно считать физикалистами, и я уверен, что подавляющее их большинство согласилось бы со мной. Однако здесь скрывается некий парадокс. В соответствии с ,материальное строение мыслящего устройства считается несущественным. Все его мыслительные атрибуты определяются лишь вычислениями, которые это устройство выполняет. Сами по себе вычисления суть феномены абстрактной математики, не связанные с конкретными материальными телами. Таким образом, согласно , сами мыслительные атрибуты не имеют жесткой связи с физическими объектами, а потому термин «физикалист» может показаться несколько неуместным. Точки зрения , напротив, требуют, чтобы при определении наличия в том или ином объекте подлинного разума решающую роль играло реальное физическое строение рассматриваемого объекта. Соответственно, вполне можно было бы утверждать, что именно эти точки зрения, а никак не , представляют возможные позиции физикалистов. Однако такая терминология, по-видимому, вошла бы в некоторое противоречие с общепринятым употреблением, где более уместным считается называть «менталистами» сторонников , поскольку в этих случаях свойства мышления рассматриваются как нечто «реальное», а не просто как «эпифеномены», которые случайным образом возникают при выполнении определенных типов вычислений. Ввиду такой путаницы, я буду избегать использования терминов «физикалист» и «менталист» в последующих рассуждениях, ссылаясь вместо этого на конкретные точки зрения , определенные выше.