У Плутарха корабль Тесея хранится в Афинах как реликвия: доски ветшают, их по одной заменяют новыми. Через годы не остаётся ни одной родной. Тот же это корабль? А Гоббс добавил нож в спину: пусть кто-то подбирал старые доски и собрал из них второй корабль. Теперь их два — и который настоящий? Этому спору 2400 лет, и слово «парадокс» приросло к нему намертво. Мы сделали с ним то же, что раньше с Платоном и Агриппой: прогнали через программу-судью. Спойлер: парадокса внутри не нашлось. Нашлось кое-что другое.

Сразу честно: главная идея разборки — не наша, ей столько же лет, сколько спору. Уже сам Гоббс различал «единство материи» и «единство формы»; Гич и Виггинс век назад требовали уточнять: тот же — что? Слово «тот же» — это несколько разных вопросов в одной одёжке. Наш вклад другой: мы собрали эти старые ответы и поставили на весы — каждый вопрос получил проверяльщика, программу, которая отвечает с предъявленным доказательством.

Три вопроса — три мгновенных ответа. Те же доски? Нет — с первой же замены, и проверяльщик называет виновницу поимённо. Та же форма? Да — всегда, свидетельство прилагается и перепроверяется на каждом шаге. Та же непрерывная история? Да — у плавающего корабля (цепочка предъявлена: каждый шаг — целый корабль, одна доска за раз); нет — у собранного из старья (его история проходит через склад, где он был грудой, и обрыв назван). Никакой мистики не осталось.

И вот первый настоящий улов: постепенности не существует. Вся жуть парадокса держится на ощущении «где-то между десятой и двадцатой доской корабль перестал быть тем же». Замер: одно отношение умирает на первой доске и дальше мертво стабильно; другое не умирает никогда. Посередине не происходит ничего. Ощущение постепенной потери — артефакт смешивания двух отношений в одном слове. (Парфит говорил: тождество не бывает наполовину. Теперь это не афоризм, а протокол прогона.)

Дальше — паспортный стол. В нашем инструменте есть классификатор, который каждому странному вопросу выписывает документ. Контрольная гиря: лжец («это предложение ложно») получает паспорт ПАРАДОКС — ни одного непротиворечивого варианта, отказ навсегда. Так вот: во всём корабле Тесея классификатор не нашёл ни одного парадоксального компонента. Шесть проверяемых фактов — и один незаполненный бланк: спор «настоящий — я, потому что не он» имеет ровно два непротиворечивых решения, «Тесеев — этот» или «Тесеев — тот». Логика не выбирает между ними, потому что выбирать тут — не её работа: это вопрос указа, как имя в ордере на квартиру. Лжец и Рассел звание «парадокс» заслужили. Тесей носил его без документов.

А теперь уберём и указ. Кто сказал, что настоящий должен быть один? Запишем каждому кораблю титул по его собственным основаниям — и машина спокойно отвечает: настоящих двое, оба заработанно, без всякого карантина. Мучительное «который же на самом деле?» появляется в системе только тогда, когда мы своей рукой вписываем в определения аксиому единственности — а её саму никто не заработал. С людьми это виднее всего. Человеку меняют по одной клетке: с каждой новой он осознаёт себя целым — и до конца остаётся собой, цепочка не рвётся. А тот, кого собирают из его прежних клеток, по клетке собирает и своё осознание — и это просто второй субъект со своей собственной цепочкой. Не парадокс — двое. (И это растворение известно: у Парфита деление личности, и критики давно зовут запрет на ветвление произвольным. Наше — что теперь видно, в какой именно строчке определений сидит вся драма.)

Финал — про то, что от загадки честно остаётся. Корабль оказался лёгкой задачей, потому что его тождество — конечный список проверок: проверил доски, форму, историю — закрыл вопрос. С человеком так не выходит. «Тот же человек» конечным списком не записывается; честная запись кусает свой хвост: тот же — это совпадает сейчас и тот же дальше. Машина выносит по такой записи два вердикта. Опровергнуть тождество можно — одна несовпавшая улика, и оно рушится само, мгновенно и навсегда. А вот подтвердить — нельзя никаким конечным наблюдением: сколько бы лет человек ни совпадал с собой, ядро отвечает «решайте сами». Узнавать в ком-то того же человека — значит ежедневно продлевать кредит, который любая улика может закрыть. Настоящая загадка Тесея всегда была не про доски. Она про нас.

Итог по-честному: мы не решили древний спор и не первые сказали «это не парадокс» — таких растворений в философии написано немало, словами. Мы сделали другое: собрали лучшие из старых ответов и поставили на весы с контрольной гирей. Весы показали: шесть фактов, один бланк для указа, ноль парадоксов — и один по-настоящему тёмный остаток, который называется «личность». Судья не разгадал Тесея. Он снял с него чужое звание.

Технические детали: эталонный прогон — dilemmas/theseus.py в открытом репозитории github.com/inventor1975/ZTL (девять измерений, воспроизводимы одной командой); паспорта парадоксов — экспедиция E18, выкупаемость кредита — E27; судья: ztl.vitalyreznik.com. Предыдущие серии — «Спор, которому 2400 лет, и программа-судья» и «Трилемма Агриппы: прейскурант вместо приговора».

Раскрытие: текст и код подготовлены в соавторстве с ИИ (Claude Fable 5, Anthropic; вариант A — человек ставит задачи, проверяет и отвечает за результат). Куратор — Виталий Резник.