Древнегреческий парадокс, который математики не могли решить 2000 лет

Представьте стадион в Древней Греции, V век до нашей эры. На дорожке — Ахиллес, знаменитый герой Троянской войны, «быстроногий», как его называет Гомер. А рядом, на почтительном расстоянии, — черепаха. Зрители смеются: ну кто же устраивает забег между героем и рептилией? Но устроитель состязания, философ Зенон из Элеи, сохраняет серьёзное лицо. Он поднимает руку — и произносит условие: черепаха стартует с форы. И Ахиллес никогда её не догонит.

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

Заинтриговал?

Тогда давайте разберём рассуждение Зенона так, как его пересказывает Аристотель (сам текст Зенона до нас не дошёл).

Черепаха стартует впереди, скажем, на 100 метров. Ахиллес бежит в десять раз быстрее. Казалось бы, он догонит её за несколько секунд. Но Зенон предлагает смотреть на гонку по шагам.

— Ахиллес добегает до точки, где черепаха стартовала. За это время черепаха уже продвинулась вперёд — пусть на 10 метров.

— Ахиллес пробегает эти 10 метров. Черепаха за это время уползает ещё на 1 метр.

— Ахиллес пробегает 1 метр. Черепаха — ещё на 10 сантиметров.

— Ахиллес — 10 сантиметров. Черепаха — на 1 сантиметр.

— И так далее, до бесконечности.

Вот в чём фокус. Каждый раз, когда Ахиллес достигает той точки, где черепаха была, она уже не там. Она всегда чуть-чуть впереди. И сколько бы раз Ахиллес ни повторял этот манёвр, он всякий раз оказывается там, где черепаха только что была, а не там, где она есть сейчас.

Вывод Зенона: Ахиллес не догонит черепаху никогда. Не «догонит очень нескоро». Не «догонит, если бежать бесконечно долго». А никогда — потому что для того, чтобы догнать, ему нужно пройти бесконечное число отрезков, а бесконечность нельзя пройти за конечное время.

И вот здесь у любого нормального человека возникает протест. Мы-то знаем, что Ахиллес догонит. Мы видели, как бегуны обгоняют друг друга. Мы можем посчитать: если Ахиллес бежит 10 м/с, а черепаха ползёт 1 м/с со стартовой форой 100 метров, то встреча произойдёт примерно через 11,1 секунды. Всё сходится. Где же ошибка в рассуждении Зенона?

Именно этот вопрос — «где ошибка?» — и оказался настолько сложным, что ответ на него потребовал переворота в математике.

Зачем Зенону вообще понадобился этот парадокс

Важно понимать, что Зенон не был шутником и не страдал от непонимания физики. Он был учеником Парменида — философа, который утверждал нечто совершенно радикальное, в стиле «движения не существует». Реальность едина, неподвижна и неизменна, а всё, что мы воспринимаем как движение и изменение, — иллюзия наших чувств. Мысль философская, вот так сразу не поймешь, поэтому Парменида высмеивали.

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

Парадокс об Ахиллесе — лишь один из них. Вот ещё три, и все они об одном и том же:

«Дихотомия». Чтобы пройти из точки А в точку Б, вы должны сначала пройти половину пути. Но чтобы пройти половину, нужно пройти половину половины. И так далее — до бесконечности. Значит, движение не может даже начаться, потому что прежде чем сделать первый шаг, нужно сделать бесконечное число «полушагов».

«Стрела». Летящая стрела в каждый момент времени занимает определённое место в пространстве. Но если она занимает определённое место — значит, она покоится в этот момент. А если она покоится в каждый момент времени, то она покоится всегда. Значит, движения нет: есть только последовательность состояний покоя.

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

Обратите внимание на общий приём. Зенон не отрицает, что мы видим движение. Он говорит, что наши понятия о движении, пространстве и времени внутренне противоречивы, потому что если попробовать описать движение логически строго — утонешь в бесконечности.

И знаете что? Две тысячи лет никто не мог ему внятно возразить.

Почему греки не смогли решить эту задачу

Аристотель, который первым подробно разобрал парадоксы Зенона, предложил ответ, который продержался почти две тысячи лет. Он сказал: бесконечность бывает двух видов. Есть актуальная бесконечность — когда бесконечно много объектов существуют все сразу, «готовыми». А есть потенциальная бесконечность — когда процесс может продолжаться сколько угодно, но никогда не завершён.

Аристотель утверждал, что в реальности существует только потенциальная бесконечность. Вы можете делить отрезок пополам, потом ещё пополам, и так без конца — но вы никогда не получите «все бесконечные кусочки сразу». Время и пространство делимы потенциально, но не актуально. А значит, аргумент Зенона не работает: Ахиллесу не нужно проходить «актуально бесконечное» число отрезков — он проходит путь, который делим на бесконечное число частей, но не состоит из них.

Звучит разумно. Но это был скорее запрет на вопрос, чем ответ на него. Аристотель, по сути, сказал: «Не рассматривайте бесконечность как готовый объект — и парадокс исчезнет». Но он не объяснил, как именно конечное время вмещает бесконечное число шагов. И не дал инструмента, чтобы это посчитать.

А инструмент был нужен, потому что греки столкнулись с бесконечностью буквально везде. Архимед, вычисляя площадь круга и объём шара, использовал метод исчерпывания: вписывал в фигуру многоугольники со всё большим числом сторон и смотрел, к чему стремится их площадь. Он был буквально в одном шаге от идеи предела, но не сделал этот шаг, потому что в греческой математике слово «бесконечность» (apeiron) считалось почти неприличным. В общем, греки видели проблему, чувствовали её решение — но их философские рамки не позволяли им сделать решающий шаг. Пришлось ждать две тысячи лет, чтобы кто-то осмелился обращаться с бесконечностью как с вычислимым объектом.

Прорыв

На самом же деле ключ к парадоксу Ахиллеса — в одной простой идее, которую сегодня проходят в школе, а тогда она казалась почти кощунственной. Посмотрите на расстояния, которые пробегает Ахиллес в рассуждении Зенона: 100 метров, потом 10, потом 1, потом 0,1, потом 0,01… Это бесконечная последовательность чисел, и каждое следующее меньше предыдущего.

Зенон говорит: раз слагаемых бесконечно много, сумма должна быть бесконечной. Но это неверно. Если слагаемые убывают достаточно быстро, бесконечная сумма может быть конечной. Вот она, разгадка: 100 + 10 + 1 + 0,1 + 0,01 +… = 111,111… = 111 целых и 1/9 метра.

Это конечное число! И это ровно то расстояние, которое нужно пробежать Ахиллесу, чтобы поравняться с черепахой. А значит, и время конечно. Ахиллес догоняет.

Такую сумму называют сходящимся рядом. Идея, что бесконечное сложение может дать конечный результат, — это и есть первый кирпич того, что позже назовут математическим анализом.

Но здесь есть тонкость, из-за которой всё затянулось ещё на двести лет. Сказать «сумма равна 111 целым и 1/9» — легко. Но как строго доказать, что это действительно так? Что значит «сумма бесконечного ряда» вообще? Ведь вы не можете сложить бесконечное число слагаемых — вы всегда останавливаетесь на каком-то конечном шаге. Вот эта проблема — «что такое бесконечная сумма» — и оказалась той дверью, за которой ждал весь математический анализ.

Ньютон, Лейбниц и «призраки усопших величин»

В XVII веке Ньютон и Лейбниц — независимо друг от друга — создали то, что мы сегодня называем математическим анализом. У них были разные обозначения (нотация Лейбница, с «dy/dx» и интегралами, победила — и именно ею мы пользуемся до сих пор), разные подходы и, как известно, огромный спор о приоритете, который расколол математические мир на столетие.

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

Но была проблема. Ни Ньютон, ни Лейбниц не могли строго объяснить, что такое «бесконечно малое». Они обращались с ним как с числом: делили на него, умножали, отбрасывали как «пренебрежимо малое». Но число, которое не ноль, а меньше любого положительного числа — это же абсурд! Если оно не ноль, оно имеет какую-то величину. А если оно меньше любого положительного числа — то его величина и есть ноль. Но на ноль делить нельзя!

Философ Джордж Беркли, епископ Клойнский, в 1734 году написал ехидный трактат «Аналитик», где разнёс эту логику в пух и прах. Он назвал бесконечно малые «призраками усопших величин» — и спросил ехидно: это что, величины, которые сначала не ноль (чтобы на них можно было делить), а потом ноль (чтобы их можно было отбросить)?

И этот вопрос беспокоил математиков почти 150 лет. Математический анализ работал — но его чёткого обоснования не было. Это как ездить на машине, устройство которой вы не понимаете: едет отлично, но почему — загадка.

Настоящее решение

Строгое решение пришло только в XIX веке — и это была работа нескольких поколений математиков. Я сейчас не буду вдаваться в подробности, чтобы не уйти в ту математику, которая не понятна большинству и которую студенты со всего мира проклинают на первом курсе, но суть в том, что благодаря усилиям Огюстена Луи Коши и Карла Вейерштрасса теперь можно дать полный, логически безупречный ответ Зенону. Если коротко и понятно, то «бесконечно много шагов» ≠ «бесконечное время». Можно сделать бесконечно много дел за конечное время, если каждое следующее занимает меньше предыдущего.

А парадокс всё ещё жив

Справедливости ради стоит сказать, что математический анализ решил парадокс, показав, что в нём нет логического противоречия. Но философски тема не закрыта до сих пор, потому что есть вопросы, о которых всё ещё спорят.

• Если можно выполнить бесконечно много действий за конечное время, то что происходит после? Представьте лампу, которая включается и выключается: через 1/2 минуты, потом через 1/4, потом через 1/8… К концу минуты она переключилась бесконечно много раз. Горит она или нет? Логика не даёт ответа — и это называют парадоксом Томсона. Он показывает, что «бесконечно много действий за конечное время» — логически допустимо, но не всегда даёт определённый результат.

• А что, если пространство и время не непрерывны? Если существует минимальная длина (планковская длина, ~10⁻³⁵ м) и минимальный интервал времени, то делить путь до бесконечности нельзя — на каком-то шаге мы упрёмся в «клетку» пространства.

• Парадокс «Стрела» поднимает вопрос, который до сих пор важен в философии: описывает ли математика движение, или она разбивает его на неподвижные срезы? Уравнение движения описывает положение в каждый момент — но само движение как процесс в этих уравнениях как будто исчезает, остаётся только «фотография» положений. Это проблема, которую обсуждают и сегодня.

Что в итоге?

Полагаю, что до этого момента дочитали не все, получилось длинновато и местами занудно, но кто дочитал, тот молодец — он узнает главную мысль сия трактата, которая заключается в том, что правильно заданный вопрос может быть ценнее быстрого ответа.

Зенон задал вопрос, на который его современники не могли ответить. Аристотель дал ответ, который две тысячи лет считался достаточным — но был скорее отговоркой. Архимед подошёл вплотную к решению, но не сделал последний шаг. Ньютон и Лейбниц создали инструмент, который работал, но не был обоснован. Беркли указал на дыру. Коши и Вейерштрасс закрыли её — и только тогда, через 2300 лет после Зенона, человечество смогло наконец сказать: «Ахиллес догонит черепаху, и вот строгое доказательство».

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