Новый ум короля: О компьютерах, мышлении и законах физики - Роджер Пенроуз

Для меня часто является загадкой, как вообще возможно подобное общение, но теперь я все же осмелюсь дать некоторое объяснение, которое, как мне кажется, могло бы иметь самое непосредственное отношение к уже затронутым ранее вопросам. Суть здесь заключается в том, что при общении математиков происходит не только обмен фактами. Чтобы состоялась передача ряда фактов от одного собеседника другому, первому из них необходимо излагать эти факты достаточно понятно, а второму — воспринять каждый из них в отдельности. Но в математике фактическое содержание играет второстепенную роль. Математические утверждения являются с необходимостью истинными (или же с необходимостью ложными!), и даже если первый математик своим утверждением только нащупывает искомую истину, то именно эту истину воспримет его собеседник (конечно, если исходное утверждение будет им правильно понято). Ментальные конструкции второго математика могут в деталях отличаться от тех образов, которые возникают у первого, равно как могут отличаться и их словесные описания — но соответствующая математическая идея в результате все-таки будет передана.

Такой тип общения был бы совершенно невозможен, если бы не то обстоятельство, что интересные или глубокие математические истины растворены (с небольшой плотностью) в массе всех возможных математических истин. Если бы передаваемая истина заключала в себе, скажем, неинтересное утверждение наподобие 4897 х 512 = 2 507 264, то второму собеседнику, естественно, придется полностью понять первого, иначе это точное утверждение не сможет быть передано. Но при сообщении математически интересного утверждения часто удается понять его интуитивно, даже если для его описания использовались расплывчатые образы и понятия.

Это может показаться парадоксальным, поскольку математика — это предмет, где точность всегда ставится превыше всего. В самом деле, в письменных отчетах большое внимание уделяется точной формулировке и завершенности всех утверждений. Однако, чтобы передать математическую идею (обычно посредством словесного описания), такая точность иной раз является помехой, так что вначале может потребоваться менее четкая описательная форма. А как только будет понята самая суть идеи — тогда можно уже переходить и к деталям.

Как же получается, что математические идеи могут передаваться подобным образом? Лично мне представляется, что всякий раз, когда ум постигает математическую идею, он вступает в контакт с миром математических понятий Платона. (Вспомним, что, по Платону, математические идеи имеют собственное бытие и населяют некий идеальный мир, доступ в который осуществляется только благодаря работе интеллекта (см. гл.3 «Платоническая реальность математических понятий?», гл.5 «Евклидова геометрия»).)

Когда человек «видит» математическую истину, его сознание пробивается в этот мир идей и устанавливает с ним кратковременный прямой контакт (т. е. осуществляет «доступ посредством интеллекта»), Я описал это «ви́дение» в связи с теоремой Геделя, хотя, вообще говоря, здесь заключена сущность математического понимания. Общение математиков становится возможным постольку, поскольку у каждого из них в этот момент есть прямой путь к истине, а сознание каждого способно при этом постигать математические истины непосредственно, путем «ви́дения». (В самом деле, часто акт понимания сопровождается словами типа «О, я вижу!»[220]).) Так как каждый математик может установить непосредственный контакт с миром идей Платона, то общение их друг с другом проходит значительно легче, чем это можно было бы ожидать. Ментальные образы, возникающие у каждого из них, когда осуществляется соприкасание с миром Платона, могут быть существенно различными, но общение тем не менее возможно, поскольку каждый находится в прямом контакте с одним и тем же существующим вне нас миром Платона!

В соответствии с этой точкой зрения, наш ум всегда способен на подобный прямой контакт. Но за один раз можно продвинуться лишь на немного. Математическое открытие как раз и состоит в расширении области контакта. Поскольку математические истины являются с необходимостью истинами, никакой содержательной «информации» в общепринятом смысле этого слова исследователь не получает. Вся информация уже находилась там изначально. Все, что требовалось — это соединить разные части друг с другом и «увидеть» ответ! Это очень хорошо согласуется с представлениями самого Платона о том, что (скажем, математическое) открытие — это всего лишь одна из форм воспоминания! В самом деле, меня часто поражало сходство между двумя состояниями, когда ты мучительно стараешься вспомнить чье-то имя — и когда пытаешься найти адекватное математическое понятие. В обоих случаях искомое в некотором смысле уже присутствует в голове, хотя во втором случае «вспоминание» математической идеи связано с необычной формой вербализации.

