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

Пенроуз Роджер

Здесь угадывается определенное сходство с философской концепцией Платона (изложенной примерно в 360 году до н. э. — почти за пятьдесят лет до появления НачалЕвклида — знаменитого сочинения по геометрии). С точки зрения Платона объекты чистой геометрии — прямые, окружности, треугольники, плоскости и т. п. — могут быть лишь приблизительно реализованы в реальном мире физических вещей. Эти математически точные объекты чистой геометрии обитают в другом мире — платоновском идеальном мирематематических понятий. Платоновский мир состоит не из осязаемых вещей, а из «математических объектов». Этот мир доступен нашему восприятию не обычным физическим путем, а посредством интеллекта. Человеческий разум контактирует с миром Платона всякий раз, когда открывает математическую истину, постигая ее с помощью математических рассуждений и интуитивных догадок. Идеальный мир Платона рассматривался как отличный от нашего материального мира — более совершенный, но при этом столь же реальный. (Вспомним сказанное в главах 3 и 4, с. 89, 101 о платоновской реальности математических понятий.) Таким образом, хотя идеальные объекты чистой евклидовой геометрии можно исследовать с помощью мысли, логически выводя при этом их свойства — отсюда вовсе не следует, что для «несовершенного» физического мира, воспринимаемого нашими органами чувств, неукоснительное следование этому идеалу является необходимостью.

Располагая в свое время достаточно скудными данными, Платон, по-видимому благодаря какому-то чудесному озарению, смог предугадать, что, с одной стороны, математику следует изучать и понимать ради самой математики, и что нельзя требовать полного и точного соответствия математических объектов объектам физического опыта; а с другой — что функционирование реального внешнего мира в конечном счете может быть понято только в терминах точной математики, т. е. в терминах платоновского идеального мира, «доступного через интеллект»!

Платоном в Афинах была основана Академия, в задачи которой входило дальнейшее развития таких идей. Среди элиты, выросшей из числа членов этой Академии, был и необычайно влиятельный и знаменитый философ Аристотель. Но здесь нас будет интересовать другой человек, принадлежащий к платоновской Академии — математик и астроном Евдокс, несколько менее известный, чем Аристотель, но, по моему глубокому убеждению, гораздо более проницательный ученый, один из величайших мыслителей античности.

В евклидовой геометрии есть одна очень важная и тонкая составляющая, которая, на самом деле, является очень существенной и которую сегодня мы вряд ли вообще отнесли бы к геометрии! (Математики охотнее назвали бы это «анализом», чем «геометрией».) Речь идет о введении действительных чисел. Евклидова геометрия использует длины и углы. Чтобы иметь возможность использовать такую геометрию, нам необходимо понимать, какого рода «числа» нужны для описания этих самых длин и углов. И здесь новая идея была предложена Евдоксом (ок. 408–335 гг. до н. э.) в IV веке до н. э. [104] ) Греческая геометрия переживала «кризис» из-за открытия пифагорейцами таких чисел, как 2 (последнее необходимо для того, чтобы выразить длину диагонали квадрата через длины его сторон), не представимых в виде дроби, т. е. отношения двух целых чисел. Для древних греков было важно иметь возможность формулировать их геометрические меры (отношения) в терминах (отношений) целых чисел, чтобы оперировать геометрическими величинами в соответствии с правилам арифметики. В основном, идея Евдокса заключалась в том, чтобы дать метод описания отношений длин (т. е. действительных чисел!) в терминах целых чисел. Евдоксу удалось сформулировать в рамках операций над целыми числами такие критерии, которые позволяли решать, является ли одно из отношений длин больше другого или их можно считать в точности равными.

104

Евдокс был также создателем ПОЛЕЗНОЙ теории движения планет, просуществовавшей 2000 лет, развитой позднее Гиппархом и Птолемеем и потому впоследствии получившей название птолемеевой системы!

В общих чертах идея Евдокса сводится к следующему: если a , b , c и d — четыре длины, то критерием, позволяющим утверждать, что отношение а/b большеотношения c/d , будет существование таких целых чисел М и N , что длина а , сложенная сама с собой N раз, больше длины b , сложенной сама с собой М раз, — тогда как длина d , сложенная сама с собой М раз, больше длины с , прибавленной к самой себе N раз [105] ). Соответствующий критерий можно аналогичным образом использовать для установления противоположного неравенства а/b < c/d . А искомый критерий равенства а/b = c/d просто отвечает случаю, когда ни один из двух критериев ( а/b > c/d и а/b < c/d ) не может быть выполнен!

105

В современных обозначениях это утверждение означает, что существует дробь, а именно M/N , такая, что а/b > M/N > c/d . Такая дробь, лежащая между действительными числами а/b и c/d при условии, что а/b > c/d , может быть найдена всегда, поэтому критерий Евдокса действительно выполняется.

Совершенно точная абстрактная математическая теория действительных чисел была построена только в XIX веке такими математиками, как Дедекинд и Вейерштрасс. Но в действительности, предложенная ими процедура опиралась на те же идеи, которые были открыты Евдоксом примерно двадцатью двумя столетиями раньше! Сейчас нам не обязательно заниматься подробным изучением этой современной теории. Я кратко коснулся ее основных моментов в главе 3 (подглава «Действительные числа»), где для большей наглядности изложения предпочел использовать более привычное десятичное разложение действительных чисел. (В действительности, десятичное разложение была введено Стевином в 1585 году.) Следует также заметить, что хорошо знакомая нам десятичная запись была неизвестна древним грекам.

Однако, между теориями, предложенными Евдоксом с одной стороны, и Дедекиндом и Вейерштрассом — с другой, существует важное различие. Древние греки рассматривали действительные числа как изначально данные— в терминах (отношений) геометрических величин — т. е. как свойства «реального» пространства. Древним грекам было необходимо иметь возможность описывать геометрические величины арифметически, чтобы затем

