D.18 · дефектный парадокс · подтип: Ошибка в рассуждении
Horse Paradox
Суть ошибки. Ошибка в базе индукции при n=1
Точная формулировка
Теорема: все лошади одной масти. Доказательство — индукцией по числу лошадей. База: одна лошадь одномастна сама с собой — верно. Шаг: пусть любые n лошадей одномастны; возьмём n+1 лошадь. Убрав первую, получим n лошадей — по предположению одномастных; убрав вместо неё последнюю — другие n, тоже одномастных. Лошади, входящие в обе группы, связывают их: масть первой группы равна масти общих лошадей, а та — масти второй. Значит, все n+1 одномастны. По индукции — все лошади мира одной масти.
Происхождение
Учебная шутка с точным адресом: Пойа разбирал её в «Индукции и аналогии в математике» (1954) как образцовое ложное доказательство. Жанр старше — «доказательства» 1 = 2 через спрятанное деление на ноль, «все треугольники равнобедренны» через лукавый чертёж (у Роуза Болла) — но лошади стали каноном курсов математической индукции: пример, на котором студент обязан найти дыру сам. В каталоге узел представляет чистейший подтип: посылки здоровы, понятия ясны («масть» достаточно чётка — это не сорит), ложен сам ход.
Следствие
Урок узла — о кванторе в доказательстве шага: «пусть n произвольно» обязывает рассуждение работать при каждом n, включая наименьшие; картинка, нарисованная для большого n, молча предполагает то, чего у малого n нет. Отсюда прямая практическая родня: пограничные случаи в математике (индукция, требующая двух баз; рекурсии с особым первым шагом) и в программировании — ошибки на единицу, пустые списки, вырожденные входы: половина реальных сбоев — лошадиный парадокс в коде. И контраст, проясняющий оба узла: сорит ломает индукцию негодным понятием — шаг приблизителен всюду; лошади ломают её точечной дырой — шаг строг везде, кроме одного звена. Двух способов достаточно, чтобы падало всё.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: база, индуктивный шаг с двумя группами, вывод. Сигнал: вывод эмпирически ложен — вороная и белая стоят рядом; дыра где-то в доказательстве.
Домен 2 — Прояснение: что означают термины? Термины чисты: «масть», «группа», «общие лошади» — всё определено. Дефект не здесь — и это отличает узел от соседей по каталогу.
Домен 3 — Выбор рамки: индукция — законный инструмент для чётких свойств; рамка верна.
Домен 4 — Сравнение: как проведено? Здесь дефект. Мост шага — сравнение двух групп через общих членов: масть первой = масть общих = масть второй. Но при n = 1 две группы — по одной лошади каждая — не пересекаются: общих членов нет, сравнение через них не проведено, мост повисает в воздухе. Рассуждение молча предполагает n ≥ 2. Сигнал: сравнение объявлено, но на границе не существует.
Домен 5 — Вывод: все переходы при n ≥ 2 честны; ложен ровно один — от одной лошади к двум. Одного и достаточно.
Домен 6 — Рефлексия: ложный вывод при «строгом» доказательстве — сигнал: прогони шаг на наименьшем n; возврат к домену 4.
Диагноз
Домен ошибки: Домен 4 (сравнение — мост через пустое пересечение). Тип: дефектный — ошибка в рассуждении: шаг индукции не покрывает границу. Нарушенные законы: Достаточное Основание — переход 1 → 2 не обоснован ничем: связующее сравнение опирается на несуществующих общих членов. Суть дефекта: «для произвольного n» доказано лишь для n ≥ 2; единственное непокрытое звено — и им держался весь вывод (потому дыру часто описывают как «дефект базы»: у индукции нет опоры на первом переходе — счёт один, имена разные). На триаде E/R/R: Правило (шаг) заявлено для всех Элементов, а построено для части — Правило с дырой на границе.
Растворение
Прогон на n = 1 обнажает всё. Две лошади: убираем первую — вторая «группа» одномастна сама с собой; убираем вторую — первая тоже; но общей лошади у групп нет — масти двух групп ничем не связаны, и заключить «обе лошади одномастны» не из чего. Мост через пересечение существует лишь при n ≥ 2 — а туда доказательство не добирается: чтобы пользоваться переходами 2 → 3 → 4 → …, нужно сперва иметь P(2), и весь вес мира лежит на невозможном переходе 1 → 2. Поучительна и контрфактическая проверка: докажи кто-нибудь честно, что любые две лошади одномастны, — дальше индукция поехала бы безупречно; вся ложность «теоремы» сосредоточена в одном звене, и найти его можно только прогнав шаг на наименьшем значении. Это и есть правило гигиены, которое узел завещал: доказательство «для произвольного n» проверяется на самом малом n, какое допускает формулировка.
Урок
О границах квантора. «Пусть n произвольно» — обещание, которое надо сдержать и при n = 1; картинка для большого n — не доказательство для всех. О цене звена. Индукция — цепь: одна дыра обрушивает всё, и строгость остальных звеньев её не искупает. О двух поломках индукции. Негодное понятие (сорит) и дырявый шаг (лошади) — разные болезни с разным лечением: там — отвод инструмента, тут — починка или честный отказ от «теоремы». О практике. Пустой список, нулевой индекс, единственный элемент — прогоняй рассуждение и код на вырожденном случае первым.
Родня по механизму
Сорит (контраст: индукция на негодном понятии против дырявого шага), «доказательства» 1 = 2 (спрятанное деление на ноль — жанр ложных доказательств), «все треугольники равнобедренны» (дефект чертежа), Два конверта (сосед по подтипу: дефект в самом ходе при здоровых посылках).
Машинная проверка. В реестре 46 — D18_Horse: поле ConceptualAmbiguity, уровень L2_Operations, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Именного разбора нет — дефект эксплицируется прогоном шага на n = 1. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс