D.12 · дефектный парадокс · подтип: Ложная посылка
Grandfather Paradox
Суть ошибки. «Изменяемое прошлое» — противоречивая концепция
Точная формулировка
Путешественник отправляется в прошлое и убивает своего деда до зачатия отца. Тогда путешественник не рождается — и некому отправиться в прошлое и убить деда; дед жив, путешественник рождается, отправляется, убивает… Удавшееся убийство отменяет убийцу, отменённый убийца отменяет убийство. Любая версия событий опровергает сама себя.
Происхождение
Имя узла пришло из фантастики: спор о «внуке-убийце» шумел в письмах читателей палп-журналов уже на рубеже 1920–30-х, а классическую сцену дал Баржавель («Неосторожный путешественник», 1943). Затем вопрос стал научным по обе стороны. Физика: Гёдель (1949) предъявил решение уравнений общей теории относительности с замкнутыми времениподобными кривыми — вопрос о «путешествии в прошлое» перестал быть чисто словесным; Новиков сформулировал принцип самосогласованности; Хокинг ответил гипотезой защиты хронологии (1992); задача о бильярдном шаре, влетающем в собственное прошлое, разбиралась школой Торна всерьёз. Философия: Льюис («The Paradoxes of Time Travel», 1976) вскрыл двусмысленность слова «может» — путешественник может убить деда в смысле способностей (руки, оружие, дед в прицеле) и не может в смысле совместимости с фактами: год, в который он прибыл, уже содержит выжившего деда.
Следствие
Узел стал пробным камнем понятия времени. Он породил семью: петля предопределения (предмет или сведение без источника — путешественник передаёт себе молодому чертёж машины времени: у чертежа нет автора), казуистика «изменённых» биографий, физическая программа исследования замкнутых кривых. Главное же следствие — водораздел вопросов: логический (могут ли быть противоречивые истории — нет, и это решено) и физический (допускает ли мир причинные петли — открыт). Логика не запрещает путешествий; логика запрещает противоречие — и рассказ о дедушке нарушает именно её запрет, а не запрет техники.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: путешественник, машина, дед, убийство, рождение. Структура: действие направлено против причинной цепи, ведущей к самому действию. Сигнал: самоподрыв виден сразу.
Домен 2 — Прояснение: что означают термины? «Изменить прошлое» — что это? Прошлое — то, что произошло; изменить его — сделать произошедшее непроизошедшим: A и не-A об одном факте. Рядом двусмысленность Льюиса: «попасть в прошлое» и «изменить прошлое» — разные понятия, а «может убить» двоится между способностью и совместимостью с фактами. Сигнал: посылка сценария несёт противоречие в себе.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Здесь дефект. Сценарий берёт время в рамке пространства: прошлое — место, куда можно прийти и переставить вещи. Но прошлое — не сцена, а свершившаяся часть причинного порядка, и порядок этот строг: основание прежде следствия, событие не бывает собственным предком. Рамка «редактируемого прошлого» вносит ложную посылку в саму постановку. Сигнал: ацикличность причинного порядка нарушена условием задачи.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: безупречен — и это ключ: из посылки «прошлое изменяемо» корректно выведено противоречие. Перед нами не загадка, а готовое reductio ad absurdum посылки.
Домен 6 — Рефлексия: каждая версия событий отменяет себя — сигнал: отвести посылку; возврат к домену 3.
Диагноз
Домен ошибки: Домен 3 (выбор рамки: время взято как пространство). Тип: дефектный — ложная посылка: «прошлое изменяемо». Нарушенные законы: Непротиворечие — факт произошёл и не произошёл; Порядок — причинный порядок строг: событие, устраняющее собственную причину, было бы собственным предком. Суть дефекта: сценарий требует, чтобы следствие стояло прежде своего основания. На триаде E/R/R: Правило причинного порядка ациклично — сценарий требует Элемента, который сам себе предок.
Растворение
Три слоя, от логики к физике. Первый — прочитать рассказ как доказательство: цепочка «убил деда → не родился → не убил» — корректный вывод противоречия из посылки об изменяемом прошлом; посылка ложна, и это всё, что рассказ доказывает. Второй — развести смыслы Льюиса: по способностям путешественник может убить, по совокупности фактов — нет; противоречие живёт только при смешении двух «может». Прибытие в прошлое без изменения — самосогласованная история: путешественник всегда был в том году и всегда промахивался — логике не противна; «принцип самосогласованности» Новикова и есть непротиворечие, прочитанное на историях с петлёй. Третий — отдать физике её вопрос: существуют ли замкнутые времениподобные кривые — дело уравнений и наблюдений (Гёдель показал, что теория их допускает; Хокинг предположил защиту хронологии), но при любом ответе физики противоречивых историй не будет: «изменить произошедшее» не вернётся ни в одной. В формальной базе причинный порядок выведен строгим и ацикличным — событие не бывает собственным предком, и это тот же запрет вертикали, что блокирует Рассела: «сам себе предок» — причинная одежда «сам себе элемента».
Урок
О посылках-невидимках. «Я могу изменить прошлое» выглядит деталью сценария, а несёт противоречие: проверяй антураж — дефект любит прятаться в декорациях. О двусмысленности «может». Способность и совместимость с фактами — разные модальности; их смешение — мотор половины споров о свободе и судьбе. О разделении вопросов. Логический вопрос решён (противоречивых историй нет), физический открыт (есть ли петли) — смешение двух вопросов делает открытым решённый. О родстве запретов. Ацикличность причинного порядка — та же иерархическая вертикаль, что в теории множеств: узлы разных наук держит один закон.
Родня по механизму
Рассел (машинно зафиксированная родня: один запрет рефлексивной петли), петля предопределения (bootstrap: предмет без происхождения — вторая беда той же рамки), Ньюком (действие, «влияющее» на уже зафиксированное), бильярдный шар Полчинского (физическая форма узла).
Машинная проверка. Именной разбор есть: src/foundation/ObserverSystemTime.v — no_causal_loop (причинный порядок ацикличен: событие не бывает собственным строгим предком; петля дедушки блокирована той же иррефлексивностью P1, что Рассел и Кантор — так и записано в файле), proper_irreversible и cannot_move_back (собственное время необратимо), свод observer_system_time. В реестре 46 — D12_Grandfather: категория «дефектный», растворение отводом посылки (defective_46_requires_rejection — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс