D.13 · дефектный парадокс · подтип: Ложная посылка
Zeno’s Achilles
Суть ошибки. Бесконечное число шагов ≠ бесконечное время
Точная формулировка
Ахиллес бежит вдесятеро быстрее черепахи и даёт ей фору в сто метров. Пока он пробегает эти сто, черепаха уползает на десять; пока пробегает десять — она впереди на метр; пока метр — на дециметр… Всякий раз, когда Ахиллес достигает места, где была черепаха, она уже впереди. Шагов в этом описании бесконечно много, и на каждом черепаха ведёт. Вывод Зенона: быстрейший никогда не догонит медленнейшего.
Происхождение
Зенон Элейский (V век до н. э.), ученик Парменида, строил апории как оружие: не показать, что движения не видно, — показать, что мысль о движении противоречива, и тем защитить учение о едином неподвижном бытии. Четыре апории движения дошли через «Физику» Аристотеля: дихотомия, Ахиллес, стрела, стадион. Ответ Аристотель дал сам — и он несущий до сих пор: различение актуальной и потенциальной бесконечности; путь бесконечно делим, но не бесконечно разделён. Анекдот приписывает Диогену ответ телом — встал и пошёл: solvitur ambulando, «решается ходьбой». Строгий счёт пришёл с теорией пределов: сумма бесконечного ряда убывающих слагаемых определена и конечна; XX век продолжил спор на новом материале — Бергсон (движение неделимо, режет его интеллект), Рассел («математика решила»), затем дискуссия о супертасках (Блэк, Томсон, Грюнбаум), выросшая прямо из этой апории.
Следствие
Апории — первые мысленные эксперименты о бесконечности, и потомство их двойное. Математике они завещали необходимость строгой теории рядов и пределов: «бесконечно много слагаемых» и «бесконечная сумма» — разные вещи, и различие это пришлось выковать. Философии — сам водораздел актуального и потенциального бесконечного, на котором стоит и наша формальная база (P4: бесконечность — процесс, не завершённый объект). Прямые наследники — супертаски: Лампа Томсона и Росс-Литтлвуд спрашивают, что «после» бесконечной последовательности актов, — обострённая форма той же путаницы описания с исполнением. Имя апории перекочевало и в физику: квантовый эффект Зенона — о влиянии частых измерений, предмет другой, родство только в названии.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: Ахиллес, черепаха, фора, отношение скоростей, последовательность позиций «где была черепаха». Структура: одно движение описано бесконечной чередой догоняющих шагов. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Никогда не догонит» — «никогда» говорит о времени. Но череда Зенона перечисляет события, не длительности: шаг n — достижение места n. Молчаливая посылка перехода — «бесконечно много шагов занимают бесконечное время» — ложна: длительности шагов убывают вдесятеро на каждом шаге, и их сумма ограничена. «Никогда» подменило «ни на одном шаге этого описания» — а описание перечисляет ровно моменты до встречи и ни одного после. Сигнал: свойство описания перенесено на движение.
Домен 3 — Выбор рамки: второй слой дефекта. Инструмент — бесконечный перечень актов — приложен к непрерывному процессу: Ахиллес не совершает бесконечного множества дел, он совершает одно движение, которое описание режет на сколько угодно частей. Деление — потенциальный процесс: делимо не значит разделено. Сигнал: инструмент не по объекту.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: внутри описания всё честно: на каждом шаге черепаха впереди — истинно. Ложен только перенос «на каждом шаге» → «всегда». Проблема не в выводе.
Домен 6 — Рефлексия: встреча наблюдается всяким бегом — сигнал: описание не покрывает событие; возврат к домену 2. Заметить стоит и обратное: ходьба Диогена дефекта не вскрывает — она лишь сигналит; растворение — работа логики.
Диагноз
Домен ошибки: Домен 2 (прояснение) — первичный; Домен 3 (выбор рамки) — вторичный. Тип: дефектный — ложная посылка: «бесконечно много шагов требуют бесконечного времени». Нарушенные законы: Тождество — «никогда» (квантор по времени) подменён «ни на одном шаге» (квантор по членам описания); свойство инструмента приписано объекту. Суть дефекта: граница покрытия описания выдана за границу движения. На триаде E/R/R: Правило описания (перечень догоняющих шагов) покрывает лишь часть Элемента (движения) — и свойство Правила выдано за свойство Элемента.
Растворение
Счёт, диагностика, основание. Счёт: при форе сто метров и десятикратной скорости встреча — на отметке 1000/9 ≈ 111,1 м; времена шагов образуют геометрический ряд, его сумма конечна — «бесконечно много слагаемых» не значит «бесконечная сумма». Диагностика: череда Зенона перечисляет все моменты до встречи — внутри неё встречи нет по построению, как в списке чисел, меньших единицы, нет единицы; «отсутствует в списке» не значит «не существует» — список просто кончается раньше события, и его границу апория выдала за границу мира. Основание — процессное: бесконечность деления потенциальна; путь делим без конца, но движению не предъявлено «выполнить бесконечное множество актов» — актов ровно столько, сколько нарезало описание. Сумма ряда — не завершённая бесконечность, а процесс с ограниченным пределом; встреча — событие движения, а не последний член списка, потому её и нет среди членов. Аристотель сказал это первым, и добавить пришлось лишь строгий счёт. Честная граница: анализ отвечает, где и когда встреча; растворение апории отвечает, почему «никогда» казалось выводом — оба ответа нужны, и второй не сводится к первому.
Урок
Об инструменте и объекте. Свойства описания не переносятся на описываемое: бесконечность членов ряда — факт о ряде, не о беге. О кванторе «никогда». Услышав «никогда», спроси: по чему квантор — по времени или по членам чьего-то списка? О потенциальной бесконечности. Делимость — не разделённость; процесс — не завершённый объект: половина парадоксов бесконечности — забвение этой разницы. О наблюдении. Эмпирия (solvitur ambulando) сигналит, что описание дефектно, — но где именно, показывает только разбор.
Родня по механизму
Дихотомия Зенона (та же механика на полуотрезках — до цели «не дойти»), Стрела Зенона (третья апория — о движении в мгновении), Лампа Томсона и Росс-Литтлвуд (супертаски — прямые наследники), Отель Гильберта (актуальная бесконечность, взятая как объект), Черепаха Кэрролла (те же персонажи в логической гонке).
Машинная проверка. Сходимость, решающая счётную часть, формализована процессно: geometric_series_cauchy, series_limit (src/SeriesConvergence.v — сумма геометрического ряда как процесс Коши над Q); сама бесконечность-как-процесс — ядро базы: RealProcess := nat -> Q (src/process/ProcessCore.v, P4). В реестре 46 — D13_ZenoAchilles, и диагноз зашит в запись: поле InstrumentObjectMismatch — «инструмент не по объекту»; растворение отводом посылки (defective_46_requires_rejection — ParadoxDissolution.v). Честная пометка: ProcessQuantumZeno.v в базе — о квантовой физике измерений, не об апории. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс