D.22 · дефектный парадокс · подтип: Неопределённость понятия
Galileo’s Paradox
Суть ошибки. «Столько же» меняет значение (количество → биекция)
Точная формулировка
Натуральные числа: 1, 2, 3, 4, … Квадраты: 1, 4, 9, 16, … Каждому числу отвечает ровно один квадрат (n → n²), каждому квадрату — ровно одно число (n² → n): соответствие взаимно однозначно — квадратов столько же, сколько чисел. Но квадраты — часть натуральных чисел, и часть редеющая: среди первой сотни их десять, среди первого миллиона — тысяча. Часть не может равняться целому — квадратов меньше. Столько же — и меньше, разом.
Происхождение
Галилео Галилей, «Беседы и математические доказательства двух новых наук» (1638): проблему формулирует Сальвиати, голос автора. Замечания о «части, равной целому» встречались и у средневековых авторов, но Галилей дал узлу каноническую форму — и собственный вердикт: «атрибуты „равно“, „больше“ и „меньше“ неприменимы к бесконечным величинам, а только к конечным». Дальше линия раздваивается. Больцано («Парадоксы бесконечного», 1851) принял биекции части и целого всерьёз; Дедекинд (1888) сделал изящный переворот — объявил равномощность собственной части определением бесконечного множества; Кантор положил соответствие в основу понятия мощности: два множества «равномощны», если между ними есть биекция, — и парадокс исчез ценой переопределения слова «столько же». Каталог держит вердикт Галилея — по канону тома «Математика»: это был правильный диагноз, а не капитуляция.
Следствие
Узел вскрыл конфликт двух принципов сравнения, невидимый на конечном. Принцип Евклида: целое больше части. Принцип соответствия (позже — принцип Юма): равночисленно то, что спаривается без остатка. На конечных наборах они согласны всегда — потому и кажутся одним понятием «столько же». На бесконечных они расходятся — и каждая школа выбрала своё: Кантор пожертвовал Евклидом, Галилей отвёл оба как неприменимые. Важно видеть статус выбора: Кантор не обнаружил, что квадратов столько же, — он определил «столько же» так, чтобы это стало истинным; определение может быть плодотворным, но оно не открытие о том, «сколько на самом деле». Прямое потомство узла — Отель Гильберта (то же соответствие в декорации комнат) и вся лестница к иерархии бесконечностей.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: два ряда, вложение (каждый квадрат — число), соответствие (n ↔ n²), вопрос «сколько». Сигнал: два честных наблюдения тянут в разные стороны.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Столько же» двоится. Первое значение — счётное: пересчитали оба набора, счёт завершился, итоги равны; оно же несёт принцип части-целого — оба определены через границы и завершённость. Второе значение — соответственное: существует спаривание без остатка. На конечном значения совпадают всегда — на бесконечном первое неопределимо (счёт не завершается, границ нет), второе определимо и истинно. «Противоречие» — столкновение двух значений одного слова, а не двух истин об одном предмете. Сигнал: эквивокация на границе области применимости.
Домен 3 — Выбор рамки: второй слой: рамка счёта — инструмент, требующий завершённости, — приложена к безграничному; ровно это и сказал Галилей.
Домен 4 — Сравнение: показательно: оба сравнения проведены честно — вложение реально, биекция реальна; конфликтуют не операции, а склейка их вердиктов в одно слово.
Домен 5 — Вывод: обе линии безупречны. Проблема не в выводе.
Домен 6 — Рефлексия: «столько же и меньше» — сигнал: развести значения; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — неопределённость понятия: эквивокация «столько же». Нарушенные законы: Тождество — одно слово обслуживает два отношения: счётное равенство (через границы) и существование соответствия; предикаты «равно», «больше», «меньше» определены через границы, которых у безграничного нет. Суть дефекта: количественное сравнение применено к объектам, для которых оно не определено, и подменено сравнением по соответствию под тем же именем. На триаде E/R/R: Правило сравнения количеств, выкованное на конечных Элементах, подменено другим Правилом (соответствием) с сохранением имени.
Растворение
Развод значений закрывает узел. «Столько же по счёту» на бесконечных рядах не определено: счёт не завершается, а «часть меньше целого» предполагает границы, которых нет, — эта ветвь не ложна, она беспредметна. «Существует биекция n ↔ n²» — определено и истинно, но это факт о соответствии, не о количестве. Противоречие испаряется: у него не остаётся единого носителя — «столько же₁» неприменимо, «столько же₂» истинно, и это разные предикаты. Вердикт Галилея оказывается точным диагнозом категориальной границы: атрибуты сравнения живут там, где есть края. Канторианская линия честна как определение — и нечестна как открытие: «равномощность» работает, пока помнишь, что это термин о соответствиях, а не ответ на вопрос «сколько квадратов на самом деле»; такого ответа нет, потому что вопрос за границей области. Ход Дедекинда — самый изящный в семье: он не спорил о слове, а сделал странность критерием — бесконечно то, что равномощно собственной части; свойство соответствия стало определением, и слово «количество» не понадобилось вовсе. Аксиома Евклида и принцип Юма совместны на конечном и расходятся на бесконечном; выбор между ними — конвенция, и позади этого выбора нет скрытого факта.
Урок
Об эквивокации на границе. Два критерия, совпадающие на привычной области, срастаются в одно слово; за границей области они расходятся — и слово рвётся с треском «парадокса». Проверяй, какой критерий несёт слово, когда область меняется. Об определении и открытии. «Мы определили X так-то» и «мы обнаружили, что X» — разные акты; выдача первого за второе — источник половины «контринтуитивных свойств» бесконечности. О сигнале интуиции. Интуиция «часть меньше целого» не глупа — она сигналит, что понятие вышло за пределы применимости; слушать этот сигнал — работа домена 2.
Родня по механизму
Отель Гильберта (то же соответствие части и целого в декорации комнат), Кантор (куда ведёт выбор принципа Юма), Рогатый (эквивокация — словесный механизм в чистом виде), Банах-Тарский (следующая ступень той же лестницы: «части», у которых нет меры).
Машинная проверка. В реестре 46 — D22_Galileo: поле ConceptualAmbiguity (двоение «столько же»), категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Процессное основание — то же, что у отеля: бесконечность как правило продолжения (RealProcess := nat -> Q, src/process/ProcessCore.v); соответствие n ↔ n² в этом чтении — честная операция над процессами, вопрос «сколько» к ним не ставится. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс