Интуиция против математики: пять парадоксов

Интуиция — отличный генератор гипотез и никудышный калькулятор вероятностей. В эволюции она настраивалась оценивать простые закономерности о мире, а не перемножать проценты в уме. Поэтому там, где правит случайность, интуиция систематически ошибается — и всегда одинаково, в одну и ту же сторону. Разберём пять парадоксов, в которых математика ломает здравый смысл: от игрового шоу до медицинских тестов.

Монти Холл: «вы и правда предлагаете сменить дверь?»

Представьте телешоу. За тремя дверями — машина и две козы. Вы выбираете дверь, ведущий (который знает, где машина) обязательно открывает одну из двух оставшихся — всегда с козой — и предлагает: сменить выбор или остаться?

Интуиция говорит: «две двери, шансы 50 на 50, какая разница». Математика говорит: остаться — ⅓, сменить — ⅔. Смена вдвое выгоднее.

flowchart TD
    A[Вы выбрали дверь] --> B{Ведущий открывает дверь с козой}
    B -->|Ваша дверь = машина · 1/3| C[Сменить = коза · Остаться = машина]
    B -->|Ваша дверь = коза · 2/3| D[Сменить = машина · Остаться = коза]

Ключ — в том, что ведущий действует не случайно. Когда вы угадали (⅓), он открывает любую козу на выбор, и смена обречена. Когда вы не угадали (⅔), у него нет выбора — коза одна, её он и открывает. То есть смена выигрывает ровно в тех случаях, когда ваш первый выбор был неверен.

Реакция на это решение — знаменитое письмо 1990 года: тысячи читателей журнала Parade (включая докторов наук) доказывали автору колонки, что «всегда менять» неверно. Спорили настолько всерьёз, что страдали даже браки — по этой задаче разгорелся едва ли не самый массовый спор в истории популярной математики.

Если не верите — прогоните в голове сто игр. В трети вы угадали и остаться выигрышно. В двух третях — нет, и смена спасает. Математика не зависит от уровня вашего недоверия: ровно ⅔.

День рождения: совпадение ближе, чем кажется

Сколько человек достаточно, чтобы с вероятностью больше половины двое родились в один день? Интуиция прикидывает «что-то около года, делённого на два» — примерно 183. Правильный ответ: 23.

Попробуем считать аккуратно. Вероятность, что ни у какой пары не совпал день рождения, — это последовательность: у второго человека 364 «безопасных» дня, у третьего 363, и так далее.

Для n = 23 это произведение опускает шанс «никто не совпал» до 0,4927 — значит, вероятность совпадения уже переваливает за половину. А в классе из 50 человек (p ≈ 0,97) несовпадение — уже почти чудо.

Почему интуиция промахивается? Мы подсознательно считаем «совпадение моей даты с чьей-то» — а задача про совпадение какой-нибудь пары. Количество пар в группе из n человек — $\binom{n}{2} = n(n-1)/2$, и в классе из 23 их уже 253. Сравниваете не двадцать три даты, а двести пятьдесят три пары разом.

У этого парадокса есть острая инженерная версия — атака на день рождения в криптографии. Хеш-функция с разрядностью 128 бит, интуитивно, «потребует» $2^{128}$ попыток для столкновения. Но по той же самой математике (только «год» — это $2^{128}$ дат) достаточно «всего» около $2^{64}$ — квадратного корня! Поэтому слабые хеши типа старых MD5/SHA-1 «ломаются» намного раньше, чем кажется: это не взлом пароля, а подбор пар до совпадения.

Казино не проигрывает: математическое ожидание

Игрок после трёх красных подряд в рулетке уверен: «сейчас точно выпадет чёрное — оно "задолжало"». Это ошибка игрока: каждый спин физически независим, колесо не помнит прошлого. Шару всё равно, что было до. Вероятность чёрного после трёх красных — та же 18/37, как и всегда.

Но зачем казино тогда зарабатывает? Разберём формулу выигрыша на паре «ставка на конкретное число». В европейской рулетке 37 ячеек (0–36), выплата за угаданное число — 35 к 1.

Математическое ожидание каждой ставки отрицательно: около −2,7 % от банка. Это не «иногда выигрывают» — это систематическая утечка с каждой ставки, как с длинной лестницы, где на каждой ступеньке проигрываешь чуть-чуть в среднем.

Закон больших чисел делает остальное: чем больше ставок, тем ближе суммарный результат к этому ожиданию. Игроку кажется, что сегодня ему «везёт»; казино спокойно опирается на математику — и в итоге выигрывает с вероятностью, стремящейся к 1. Зеро (или 00 в американском варианте, где утечка уже −5,26 %) — это и есть гарантированная прибавка для заведения на каждой ставке.