Чтобы такие идеи были полезны для объяснения принципов математического общения, нужно представить себе, что интересные и глубокие математические идеи отличаются способностью к более «основательному» существованию, чем неинтересные или тривиальные. Эти соображения пригодятся нам при рассмотрении ряда умозрительных заключений, приведенных в следующем разделе.

Взгляд на физическую реальность

Любой подход к вопросу о возникновении сознания в царстве физической реальности неявно подразумевает необходимость определения природы самой физической реальности.

Концепция «сильного» ИИ, например, заключается в том, что «разум» возникает через воплощение достаточно сложного алгоритма, по мере того как этот алгоритм реализуется различными объектами физического мира. При этом, сущность этих объектов, согласно данной теории, значения не имеет. Нервные сигналы, электрический ток, идущий по проводам, винтики, приводные ремни или водопроводные трубы — все это одинаково подходит в качестве «аппаратной части». Алгоритм рассматривается как нечто самодостаточное. Однако, для предоставления алгоритму возможности «существовать» вне зависимости от любой физической реализации совершенно необходимо разделять воззрения Платона на природу математики. Сторонникам «сильного» ИИ было бы нелегко согласиться с альтернативной точкой зрения о том, что «математические понятия существуют только лишь в умах», поскольку при этом образуется замкнутый круг, где для возникновения умов требуется наличие алгоритмов, а для изначального существования алгоритмов — наличие умов! Они могли бы попытаться придерживаться иного мнения, согласно которому алгоритмы могут существовать как знаки на листе бумаги, или как магнитные силовые линии в кусках железа, или как смещения зарядов в памяти компьютера. Но такое упорядочение материала само по себе не есть алгоритм. Чтобы стать алгоритмом, оно должно иметь интерпретацию, т. е. должна существовать возможность декодирования этого порядка; а это будет зависеть от «языка», на котором написан алгоритм. Снова оказывается, что нужен заранее существующий разум, чтобы «понимать» этот язык, и мы возвращаемся к исходной точке. Предположив затем, что алгоритмы населяют мир Платона, и именно там обитает разум (согласно теории «сильного» ИИ), мы оказываемся перед вопросом отношения между физическим миром и миром Платона. Что, на мой взгляд, является в теории «сильного» ИИ аналогом проблемы «ум — тело»!

Я же придерживаюсь иной точки зрения, поскольку считаю, что (сознательный) ум существенно неалгоритмичен. Но меня несколько смущает то, что между взглядами сторонников «сильного» ИИ и моими собственными существует большое число точек соприкосновения. Я уже указывал, что считаю сознание тесно связанным со способностью воспринимать несомненные истины, и тем самым осуществлять прямой контакт с миром математических понятий Платона. Это неалгоритмическая процедура — и отнюдь не алгоритмы должны населять тот мир, который так важен для нас — и вновь проблема «ум — тело», если следовать этой точке зрения, оказывается тесно связанной с вопросом об отношении мира Платона к «реальному» миру существующих физических объектов.

В главах 5 и 6 мы видели, насколько хорошо реальный физический мир согласуется с некоторыми исключительно точными математическими теориями (ПРЕВОСХОДНЫЕ теории, см. гл.5 «Состояние физической теории»). И эта поразительная точность неоднократно подчеркивалась многими исследователями (см., в частности, Вигнер [I960]). Мне трудно поверить — хотя многие считают это неоспоримым — в справедливость утверждения о том, что ПРЕВОСХОДНЫЕ теории могли возникнуть просто в результате случайного естественного отбора идей, при котором «выживают» только лучшие. В это трудно поверить потому, что уж слишком они хороши для того, чтобы оказаться среди идей, возникших случайным образом. На самом деле должна быть какая-то фундаментальная взаимосвязь между математикой и физикой, т. е. между миром Платона и физическим миром.