Книга: Новый ум короля: О компьютерах, мышлении и законах физики

Соприкосновение с миром Платона

Соприкосновение с миром Платона

Я уже упоминал о том, что разные люди скорее всего мыслят по-разному — и даже у разных математиков мысли при решении математической задачи формируются не одинаково. Я вспоминаю, что, поступая на математический факультет университета, я ожидал, что мои будущие коллеги-математики должны думать примерно так же, как я. В школе мои одноклассники, казалось, думали совсем иначе, чем я, что меня несколько удручало. «Теперь, — думал я с восторгом, — я найду коллег, с которыми общаться мне будет гораздо легче! Некоторые будут мыслить более продуктивно, чем я, а некоторые — менее; но все они смогут настроиться на мою ментальную длину волны!» Как же я заблуждался! Думаю, что тогда я познакомился с гораздо бо?льшим числом различных способов мышления, чем за все предыдущее время! Да, мой собственный образ мыслей был куда более геометрическим и далеко не столь аналитическим по сравнению с остальными — но у них было и множество других различий в способе мышления. У меня всегда вызывало затруднение понимание словесного описания формулы, в то время как у многих из моих коллег, казалось, с этим не возникало никаких трудностей.

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

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

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

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

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

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

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

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

Оглавление книги