Важно: независимость событий не значит, что казино теряет на отдельной ставке. Оно проигрывает отдельным людям каждый день — и всё равно растёт. Потому что количество ставок велико, а знак ожидания у него правильный.

Байес в жизни: что на самом деле показал тест

Тест на редкую болезнь: чувствительность 99 % (больного он почти наверняка ловит), доля ложноположительных 1 % (каждого сотого здорового помечает зря). Распространённость — 0,1 % (болен один из тысячи). Вы получили положительный результат. Какова вероятность, что вы больны?

Интуиция: «тест же точный — 99 %!». Математика: около 9 %. Для наглядности — на 100 000 человек:

flowchart TD
    A["100 000 человек"] --> B["100 больны"]
    A --> C["99 900 здоровы"]
    B --> D["99 тест + · 1 тест −"]
    C --> E["999 тест + (ложно) · 98 901 тест −"]
    D --> F["≈ 1 098 положительных"]
    E --> F
    F --> G["Из них реально больны ≈ 99/1098 ≈ 9%"]

Формально это теорема Байеса:

Подставьте числа — и сумма в знаменателе, $\phantom{+}0{,}99 \cdot 0{,}001 + 0{,}01 \cdot 0{,}999$, почти целиком состоит из ложноположительных: здоровых в тысячу раз больше, чем больных, и даже один процент от них забивает сигнал.

Вывод не «тесты бесполезны». Вывод — что надо учитывать априорную вероятность: насколько редка болезнь в вашей группе. Поэтому повторный независимый тест переворачивает картину, а тесты без учёта базы (риск для человека без симптомов и для человека с сильными симптомами — это разные вероятности) уже дискредитируют прекрасный инструмент. Байес — это просто инструкция «не забывай, что весь мир уже внёс свой вклад в ответ прежде, чем ты получил результат теста».

Регрессия к среднему: «проклятие обложки»

Спортсмен блистает сезон, попадает на обложку журнала — и в следующем играет хуже. «Сглазили! Наклали проклятие!» — смекает болельщик. Математик смекает другое: регрессия к среднему.

Успех в одиночном сезоне = мастерство + неожиданная удача. На обложку, естественно, попадает выдающийся выброс — то есть мастерство плюс редкая крупная удача. На следующий год удача в среднем возвращается к нулю, и показатели тянутся к собственному среднему — почти всегда вниз. Отличный сезон не был причиной последующего спада; просто крайности не живут вечно.

Та же механика во всех хрестоматийных примерах: очень высокие родители чаще имеют детей ближе к среднему росту (не выше), блестящий первый экзамен обычно сменяется средним на второй попытке. Всюду, где в результат входит случайная составляющая, за всплеском обычно следует возврат к базе.

Отсюда практическое правило: не выводите закономерности из одного экстремального случая. Премировали лучшего продавца месяца — в следующем он «сдулся»? Возможно, вы просто заплатили за шум, а не за навык. Учителя, поощрявшие «лучших» учеников, статистически видели «ухудшение», а ругавшие «худших» — «улучшение», и делали из этого ложные выводы о методах. Это одна из самых дорогих иллюзий в менеджменте, педагогике и медицине одновременно.

Парадокс Симпсона: таблица, где каждый прав

Исторический пример — консервативное vs хирургическое лечение камней в почках. Не буду спорить, какая методика «лучше» — спорно; цифры поучительны сами по себе (исторические данные, выводы не медицинские).

Смотрите внимательно: в каждой подгруппе метод A лучше. В сумме лучше метод B! Вот это и есть парадокс Симпсона.

Разгадка — смешивающий фактор (confounder). Размер камня влияет и на выбор метода, и на исход: сложные большие камни чаще отправляли на метод A (по правилу «попробуем сильное средство»), а простые маленькие — на менее инвазивный B. Суммарный итог сравнивает несравнимое: у метода A в сумме более тяжёлая выборка, и она тянет его сводный процент вниз.

Правило из жизни: не сравнивайте сводные проценты без учёта состава групп. Средняя зарплата по отделу может расти, пока активнее нанимают в «дешёвый» регион; две разные стратегии тестирования могут показать, что «лучше одна», хотя стратифицированный анализ говорит обратное. Парадокс Симпсона ежегодно ломает карьеры аналитиков и репутации экспериментов.

Памятка: интуиция против математики

Общая мораль изящная и простая: интуиция сильна там, где мир определяется часто повторяющимися простыми правилами, и ломается там, где в игру вступают большие числа, редкие события и скрытые переменные. Хорошая новость в том, что пару перечисленных ошибок вы теперь сумеете распознать — и, может быть, однажды задумаетесь, что посоветовала бы математика, а не интуиция.

А какой из парадоксов задел вас сильнее? Напишите в комментариях — спор про двери идёт уже тридцать лет, лишним голосом точно не станет.