Страница 4 из 18
Если двинуться в обратном направлении, от математики в сторону гуманитарных наук, мы попадем в область вычислительной лингвистики, которая изначально привлекала исключительно специалистов по информатике, а сейчас превратилась в пространство междисциплинарных исследований, где совместно трудятся лингвисты, психологи-когнитивисты, логики и разработчики искусственного интеллекта, исследующие тонкости естественного развития языков.
Неужели это какой-то хитроумный розыгрыш – ведь все попытки человека что-то понять, в чем-то разобраться приводят в конце концов к открытию все новых отраслей математики, по законам которой, как видно, создана и сама Вселенная, и мы, ее сложные творения? Неужели математика, как любят говорить педагоги, – спрятанный учебник, тот, по которому учится преподаватель, сообщая ученикам неполную версию, чтобы казаться умнее? Или, если обратиться к библейской метафоре, математика – это и есть плод древа познания?
Как я уже отмечал в начале этой главы, непостижимая эффективность математики задает множество интереснейших загадок. Можно ли считать, что математика существует независимо от человеческого разума? Иначе говоря, можно ли считать, что мы просто открываем математические истины, как астрономы открывают неизвестные ранее галактики? Или математика – всего лишь изобретение человека? Если математика и правда существует в какой-то абстрактной стране чудес, как этот волшебный мир соотносится с физической реальностью? Каким образом человеческий мозг со всеми его ограничениями, о которых нам прекрасно известно, находит путь в этот незыблемый мир вне времени и пространства? С другой стороны, если математика не более чем человеческое изобретение и вне нашего разума не существует, как объяснить тот факт, что изобретение огромного количества математических истин по какому-то волшебству надолго опередило вопросы об устройстве Вселенной и человеческой жизни, которые возникли лишь много веков спустя? Ответить на эти вопросы непросто. Не раз и не два на страницах этой книги вы увидите, насколько разные ответы дают на них даже современные математики, психологи-когнитивисты и философы. В 1989 году французский математик Ален Конн, удостоенный двух самых престижных премий по математике – Филдсовской медали (1982) и премии Крафорда (2001), высказался вполне ясно и недвусмысленно (Changeux and Co
Возьмем, к примеру, простые числа (то есть те, которые делятся только сами на себя и на единицу. – М. Л.), – насколько я могу судить, они составляют куда более стабильную реальность, чем та материальная реальность, которая нас окружает. Математика, который трудится над своей задачей, можно уподобить естествоиспытателю, который изучает неведомый мир. Основные факты обычно выводят из опыта. Например, если проделывать несложные вычисления, становится понятно, что последовательность простых чисел продолжается бесконечно. Значит, задача математика – доказать, что существует бесконечно много простых чисел. Это, разумеется, очень старый результат, мы обязаны им еще Евклиду. Среди самых интересных следствий из этого доказательства – если когда-нибудь кто-нибудь заявит, будто нашел самое большое простое число, будет легко показать, что он заблуждается. Это справедливо для любого доказательства. То есть мы сталкиваемся с реальностью, которая в точности так же неопровержима, как и реальность физическая.
Мартин Гарднер, знаменитый писатель, автор множества книг и статей о развлекательной математике, тоже придерживается того мнения, что математика – это открытие. Он ничуть не сомневается, что числа и математика существуют сами по себе и неважно, знают ли о них люди. Как-то раз он остроумно подметил: «Если два динозавра повстречали на полянке двух других динозавров, всего их было четыре, даже если поблизости не было людей и некому было это пронаблюдать, а сами зверюги по глупости об этом не догадывались» (Gardner 2003). Как подчеркивал Конн, сторонники точки зрения «математика-открытие» (что, как мы вскоре убедимся, соответствует взглядам Платона) указывают, что как только удается усвоить какое-то одно математическое понятие, скажем, понятие натуральных чисел 1, 2, 3, 4…, как мы натыкаемся на неопровержимые факты вроде 32 + 42 = 52, и при этом не играет никакой роли, что мы думаем об этих соотношениях. Это, по крайней мере, оставляет впечатление, что мы сталкиваемся с некоей существующей реальностью.
Но с этим согласны не все. Когда английский математик сэр Майкл Атья, получивший Филдсовскую медаль в 1966 году и Абелевскую премию в 2004 году, писал рецензию на книгу, в которой Конн излагал свои идеи, то заметил следующее (Atiyah 1995).
Любой математик не может не сочувствовать Конну. Все мы интуитивно чувствуем, что целые числа или, скажем, окружности и в самом деле существуют в некоем абстрактном смысле и платоновское мировоззрение (о нем мы подробно поговорим в главе 2. – М. Л.) необычайно соблазнительно. Однако как его отстоять? Трудно представить себе, чтобы во Вселенной возникла и развилась геометрия, будь Вселенная одномерной или даже дискретной. Может показаться, что с целыми числами мы чувствуем себя увереннее и что счет – это и в самом деле нечто существующее изначально. Однако представим себе, что разумом наделено не человечество, а какая-нибудь огромная одинокая медуза в глубинах Тихого океана. Все ее сенсорные данные определялись бы движением, температурой и давлением. Поскольку все это – чистейший континуум, в такой обстановке не может появиться ничего дискретного, и медузе нечего было бы считать.
Поэтому Атья считает, что «человек создал (курсив мой. – М. Л.) математику посредством идеализации и абстрагирования элементов физического мира». Той же точки зрения придерживаются и ингвист Джордж Лакофф и психолог Рафаэль Нуньес. В своей книге «Откуда взялась математика» («Where Mathematics Comes From») они приходят к такому выводу: «Математика – естественная составляющая человеческого бытия. Она возникает из нашего тела, нашего мозга, нашего повседневного опыта взаимодействия с миром» (Lakoff and Núñez 2000).
Точка зрения Атья, Лакоффа и Нуньеса затрагивает еще один интересный вопрос. Если математика – это целиком и полностью человеческое изобретение, универсальна ли она? Иначе говоря, если существуют внеземные цивилизации, будет ли их математика такой же, как наша? Карл Саган (1934–1996) полагал, что ответ на последний вопрос утвердительный. В своей книге «Космос» Саган, в частности, размышлял о том, какого рода сигналы передавала бы в космос разумная цивилизация, и писал: «Крайне маловероятно, чтобы какой-нибудь естественный физический процесс генерировал радиосообщение, содержащее только простые числа. Получив подобное сообщение, мы можем заключить, что где-то есть цивилизация, которая любит простые числа (пер. А. Сергеева)». Но можно ли утверждать это с уверенностью? Недавно физик и математик Стивен Вольфрам в своей книге «Наука нового типа» («A New Kind of Science») утверждал, что так называемая «наша математика», вероятно, соответствует лишь одному из богатейшего ассортимента «вкусов» математики (Wolfram 2002). Например, вместо того, чтобы описывать природу при помощи законов, выраженных в виде математических уравнений, мы могли бы пользоваться законами иного типа, воплощенными в виде простых компьютерных программ. Более того, некоторые космологи в последнее время стали обсуждать гипотезу, согласно которой наша Вселенная – всего лишь составная часть множественной Вселенной или мультиверса, огромного ансамбля вселенных. Если множественная Вселенная и вправду существует, вправе ли мы ожидать, что в других вселенных будет такая же математика?
Специалисты по молекулярной биологии и психологии познания предлагают совершенно иную точку зрения, основанную на изучении свойств и способностей мозга. По представлениям некоторых ученых, математика – это нечто вроде языка. Иными словами, согласно «когнитивному сценарию», после того как человечество сотни тысяч лет таращилось на свои две руки, две ноги и два глаза, появилось абстрактное определение числа 2 – примерно так же, как возникло слово «птица», обозначающее множество двукрылых теплокровных пернатых существ, умеющих летать. По словам французского нейрофизиолога Жан-Пьера Шанжё: «С моей точки зрения, аксиоматический метод (применяющийся, например, в евклидовой геометрии. – М. Л.) – выражение способностей головного мозга, связанное с его использованием. Ведь основная характеристика языка – это именно его генеративный характер (Changeux and Co