D.24 · дефектный парадокс · подтип: Неопределённость понятия
Thomson’s Lamp
Суть ошибки. «После бесконечности» — бессмысленно
Точная формулировка
Лампа с кнопкой. Полминуты она горит, четверть минуты выключена, восьмую — горит, шестнадцатую — выключена… Длительности убывают вдвое, их сумма — минута: к концу минуты выполнено бесконечно много переключений. Вопрос: горит ли лампа в момент ровно одной минуты? Горит — невозможно: за каждым включением следовало выключение. Не горит — невозможно: за каждым выключением следовало включение. Ни один ответ не выводится.
Происхождение
Джеймс Томсон, «Tasks and Super-Tasks» (Analysis, 1954) — статья, подарившая философии сам термин «супертаск»: бесконечная последовательность актов, выполненная за конечное время. Лампу Томсон строил как оружие: раз состояние в конце минуты не выводимо ни «горит», ни «не горит» — супертаск невозможен. Бенацерраф («Tasks, Super-Tasks, and the Modern Eleatics», 1962) разоружил вывод одним ходом: описание задаёт состояния лампы на всех моментах до минуты — и ничего не говорит о самой минуте; из «не выводимо из описания» не следует «невозможно» — следует «описание молчит». Томсон согласился. Дискуссия ушла дальше: Грюнбаум о кинематике супертасков, Эрман и Нортон о супертасках в общей теории относительности, литература о «машинах Зенона», решающих невычислимое за две минуты, — по цене всё той же фикции завершённого бесконечного. Корень жанра очевиден: лампа — дихотомия, прочитанная с другого конца.
Следствие
Лампа — эталон недоопределённости, надетой на вид противоречия, и арифметическая тень у неё знаменитая: последовательность состояний 1, 0, 1, 0, … — это ряд Гранди 1 − 1 + 1 − 1 + …, не имеющий суммы; «полусумма 1/2» Абелева суммирования — переопределение слова «сумма», и шутка «лампа полугорит» честно показывает цену такого ответа. Второе наследство — водораздел внутри самого супертаска: сходимость длительностей (геометрический ряд — честный счёт, тот же, что у Зенона) и «завершённость» черды актов — разные вещи: сумма времён есть, «последнего переключения» нет. Третье — граница гиперкомпьютинга: машина, «выполнившая бесконечно много шагов», наследует вопрос лампы — что значит её «итоговое» состояние?
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: лампа, два состояния, геометрическая череда переключений, момент t = 1, вопрос о состоянии в нём. Сигнал: вопрос о «после всех членов» черды, у которой нет последнего члена.
Домен 2 — Прояснение: что означают термины? Здесь дефект — двойной. «Выполнены все переключения» — завершённость незавершаемого: отель в динамике, «завершённое незавершаемое» — оксюморон той же пробы, что «полная бесконечность». «Состояние в t = 1» — чем определено? Состояние лампы в момент t определяется последним переключением до t; у черды нет последнего члена — определение не дотягивается до минуты. Последовательность состояний не сходится — предельного значения нет не потому, что оно загадочно, а по построению. Сигнал: вопрос требует значения там, где определение молчит.
Домен 3 — Выбор рамки: инструмент «значение в пределе» приложен к несходящемуся процессу — родня стрелы: требование свойства там, где оно не определено.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: обе ветви честны — но доказывают лишь невыводимость друг друга: «горит» не выводимо и «не горит» не выводимо. Из этого Томсон заключил «невозможно» — а следовало «недоопределено» (Бенацерраф). Проблема не в ветвях, а в прочтении их итога.
Домен 6 — Рефлексия: «ни горит, ни не горит» — сигнал: проверь, определяет ли условие ответ; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — неопределённость: состояние «после бесконечности» не задано условием. Нарушенные законы: Достаточное Основание — у любого ответа нет основания в условии: описание не определяет значения в t = 1; Исключённое третье при этом цело — физическая лампа была бы в каком-то состоянии; молчит не бытие, молчит описание. Суть дефекта: «после всех шагов» — не шаг; вопрос спрашивает Элемент там, куда Правило процесса не назначает. На триаде E/R/R — ровно это: Правило задаёт состояние на каждом шаге черды, t = 1 не принадлежит черде.
Растворение
Ход Бенацеррафа — ядро: состояния на всех моментах до минуты не накладывают никакого ограничения на минуту; оба «опровержения» опровергают выводимость, не возможность. Условие недоопределено — его можно непротиворечиво доопределить любым способом: лампа горит, не горит, испарилась; ни одно доопределение не спорит с чередой переключений, потому что череда о минуте молчит. Процессный слой даёт этому точную форму: последовательность 1, 0, 1, 0, … не фундаментальна — не сходится; «значение в пределе» — предикат сходящегося процесса, и спрашивать его у несходящегося — как спрашивать сумму ряда Гранди: ответа нет не по слабости счёта, а по отсутствию носителя. И честный развод с Зеноном, важный для всего блока: у Ахиллеса есть целое — движение, а описание лишь режет его, потому встреча существует, хоть и не значится в списке; у лампы целого нет — лампа и есть её череда переключений, описание не частично, оно исчерпывающе — и исчерпывающе молчит о минуте. Там граница описания выдавалась за границу мира; тут мир и не задан за границей описания. Сходимость длительностей (минута набирается — честный геометрический ряд) не спасает: сумма времён — предел процесса времён, а «состояние после всех актов» — не предел процесса состояний, ибо предела нет.
Урок
О недоопределённости. «Ни да ни нет» не всегда противоречие — часто это «условие молчит»; различай невыводимость и невозможность. О пределе. Значение в пределе — привилегия сходимости; несходящемуся процессу нечего предъявить в t = 1. О двух чередах. В супертаске сходятся длительности, но не «завершается» череда актов: последнего акта нет, «после всех» — не момент черды. О зеркале Зенона. Частичное описание целого (Зенон) и полное описание без целого (лампа) — противоположные дефекты одной семьи: не путать, какой перед тобой.
Родня по механизму
Дихотомия Зенона («перед всеми шагами» — зеркальный вопрос), Стрела Зенона (свойство там, где не определено), Отель Гильберта (завершённость незавершаемого — статика того же), Росс-Литтлвуд (следующая ступень: «итог» супертаска, зависящий от порядка актов), ряд Гранди (арифметическая тень), машины Зенона в гиперкомпьютинге.
Машинная проверка. В реестре 46 — D24_ThomsonLamp: поле ConceptualAmbiguity, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Процессное основание: предельное значение в базе — предикат фундаментального (Коши) процесса (src/CauchyReal.v, RealProcess); последовательность 1, 0, 1, 0, … фундаментальной не является, и вопрос «значение в пределе» к ней не ставится — у вопроса нет носителя. Сходимость длительностей — честная: geometric_series_cauchy (src/SeriesConvergence.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс