Открытие без границ. Бесконечность в математике

ПАРАДОКСАЛЬНЫЙ ОБРАЗ МЫШЛЕНИЯ

Парадокс — это особая форма аргументации. Его суть заключается в том, что некоторое утверждение принимается в качестве исходного, после чего путём корректных логических рассуждений из него выводится противоречащий здравому смыслу результат, тем самым правильность исходного утверждения ставится под сомнение. Логические парадоксы, впервые появившиеся в элейской школе, основывались на логических высказываниях, которые могли быть как истинными, так и ложными. Один из популярнейших парадоксов древности — так называемый «парадокс лжеца», изложенный Эпименидом Критским. Этот парадокс гласит: «Все критяне — лжецы».

Эпименид не может говорить правду, так как он критянин, но в то же время если он лжёт, его высказывание будет верным, и в результате возникает противоречие.

* * *

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

Дихотомия

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

Ахиллес и черепаха

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

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

Стрела

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

Если в двух первых парадоксах речь идёт о невозможности бесконечного деления пространства, то этот парадокс посвящён неделимости времени, в частности существованию того, что мы называем «мгновение», так как если оно неделимо, оно не имеет длительности, и, следовательно, движение невозможно. Мгновение, понимаемое таким образом, подобно точке в геометрии.

Стадион

Допустим, что время — дискретная величина, и его основной единицей является произвольная сколь угодно малая величина t. Это означает, что не существует единицы времени, меньшей t, которая, следовательно, является неделимой. Можно представить часы, где каждому звуку «тик» или «так» соответствует эта неделимая единица времени.

Рассмотрим четыре равных тела А₁, A₂, А₃ и А₄ которые находятся в состоянии покоя (в исходной формулировке парадокса речь идёт о шеренге из четырёх солдат):

и четыре других тела B₁, B₂, B₃ и B₄, точно соответствующие предыдущим четырём, движущиеся вправо: