Преодолеваемы ли апории Зенона средствами математики?
Авторам представляется интересным ответить на вопрос: разрешимы ли, в принципе, апории Зенона средствами математики? В работе получены следующие результаты: 1) предложено решение парадокса «Ахилл и черепаха» средствами математики, без обращения к аксиоме о бесконечном, возможно так, как это делали с...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Кримський науковий центр НАН України і МОН України
2008
|
| Назва видання: | Культура народов Причерноморья |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/115021 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Преодолеваемы ли апории Зенона средствами математики? / Н.В. Сафонова, В.С. Баринов // Культура народов Причерноморья. — 2008. — № 151. — С. 131-135. — Бібліогр.: 15 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-115021 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-1150212025-02-23T17:56:45Z Преодолеваемы ли апории Зенона средствами математики? Сафонова, Н.В. Баринов, В.С. Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ Авторам представляется интересным ответить на вопрос: разрешимы ли, в принципе, апории Зенона средствами математики? В работе получены следующие результаты: 1) предложено решение парадокса «Ахилл и черепаха» средствами математики, без обращения к аксиоме о бесконечном, возможно так, как это делали современники Зенона ; 2) рассмотрен вопрос: можно ли, вообще, разрешить данную апорию средствами математики и, с этой точки зрения, определить в каком направлении искать пути решения. 2008 Article Преодолеваемы ли апории Зенона средствами математики? / Н.В. Сафонова, В.С. Баринов // Культура народов Причерноморья. — 2008. — № 151. — С. 131-135. — Бібліогр.: 15 назв. — рос. 1562-0808 https://nasplib.isofts.kiev.ua/handle/123456789/115021 ru Культура народов Причерноморья application/pdf Кримський науковий центр НАН України і МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ |
| spellingShingle |
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ Сафонова, Н.В. Баринов, В.С. Преодолеваемы ли апории Зенона средствами математики? Культура народов Причерноморья |
| description |
Авторам представляется интересным ответить на вопрос: разрешимы ли, в принципе, апории Зенона средствами математики? В работе получены следующие результаты: 1) предложено решение парадокса «Ахилл и черепаха» средствами математики, без обращения к аксиоме о бесконечном, возможно так, как это делали современники Зенона ; 2) рассмотрен вопрос: можно ли, вообще, разрешить данную апорию средствами математики и, с этой точки зрения, определить в каком направлении искать пути решения. |
| format |
Article |
| author |
Сафонова, Н.В. Баринов, В.С. |
| author_facet |
Сафонова, Н.В. Баринов, В.С. |
| author_sort |
Сафонова, Н.В. |
| title |
Преодолеваемы ли апории Зенона средствами математики? |
| title_short |
Преодолеваемы ли апории Зенона средствами математики? |
| title_full |
Преодолеваемы ли апории Зенона средствами математики? |
| title_fullStr |
Преодолеваемы ли апории Зенона средствами математики? |
| title_full_unstemmed |
Преодолеваемы ли апории Зенона средствами математики? |
| title_sort |
преодолеваемы ли апории зенона средствами математики? |
| publisher |
Кримський науковий центр НАН України і МОН України |
| publishDate |
2008 |
| topic_facet |
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/115021 |
| citation_txt |
Преодолеваемы ли апории Зенона средствами математики? / Н.В. Сафонова, В.С. Баринов // Культура народов Причерноморья. — 2008. — № 151. — С. 131-135. — Бібліогр.: 15 назв. — рос. |
| series |
Культура народов Причерноморья |
| work_keys_str_mv |
AT safonovanv preodolevaemyliaporiizenonasredstvamimatematiki AT barinovvs preodolevaemyliaporiizenonasredstvamimatematiki |
| first_indexed |
2025-11-24T04:16:48Z |
| last_indexed |
2025-11-24T04:16:48Z |
| _version_ |
1849643822862041088 |
| fulltext |
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ
131
Сафонова Н.В., Баринов В.С.
ПРЕОДОЛЕВАЕМЫ ЛИ АПОРИИ ЗЕНОНА СРЕДСТВАМИ МАТЕМАТИКИ?
Парадоксы Зенона затрагивают множество масштабных, актуальных и взаимосвязанных проблем. Это
вопросы непрерывного и дискретного, построения универсальной математической модели пространства-
времени, проблема бесконечного, описания движения и другие. Многие отмахиваются от апорий Зенона,
называя их гносеологическим кошмаром. Каков же современный взгляд на проблемы, поставленные
Зеноном? Как правило, решения сводятся к двум типам: либо идет речь о сходимости указанного ряда, либо
констатируется факт того, что парадоксы Зенона не преодолены и поныне (в основном, точка зрения
современных авторов). Из последних работ наиболее интересной, на наш взгляд, представляется статья
Руслана Смородинова [9].
Особняком стоит публикация С.А. Яновской «Преодолены ли в современной науке трудности,
известные под названием «апорий Зенона»? [10]. С.А. Яновская предлагает собственное расширение
аксиоматики движения, сформулированной японским логиком С. Шираиши. Эта аксиоматика исходит из
того, что между любыми двумя точками, которые проходит движущееся тело, можно установить одно из
следующих трех отношений: «предшествовать», «следовать за» и «быть неотличимыми». Таким образом,
Яновская видит решение проблемы в построении более адекватной математической модели пространства-
времени.
Авторам представляется интересным ответить на вопрос: разрешимы ли, в принципе, апории Зенона
средствами математики? В работе получены следующие результаты:
1) предложено решение парадокса «Ахилл и черепаха» средствами математики, без обращения к
аксиоме о бесконечном, возможно так, как это делали современники Зенона (эта часть работы выполнена
Бариновым В.С.);
2) рассмотрен вопрос: можно ли, вообще, разрешить данную апорию средствами математики и, с этой
точки зрения, определить в каком направлении искать пути решения.
В настоящее время существует достаточно большое разнообразие трактовок интересующего нас
парадокса, при этом суть сводится к следующему. «Медленного (бегуна) никогда не догонит быстрый
(бегун), ибо необходимо, чтобы догоняющий прежде достиг (той точки), откуда стартовал убегающий,
поэтому более медленный (бегун) по необходимости всегда должен быть чуть впереди» [1, 239b].
Идея апории восходит к сцене, изложенной в гомеровской «Илиаде»: Ахилл гонится за Гектором и
останавливается, так и не догнав быстроного врага. А если бы Ахилл гнался не за быстроногим Гектором, а
за медленно ползущей черепахой? Из парадокса Зенона путем логических рассуждений следует, что Ахилл
никогда не догонит черепаху.
Противоречие состоит в том, что эмпирический опыт говорит нам обратное: Ахилл догонит и
перегонит черепаху. По преданию, этот аргумент весьма демонстративным образом предъявил Диоген:
услышав апорию, он встал и начал ходить. Этот факт нашел отзвук у А.С. Пушкина:
«Движенья нет, сказал мудрец брадатый
Другой смолчал и стал пред ним ходить».
Зенон отбрасывает этот аргумент, так как, по его мнению, изменений (движения) не существует, наш
эмпирический опыт – обман чувств.
Второй аргумент более весомый: решение парадокса предлагается средствами математики.
Как правило, в большинстве имеющейся на сегодняшней день литературе предлагается следующее
решение апории средствами математики. Удобно предположить, что расстояние от старта до финиша,
которое нужно преодолеть Ахиллу равно 1, черепахе нужно пройти меньшее расстояние, например, ½.
Пусть для определенности Ахилл бежит в два раза быстрее черепахи. Тогда, пробежав расстояние ½,
Ахилл обнаружит, что черепаха успела за тоже время преодолеть отрезок ¼ и по-прежнему находится
впереди. И т. д. Таким образом, Ахиллу нужно преодолеть сумму бесконечного количества отрезков
расстояний. На языке математики эта задача сводится к вычислению ряда
Средства математического анализа позволяют вычислить данный ряд, и он сходится к 1. На основе этих
рассуждений делают вывод, что Ахилл преодолеет этот путь и, безусловно, догонит черепаху.
Обычно, приведенные выше рассуждения не принимаются как убедительные по той причине, что в
основе аксиоматики математического анализа лежит постулат о существовании актуально бесконечных
множеств. Свойства актуально-бесконечных множеств противоречивы (например, часть равна целому), и
вполне закономерно, что их применение в некоторых случаях приводит к парадоксам. Среди них можно
назвать парадоксы Бурали – Форти, Банаха – Тарского, «парадокс Тристама Шенди» и мн. др. (см.,
например, [2], [3]). Более того, многие считают что, сам парадокс «Ахилл и черепаха» возникает,
вследствие того, что Зенон данной апорией указывал своим современникам на неаккуратное использование
1 2
1
n
n
Сафонова Н.В., Баринов В.С.
ПРЕОДОЛЕВАЕМЫ ЛИ АПОРИИ ЗЕНОНА СРЕДСТВАМИ МАТЕМАТИКИ?
132
допущения о возможности делить отрезок неограниченное количество раз. Так, «Поль Танери считал, что
рассуждения Зенона прежде всего были направлены против пифагорейского представления пространства
как суммы точек» [4, с. 60].
Оригинальность предлагаемой в настоящей статье идеи, заключается в том, что решение парадокса
средствами математики осуществляется без обращения к аксиоме о бесконечном. Ряд строится
конструктивно и показывается, что сумма ряда ограничена. Приведем эти рассуждения.
Обозначим время, необходимое Ахиллу, чтобы добежать до места старта черепахи буквой t. Полагая,
что их скорости постоянны и что Ахилл движется в k раз быстрее черепахи, получаем, что время,
необходимое Ахиллу на второй этап своей «погони» будет t/k, а на следующий t/k² и т.д.
Воспользуемся доказательством от противного и предположим, что ряд
является бесконечно большим числом. Онтологически это означает, что для погони Ахиллу
понадобиться бесконечно много времени, то есть он не догонит черепаху. Из допущения следует, что для
любого числа С найдется такое число N, что
В неравенстве, слева, стоит сумма конечной геометрической прогрессии, для которой справедливо (Эту
сумму могли вычислять еще современники Зенона. Об этом см. ниже.):
2 2 2 1
1 1 1 1
... 1 ... ...
N N N
t t t t t
t t
k k k k k k k k k
11
2
1
...
1 11
NN
N N
t
tt t t t kkt
k k k k k
k
1
0
1
1
N
N N
n
t t k
k k k
Теперь рассмотрим число
1
t k
С
k
Поскольку t и k ( 1)k заведомо определены, то число С существует и вполне определено.
Оказывается, что
1 1
1
N
N
t k
С
k k
Действительно: 1 ≤ 2
1 11 2N Nk k
1 11N Nk k
1
1
1
1
N
N
k
k
1
1
1N
N
k
С С
k
1
1
1
1
N
N
t k k
С
k k
1 1
1
N
N
t k
С
k k
А поскольку
1N
n 0
1
1
N
N N
t t k
k k k
,
то и
N
n 0
N
t
С
k
, для любого N.
...
32
0
k
t
k
t
k
t
t
k
t
n
n
0
N
n
n
t
С
k
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ
133
Это означает, каким бы большим мы не взяли N, сумма прогрессии всегда будет меньше, чем
1
t k
С
k
.
Таким образом, мы пришли к противоречию. Следовательно, сумма бесконечной убывающей
геометрической прогрессии ограничена.
Что нам дает тот факт, что последовательность ограничена? Понимание того, что Ахилл и черепаха
встретятся в течение конечного промежутка времени. Аналогичным образом можно показать, что
бесконечная сумма отрезков расстояний также ограничена.
В связи с тем, что Зенон не указывает значения скоростей Ахилла и черепахи (подразумевается, что они
могут быть любые), может возникнуть вопрос: каковы должны быть их скорости, чтобы Ахилл не смог
догнать черепаху?
Для решения используем свойства сходимости рядов. «Геометрическая прогрессия
1+x+x²+…+xⁿ+... (2)
сходится при |х|<1 и расходится при |х|≥1. Здесь областью сходимости является промежуток (-1,+1), из
которого исключены оба конца х=-1, х=+1. Сумма ряда (2) в области сходимости равна 1/1-х» [5, с. 572]. В
нашем случае, постоянно изменяющейся по закону геометрической прогрессии величиной х выступает 1/k,
где k соотношение скоростей Ахилла и черепахи. Таким образом, если Ахилл и черепаха бегут со
скоростями, отношение которых Vч/Vа<1, то они встретятся (ряд сходится, причем к точно определенному
числу 1/1-х, где х=Vч/Vа). Если скорость Ахилла равна скорости черепахи или же черепаха бежит быстрее,
Ахилл никогда не догонит черепаху (ряд расходится при Vч/Vа≥1). Очевидно, что чем ближе значения
скоростей Ахилла и черепахи, тем медленнее сходится ряд, тем дольше придется бежать Ахиллу к победе.
О том, что парадокс разрешим средствами математики (сумма ряда ограничена), современники
указывали Зенону. Эти расчеты, естественно, не дошли до нас, но сведения о том, что такие возражения
были в свое время представлены, сохранились. По мнению Г.Г. Цейтена [6], подобного рода доказательство
можно было осуществить лишь способом вычисления геометрической прогрессии (мы полагаем,
приблизительно теми же рассуждениями, какие изложены выше, так как наше доказательство также
опирается на предположение о том, что древние греки должны были уметь вычислять сумму
геометрической прогрессии). Итак, на основании того, что современники Зенона выдвигали подобный
аргумент, историк математики Цейтен Г.Г. делает вывод о том, что др. греки умели вычислять сумму
геометрической прогрессии:
«Противники Зенона должны были знать, что сумма рассматриваемых членов, взятых в бесконечном
количестве равна n/n-1. Эти положительные результаты содержатся столь очевидным образом в нелепых,
по мнению Зенона, рассуждениях его противников… Мы видим, таким образом, что в середине V века
занимались суммированием, которое, производил впоследствии Архимед с помощью гарантирующего
более надежные результаты способа» [6, с. 56].
И все же Зенон отвергает аргумент своих современников, где осуществляется доказательство
средствами математики о том, что исследуемый ряд бесконечной суммы отрезков сходится к некоторому
вполне определенному числу.
Почему же Зенон отверг математические доказательства, представленные ему современниками?
Ответ на этот вопрос лучше всего сформулировали Д. Гильберт и П. Бернайс. В своей книге
«Основания математики» они пишут: «Обычно парадокс пытаются обойти рассуждением о том, что сумма
бесконечного числа этих временных интервалов все-таки сходится и, таким образом, дает конечный
промежуток времени. Однако это рассуждение абсолютно не затрагивает один существенно
парадоксальный момент, а именно парадокс, заключающийся в том, что некая бесконечная
последовательность следующих друг за другом событий, последовательность, завершаемость которой мы
не можем себе даже представить, …на самом деле все-таки должна завершиться» [7, с. 40].
Рассматривая апорию саму по себе, следуя только логике ее содержания, и не прибегая ни к
собственному эмпирическому опыту, ни к математическим расчетам, нам остается только согласиться с
А.Ф. Лосевым: «подобного рода аргументы нельзя считать ни глупостью, ни какой либо логической
ошибкой. Если отвлечься от всего прочего и сосредоточиться только на самих этих аргументах, они
неопровержимы» [8, с. 123].
Эмпирический опыт и математические расчеты как раз-таки и порождают апорию. Противоречие
возникает между эмпирическим опытом (математические расчеты усиливают его) и логическим выводом,
который с необходимостью следует из апории. Доказательство средствами математики было бы
закономерным, если бы логика выводилась из математики. Но это не так, результаты К. Гёделя
свидетельствуют об этом.
Таким образом, никакие «внешние» доказательства не могут разрешить апорию, более того они только
усилят противоречие. В связи с этим, разрешение парадокса можно попытаться искать в логике
человеческого мышления, либо представления о пространстве-времени не универсальны.
Мы предлагаем еще один способ преодоления парадокса, исследовав законы логики, применяемые в
данной апории. Зенон рассуждает следующим образом: движения нет. Для доказательства этого тезиса
воспользуемся доказательством от противного. Предположим, что движение существует, тогда…(текст
Сафонова Н.В., Баринов В.С.
ПРЕОДОЛЕВАЕМЫ ЛИ АПОРИИ ЗЕНОНА СРЕДСТВАМИ МАТЕМАТИКИ?
134
апории). Из апории следует, что Ахилл никогда не догонит черепаху, но это противоречит эмпирическому
опыту. Итак, мы пришли к противоречию, следовательно, движения нет.
Нужно отметить, доказательство математическими средствами также осуществляется с помощью
метода от противного (см. математические выкладки выше).
В основе подобного рода доказательств неявным образом лежат законы исключенного третьего и
непротиворечия. Само содержание апории предполагает нарушение этих законов, следуя тексту парадокса,
Ахилл никогда не догонит черепаху, наш опыт говорит о том, что Ахилл настигнет черепаху очень быстро.
Таким образом, можно предположить, что, пересмотрев эти законы, мы сумеем разрешить парадокс.
Все научное естествознание построено на классической логике, содержащей законы исключенного
третьего и непротиворечия. Сомнения в их универсальности были еще у Аристотеля. В настоящее время
существуют структуры, построенные на отказе от них.
Такова, в первую очередь, логика Васильева, отчасти интуиционистские теории в математике, логика
рассуждений в некоторых теориях квантовой механики.
Подробно эти концепции обсуждались в нашей работе «Онтологические модификации закона
исключенного третьего в свете последних достижений техники» [11, с. 287-289].
Кратко можно сказать следующее. В интуиционистских теориях отказ от закона исключенного третьего
основан на критерии существования объекта в математике и невозможности определить его истинность или
ложность в случае обращения к бесконечным процессам [12].
В ХХ веке пересматривается отношение к закону непротиворечия. Последний связан с законом
исключенного третьего и в символической форме один может быть выведен из другого, но их содержание
различно. Отказ от закона исключенного третьего онтологически может быть обоснован тем, что помимо
установления истинности или ложности любого высказывания можно принять третий вариант –
«неопределено». Поэтому существуют теории, в которых не выполняется закон исключенного третьего, но
применяют закон непротиворечия. Такова, например, интуиционистская математика.
В классической логике считается, что нарушение закона непротиворечия приводит к доказуемости
любого утверждения. Однако в научных теориях никто реально не строит противоречивые теории.
«Доказуемость в теории противоречия перестает быть смертельно опасной угрозой. Одним из первых (еще
в 1910 г.) сомнения в неограниченной приложимости закона непротиворечия высказал русский логик
Н.А.Васильев. «Предположите, — говорил он, — мир осуществленного противоречия, где противоречия
выводились бы, разве такое познание не было бы логическим?» [13, с. 20]
В воображаемой логике Васильева не выполняется закон непротиворечия.
«Тогда мы имели бы три основные формы суждения по качеству:
1. Простое утверждение: S есть Р.
2. Простое утверждение: S есть non-Р.
3. Соединение утверждения с отрицанием (индифферентное суждение): S есть Р и non-Р зараз.
Со всеми этими суждениями мы могли бы оперировать логически» [14, с. 126- 131].
Попытка разрешить противоречивое поведение квантовых частиц привела к идее создания логики, в
которой бы не выполнялся закон исключенного третьего. Эту идею впервые высказал американский
математик Д. фон Нейман. Позднее немецкий философ Г. Рейхенбах построил еще одну логику с целью
устранения «причинных аномалий», возникающих при попытках применить классическое причинное
объяснение к квантовым явлениям. В логике Рейхенбаха закон исключенного третьего и закон
непротиворечия не выполняются (Reichenbach H. Philosophic foundations of quantum mechanics. - Berkley;
Los Angeles, 1944). Таким образом, «многозначная квантовая логика, отказавшаяся от запретов
исключенного третьего, в отличие от статичной аристотелевой логики, исповедует принцип «любой
объект с определенными вероятностями может быть и А, и множеством не А» и как нельзя лучше
отображает парадоксальные свойства физического вакуума» [15].
В философии признается академическим мнение, о том, что одним из свойств движения является его
противоречивость. Противоречие обнаруживается в непрерывности и дискретности пространства (мы
полагаем, пространство непрерывным – между двумя точками всегда найдется еще одна точка, и т.д.,
следовательно, точек может быть бесконечно много, с другой стороны, измеряя расстояние, время, скорость,
оперируют всегда с конечными величинами). Но наибольшую трудность для описания представляет
поведение пространства-времени в микромире. Именно по этой причине Г. Рейхенбах создает логику, в
которой не выполняются закон исключенного третьего и закон непротиворечия, намереваясь подобрать
соответствующую модель, в которой поведение квантовых частиц не будет противоречиво.
Единой теории пространства-времени для макро- и микромира нет. Не исключено, что если такая
теория будет создана, свойство противоречивости движения будет устранено и в этой теории Ахилл
догонит и перегонит черепаху, не нарушая логику рассуждений.
В заключении еще раз отметим: решение парадокса средствами математики лишь усиливают
противоречие (к эмпирическому факту добавляется аргумент математики).
Вопросы духовной культуры – ФИЛОСОФСКИЕ НАУКИ
135
По нашему мнению, избежать парадокса можно двумя путями: пересмотрев законы логики,
применяемые в апории, или (и) 1 изменив методологические основания представлений о пространстве-
времени.
Источники и литература
1. Аристотель. Физика. – М.: Соцэкгиз, 1937. – 189с.
2. Ященко В.И. Парадоксы теории множеств. М.: МЦНМО (Библиотека "Математическое просвещение"),
2002. – Вып. 20. - 40 с.
3. Виленкин Н.Я. В поисках бесконечности. – М.: Наука, 1983. – 161с.
4. Стройк Д.Я. Краткий очерк истории математики. /Пер. с нем. Погребысского И.Б. – М.: Наука, 1969. –
328с.
5. Выгодский М.Я. Справочник по высшей математике. – М.: Наука, 1964. – 870с.
6. Цейтен Г.Г. История математики в древности и в ср. века. /Пер. А.П. Юшкевича. – М–Л, 1938. – 231с.
7. Гильберт Д., Бернайс П. Основания математики: логическое исчисление и формализация арифметики.
/Пер. с нем. Н.М. Нагорного. – М.: Наука, 1979. –557 с.
8. Лосев А.Ф. История античной эстетики: Ранняя классика. – М.: Высшая школа, 1963. – 583 с.
9. Руслан Хазарзар (Руслан Смородинов). Апории Зенона. //Zenoon.narod.ru/aporia.htm
10. Яновская С.А. Преодолены ли в современной науке трудности, известные под названием «апорий
Зенона»? //Проблемы логики. – М.: ИФ АН СССР, 1963. – С. 116-136.
11. Сафонова Н.В. Онтологические модификации закона исключенного третьего в свете последних
достижений техники. Культура народов Причерноморья. – № 106. – 2007. – С. 287 – 289.
12. Интуиционизм, /www.ru.wikepedia.org/wiki.
13. Ивин А.А. Логика: Учебник для гуманитарных факультетов. –М.: ФАИР-ПРЕСС, 2003. – 320 с.
14. Васильев Н.А. Воображаемая логика. Избранные труды. – : Наука, 1989.–262с.
15. Журавлёв В.И. Квантовая логика физического вакуума.
/ai.donetsk.ua/_u/iai/dtp/CONF/4 2004/artikles//stat24.html – 36k.
1 Возможно, эта будет единная теория, такова, например, логика Рейхенбаха.
|