“Представим себе вычислительную машину, которая выполняла бы первую операцию за ½ минуты, вторую — за ¼ минуты, третью — за ⅛ минуты и т. д. Такая машина могла бы к концу первой минуты “пересчитать” весь натуральный ряд (написать, например, счетное число единиц). Ясно, что работа над конструкцией такой машины обречена на неудачу. Так почему же тело, вышедшее из точки А, достигает конца отрезка В, “отсчитав” счетное множество точек А1, А2, ., Аn, . ?”

Древние греки тем более не могли себе представить завершенную бесконечную совокупность. Поэтому вывод Зенона о том, что движение из-за необходимости “пересчитать” бесконечное число точек не может закончиться, еще тогда произвел большое впечатление. На схожих аргументах основывается апория о невозможности начать движение.

Дихотомия. Рассуждение очень простое. Для того, чтобы пройти весь путь, движущееся тело сначала должно пройти половину пути, но чтобы преодолеть эту половину, надо пройти половину половины и т. д. до бесконечности. Иными словами, при тех же условиях, что и в предыдущем случае, мы будем иметь дело с перевернутым рядом точек: (½)n, ., (½)3, (½)2, (½)1. Если в случае апории Ахилл и черепаха соответствующий ряд не имел последней точки, то в Дихотомии этот ряд не имеет первой точки. Следовательно, заключает Зенон, движение не может начаться. А поскольку движение не только не может закончиться, но и не может начаться, движения нет. Существует легенда, о которой вспоминает А. С. Пушкин в стихотворении «Движение»:

Движенья нет, сказал мудрец брадатый.

Другой смолчал и стал пред ним ходить.

Сильнее бы не мог он возразить;

Хвалили все ответ замысловатый.

Но, господа, забавный случай сей

Другой пример на память мне приводит:

Ведь каждый день пред нами солнце ходит,

Однако ж прав упрямый Галилей.

Действительно, согласно легенде, один из философов так и “возразил” Зенону. Зенон велел бить его палками: ведь он не собирался отрицать чувственное восприятие движения. Он говорил о его немыслимости, о том, что строгое размышление о движении приводит к неразрешимым противоречиям. Поэтому, если мы хотим избавиться от апорий в надежде, что это вообще возможно (а Зенон как раз считал, что невозможно), то мы должны прибегать к теоретическим аргументам, а не ссылаться на чувственную очевидность. Рассмотрим одно любопытное теоретическое возражение, которое было выдвинуто против апории Ахилл и черепаха.

“Представим себе, что по дороге в одном направлении движутся быстроногий Ахилл и две черепахи, из которых Черепаха-1 несколько ближе к Ахиллу, чем Черепаха-2. Чтобы показать, что Ахилл не сможет перегнать Черепаху-1, рассуждаем следующим образом. За то время, как Ахилл пробежит разделяющее их вначале расстояние, Черепаха-1 успеет уползти несколько вперед, пока Ахилл будет пробегать этот новый отрезок, она опять-таки продвинется дальше, и такое положение будет бесконечно повторяться. Ахилл будет все ближе и ближе приближаться к Черепахе-1, но никогда не сможет ее перегнать. Такой вывод, конечно же, противоречит нашему опыту, но логического противоречия у нас пока нет.

Пусть, однако, Ахилл примется догонять более дальнюю Черепаху-2, не обращая никакого внимания на ближнюю. Тот же способ рассуждения позволяет утверждать, что Ахилл сумеет вплотную приблизиться к Черепахе-2, но это означает, что он перегонит Черепаху-1. Теперь мы приходим уже к логическому противоречию”.

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

1. Каков бы ни был отрезок [A B], движущееся от А к В тело должно побывать во всех точках отрезка [A B].

2. Любой отрезок [A B] можно представить в виде бесконечной последовательности убывающих по длине отрезков [A a1] [a1 a2] [a2 a3] . [an an+1].

3. Поскольку бесконечная последовательность аi (1 ≤ i < ω) не имеет последней точки, невозможно завершить движение, побывав в каждой точке этой последовательности.

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

При этом нигде не утверждается, что убывающие последовательности отрезков ai для [A B] и ai' для [A' B'] должны быть одинаковы. Напротив, если отрезки [A B] и [A' B'] неравны по длине между собой, их разбиения на бесконечные последовательности убывающих отрезков окажутся различными. В приведенном рассуждении Ахилла отделяет от черепах 1 и 2 разные расстояния. Поэтому мы имеем два различных отрезка [A B1] и [A B] с общей начальной точкой А. Неравные отрезки [A B1] и [A B] порождают различные бесконечные последовательности точек, и недопустимо использовать одну из них вместо другой. Между тем именно эта “незаконная” операция применяется в аргументах о двух черепахам.

Если не смешивать иллюстрации и существо апории, то можно утверждать, что апории Ахилл и Дихотомия симметричны по отношению к друг другу. В самом деле, Дихотомия также водится к следующим трем утверждениям:

1. Каков бы ни был отрезок [A B], движущееся от А к В тело должно побывать во всех точках отрезка [A B].

2. Любой отрезок [A B] можно представить в виде бесконечной последовательности убывающих по длине отрезков [bn+1 bn] . [b3 b2] [b2 b1] . [b1 B].

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

Таким образом, апория Ахилл основывается на тезисе о невозможности завершить движение из-за необходимости посетить последовательно каждую из точек бесконечного ряда, упорядоченного по типу ω (т. е. по типу порядка на натуральных числах), который не имеет последнего элемента. В свою очередь Дихотомия утверждает невозможность начала движения из-за наличия бесконечного ряда точек, упорядоченных по типу ω* (так упорядочены целые отрицательные числа), который не имеет первого элемента.

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