в рамках законов и правил арифметики проводить строгие рассуждения над этими геометрическими величинам, а также их суммами и произведениями — существенными составляющими столь многих замечательных геометрических теорем древних. (На рис. 5.3 в качестве иллюстрации приведена знаменитая теорема Птолемея, хотя Птолемей открыл ее гораздо позже эпохи, в которую жил Евдокс. Теорема Птолемея устанавливает соотношение, которому удовлетворяют расстояния между четырьмя точками на окружности; в ее формулировке с необходимостью используются как понятие суммы, так и понятие произведения.) Критерии Евдокса оказались необычайно плодотворными и, в частности, позволили древним грекам строго вычислять площади и объема.

Рис. 5.3.Теорема Птолемея

Но для математиков XIX века — и, разумеется, для современных математиков роль геометрии изменилась. Для древних греков и, в частности, для Евдокса, «действительные» числа были объектами, извлеченнымииз геометрии физического пространства. Ныне мы предпочитаем считать, что действительные числа логически более первичны, чем геометрия. Это позволяет нам конструировать всевозможные различныетипы геометрии, каждый из которых исходитиз понятия числа. (Ключевой идеей была идея координатной геометрии, введенная в XVII веке Ферма и Декартом. Координаты можно использовать для определениядругих типов геометрии.) Любая такая «геометрия» должна быть логически непротиворечивой, но не обязательно должна иметь прямое отношение к физическому пространству нашего эмпирического опыта. Конкретную физическую геометрию мы, по-видимому, постигаем через идеализациюэмпирического опыта (т. е. в зависимости от наших экстраполяций на бесконечно большие или бесконечно малые размеры, — см. главу 3, подглава «„Действительность“ действительных чисел»). Проводимые ныне эксперименты достаточно точны и приводят нас с необходимостью к заключению, что наша «извлеченная из эмпирического опыта» геометрия в действительности отличается от евклидова идеала (см. гл.5, конец подглавы «Общая теория относительности Эйнштейна») и согласуется с геометрией, требуемой в общей теорией относительности Эйнштейна. Однако, несмотря на изменения в наших взглядах на геометрию физического мира, возникших в настоящее время, понятие действительного числа, выдвинутое Евдоксом двадцать три столетия назад, по существу осталось неизменным и является существенным ингредиентом как теории Эйнштейна, так и теории Евклида. В действительности это понятие служит существенным ингредиентом всех современных серьезных физических теорий!

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

Величайшим математиком древности несомненно был Архимед (287–212 гг. до н. э.). Остроумно используя теорию пропорций Евдокса, Архимед вычислил площади и объемы многих фигур и тел различной формы, например, сферы и более сложных геометрических форм, в том числе парабол или спиралей. Ныне для этих целей мы использовали бы дифференциальное и интегральное исчисление, но Архимед жил и творил примерно за 19 веков до создания математического анализа, разработанного Ньютоном и Лейбницем! (Можно было бы сказать, что добрая половина — «интегральная» половина — математического анализ была известна еще Архимеду!) Степень математической строгости, достигнутой Архимедом в своих рассуждениях, была безупречной даже по современным стандартам. Работы Архимеда оказали глубокое влияние на математиков и естествоиспытателей последующих веков, в частности, в значительной мере на Галилея и Ньютона. Архимед также ввел (ПРЕВОСХОДНУЮ?) физическую теорию статики (т. е. теорию, занимающуюся изучением законов поведения тел, находящихся в состоянии равновесия, например, законов рычага и законов плавающих тел) и развил статику как дедуктивную науку, аналогично тому, как Евклид изложил науку о геометрическом пространстве и геометрию твердых тел.

Современником Архимеда, которого я также считаю необходимым отметить, был Аполлоний (ок. 262–200 гг. до н. э.), великий геометр, отличавшийся глубиной озарений и остроумием. Ему мы обязаны исследованием теории конических сечений (т. е. эллипсов, парабол и гипербол), которая оказала весьма сильное влияние на Кеплера и Ньютона. Оказалось, что именно эти кривые, что весьма примечательно, необходимы для описания планетных орбит!

Динамика Галилея и Ньютона

Глубоким прорывом, принесенным в естествознание XVII веком, стало понимание движения. Древние греки достигли замечательного понимания статики вещей — твердых геометрических тел или тел, находящихся в состоянии равновесия(т. е. в состоянии, в котором все действующие на тело силы уравновешены, и движения нет), но не имели хорошего представления о законах, управляющих поведением реально движущихся тел. Чего недоставало древним грекам, это хорошей теории динамики, т. е. теории, описывающей тот красивый способ, каким природа управляет изменениями положения тел от одного момента времени к другому. Частично (но отнюдь не полностью) это объясняется тем, что у древних греков не было никаких сколь-нибудь точных средств измерения времени, т. е. достаточно хороших «часов». Такие часы необходимы для точного хронометрирования изменений в положении тел. Это позволило бы точно определить скорости и ускорения тел. Наблюдения, произведенные Галилеем в 1583 году, показали, что в качестве надежного средства хранения точного времени можно было бы использовать маятник. Этот факт имел далеко идущие последствия для самого Галилея (и для развития всего естествознания в целом!), так как позволял осуществить точное [106] хронометрирование движения. Примерно через сорок пять лет — с публикацией в 1638 году Бесед и математических доказательств, касающихся двух новых отраслей наукиГалилея — начал развиваться новый предмет — динамика , и началась трансформация от древнего мистицизма к современной науке!

106

Но, по-видимому, Галилей часто использовал в своих наблюдениях водяные часы для измерения времени (см. Барба [1989]).