D.25 · дефектный парадокс · подтип: Неопределённость понятия
Ross-Littlewood
Суть ошибки. Бесконечные операции не коммутативны
Точная формулировка
За минуту до полудня в вазу кладут шары с номерами 1–10 и вынимают шар 1. За полминуты — кладут 11–20, вынимают шар 2. За четверть — кладут 21–30, вынимают шар 3… Шаги учащаются, к полудню их выполнено бесконечно много. Сколько шаров в вазе в полдень? Счёт: каждый шаг добавляет девять — к полудню бесконечно много. Судьбы: шар n вынут на шаге n и не возвращён — ни один шар не остаётся: ваза пуста. Бесконечно много — и ноль.
Происхождение
Литтлвуд бросил задачу одной заметкой в «A Mathematician’s Miscellany» (1953) — как «парадокс бесконечности»; Росс развил её в учебнике вероятности (1988), добавив жалящую вариацию: если на каждом шаге вынимать шар случайно, ваза в полдень пуста с вероятностью единица. Литература разделилась на три лагеря — «пуста» (поэлементный предел: каждый шар вынут), «бесконечна» (счёт: прибыло больше, чем убыло), «вопрос недоопределён» — и спор этот стал финальным экспонатом жанра супертасков: здесь, в отличие от лампы, даже кажется, что ответ есть, — и оттого поучительнее видеть, откуда он на деле берётся.
Следствие
Главный урок узла — некоммутативность: предел числа элементов и число элементов предела — разные величины, и их равенство — привилегия конечного. Второй урок — зависимость от порядка: вынимай на каждом шаге не наименьший номер, а наибольший — и в полдень ваза бесконечна (все малые номера никто не тронул); тот же баланс «плюс десять, минус один» — противоположный «итог». Значит, итог супертаска — не функция баланса: «сколько положено и вынуто» не определяет «что осталось», когда шагов бесконечно много. Практическая тень урока — всякая перестановка предела с другой операцией (суммой, счётом, интегралом): на бесконечном она требует отдельного права, и половина ложных «чудес» анализа — перестановки без права.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: ваза, нумерованные шары, череда шагов «добавить десять — вынуть один», полдень, вопрос «сколько». Сигнал: вопрос о моменте вне черды — как у лампы.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Сколько шаров в полдень» склеивает два разных вопроса. Первый: каков предел количества? Процесс количества — 9, 18, 27, … — растёт неограниченно: предела нет («∞» — жаргон для расходимости, не значение). Второй: какова судьба каждого шара? Шар n вынут на шаге n и не возвращён — судьба каждого сходится к «вне вазы». Ответы «∞» и «0» отвечают на разные вопросы — противоречия между ними не больше, чем между ростом списка и пустотой его пересечения. Сигнал: одно слово «сколько» — два процесса.
Домен 3 — Выбор рамки: второй слой: молчаливая перестановка предела и счёта — «число элементов в пределе = предел числа элементов» — незаконна на бесконечном; инструмент конечных вычислений перенесён без права.
Домен 4 — Сравнение: показательно: «∞ против 0» сравнивает ответы на разные вопросы — сравнение без общей рамки.
Домен 5 — Вывод: обе линии честны, каждая в своём вопросе. Проблема не в выводе.
Домен 6 — Рефлексия: итог меняется от порядка изъятия при том же балансе — сигнал: «итог» не определён условием, а вносится конвенцией; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — неопределённость: вопрос не различает предел числа и число предела. Нарушенные законы: Тождество — «сколько в полдень» обслуживает два разных вопроса; Достаточное Основание — значение «в полдень» не задано чередой: полдень — не шаг, ответ требует конвенции продолжения. Суть дефекта: незаконная перестановка двух операций — предельного перехода и подсчёта. На триаде E/R/R: процесс количества и процессы судеб шаров — разные Правила; итог одного выдан за итог другого.
Растворение
Развод вопросов делает главное. Предел количества: процесс 9, 18, 27, … расходится — у него нет предельного значения, и ответ «бесконечно много» честен лишь как описание роста, не как состояние. Состав: для каждого n шар n покинул вазу на шаге n навсегда — ни одна судьба не ведёт «остаться»; если доопределять состав в полдень поэлементным пределом, ваза пуста. Ответы не спорят: предел числа элементов не обязан равняться числу элементов предела — на бесконечном эти операции не переставимы, и узел жив ровно столько, сколько длится вера в перестановку. Порядковая вариация доводит урок: вынимая наибольшие номера, получаем бесконечный состав при том же балансе — «что осталось» определяется судьбами, не бухгалтерией. Остаётся статус ответа «пуста» — и здесь честность важнее победы: полдень — момент вне черды, как у лампы; но в отличие от лампы, где состояния мечутся и не сходятся, здесь судьба каждого шара сходится — потому поэлементное доопределение выделено самой задачей, и «пуста» — лучший из ответов; статус его, однако, — доопределение сходящихся судеб, а не вывод из черды: условие само о полудне молчит. Вероятностная вишня Росса венчает: при случайном изъятии судьба каждого шара — «рано или поздно вынут» почти наверное, и ваза пуста с вероятностью единица.
Урок
О перестановке операций. Предел и счёт (сумма, интеграл, мощность) не коммутируют на бесконечном; каждое равенство «предел агрегата = агрегат пределов» требует отдельного права. О балансе и судьбах. Глобальная бухгалтерия не определяет поэлементного итога: что осталось — вопрос судеб, не сальдо. О статусе ответов. «Пуста» — доопределение по сходящимся судьбам; «бесконечна» — жаргон о расходимости; «парадокс» — склейка двух вопросов в одно слово.
Родня по механизму
Лампа Томсона (пара для сравнения: там судьбы-состояния не сходятся — недоопределено всё; здесь сходятся — доопределение выделено), Отель Гильберта (бухгалтерия на бесконечном), Галилей (счёт против соответствия — та же пара операций веком раньше), Дихотомия Зенона (момент вне черды), условно сходящиеся ряды (перестановка слагаемых меняет сумму — арифметический близнец порядковой вариации).
Машинная проверка. В реестре 46 — D25_RossLittlewood: поле ConceptualAmbiguity, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Процессное основание: предельное значение — предикат фундаментального процесса (src/CauchyReal.v); процесс количества 9, 18, 27, … фундаментальным не является — «предел количества» не имеет носителя, тогда как судьба каждого шара — сходящийся (финально постоянный) процесс: разница двух вопросов видна в самой базе. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс