Математические Парадоксы on kenji.blog

«Положительный результат теста» не всегда означает «болезнь»? Ошибка базового процента

Thu, 10 Sep 2026 21:00:00 +0900

Если на медицинском или онкологическом обследовании вы получите результат «положительно (есть отклонения)», любой человек впадет в панику. Однако, если у вас есть знания в области статистики и теории вероятностей, возможно, вы сможете сделать глубокий вдох и успокоиться. Все потому, что «положительный результат высокоточного теста» вовсе не означает, что «вероятность того, что вы действительно больны, высока».

Это типичное когнитивное искажение, при котором человеческая интуиция сильно ошибается в расчетах вероятности, называемое «ошибкой базового процента (Base Rate Fallacy)» или «игнорированием априорной вероятности».

Пугающая проблема медицинского обследования

Представьте себе следующую ситуацию.

В одном городе есть неизвестная болезнь, которой заражен 1 человек из 10 000 (0,01%). Для выявления этой болезни был разработан отличный набор для тестирования с «точностью 99%». (*Точность 99% означает, что если тест проходит больной человек, то с вероятностью 99% результат будет правильно определен как «положительный», а если здоровый человек — с вероятностью 99% он будет правильно определен как «отрицательный».)

Вы случайно прошли этот тест, и результат оказался «положительным». Итак, какова вероятность того, что вы действительно заражены этой болезнью?

Многие люди интуитивно ответят: «Раз точность теста 99%, значит, вероятность того, что я болен, тоже 99%». Однако математически правильный ответ — «около 0,98% (менее 1%)».

Почему же при точности 99% фактическая вероятность оказывается меньше 1%?

Теорема Байеса и визуализация картины в целом

Ключ к разгадке этой проблемы заключается в учете не только точности теста, но и того, «насколько эта болезнь изначально редка (базовый процент / априорная вероятность)». Давайте визуализируем это противоречащее интуиции явление на примере большой группы из 1 000 000 человек.

Общее количество людей: 1 000 000 человек
Действительно больные люди (1 на 10 000): 100 человек
Здоровые люди: 999 900 человек

Всем этим 1 миллиону человек проводится тест с «точностью 99%».

1. Если тест проходят действительно больные люди (100 человек)

Так как точность 99%, правильно определены как «положительные» будут: 100 человек × 99% = 99 человек (истинно положительные)

2. Если тест проходят здоровые люди (999 900 человек)

Так как точность 99%, есть люди, которые с вероятностью 1% будут ошибочно определены как «положительные» (ложноположительные): 999 900 человек × 1% = 9 999 человек (ложноположительные)

graph TD A["Всё население (1 000 000 человек)"] --> B["Больные люди (100 человек)"] A --> C["Здоровые люди (999 900 человек)"] B -->|Верно на 99%| B1["Истинно положительные (99 человек)"] B -->|Ошибка на 1%| B2["Ложноотрицательные (1 человек)"] C -->|Верно на 99%| C1["Истинно отрицательные (989 901 человек)"] C -->|Ошибка на 1%| C2["Ложноположительные (9 999 человек)"] B1 -.-> D{"Общее число людей, получивших результат 'Положительный': 10 098 человек"} C2 -.-> D style A fill:#ECEFF1,stroke:#333 style B fill:#FFCDD2,stroke:#333 style C fill:#C8E6C9,stroke:#333 style B1 fill:#F44336,stroke:#333,color:#fff style C2 fill:#FF9800,stroke:#333,color:#fff style D fill:#FFF9C4,stroke:#333,stroke-width:2px

Истинная вероятность того, что вы больны

Итак, врач сообщил вам: «У вас положительный результат». Это означает, что вы попали в группу «Общее число людей, получивших результат ‘Положительный’ (10 098 человек)», расположенную в правой нижней части схемы.

Какова доля «действительно больных людей (истинно положительных)» в этой группе?

$$ \text{Вероятность того, что вы действительно больны} = \frac{\text{Истинно положительные}}{\text{Все получившие положительный результат}} = \frac{99}{99 + 9,999} = \frac{99}{10,098} \approx 0.0098 $$

Результат расчета — около 0,98%. Несмотря на то, что вам сказали о «положительном» результате, вероятность того, что вы здоровы (ложноположительный результат), подавляюще выше (около 99%).

Почему интуиция ошибается?

Это явление математически объясняется «теоремой Байеса» для вычисления условной вероятности, но человеческий мозг очень плохо справляется с такими вычислениями.

Причина, по которой мы совершаем ошибку, заключается в том, что мы отвлекаемся на индивидуальную и яркую информацию, предоставленную нам прямо сейчас («Ваш результат теста положительный! Точность 99%!»), и игнорируем огромные и скучные статистические данные на заднем плане («Изначально этой болезнью болеет только 1 из 10 000 человек (базовый процент)»).

Поскольку «редкость болезни (0,01%)» гораздо более экстремальна, чем «неточность теста (1%)», незначительные ошибки тестирования мгновенно поглощают истинное число больных.

«Ошибка базового процента», скрывающаяся в обществе

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

Системы распознавания лиц и террористы: Даже если камера с распознаванием лиц с точностью 99,9% обнаружит «террориста» в аэропорту, поскольку базовая вероятность наличия террориста крайне мала, задержанными окажутся в основном невинные обычные люди с похожими лицами (ложноположительный результат).
Дорожно-транспортные происшествия и пожилые водители: Даже если вы почувствуете опасность, увидев новости о том, что «〇〇% автомобилей, попавших в аварии, управлялись пожилыми людьми», если не учесть «долю пожилых людей среди всех водителей на дорогах (базовый процент)», будет непонятно, действительно ли эта конкретная возрастная группа более склонна к авариям.

«Ошибка базового процента» учит нас важности статистического мышления: когда мы видим шокирующие цифры или отдельные случаи, нам следует возвращаться к вопросу: «Насколько вообще вероятно, что это произойдет в целом (базовый процент)».

Ваши друзья имеют больше друзей, чем вы: Парадокс дружбы

Thu, 10 Sep 2026 21:00:00 +0900

«Кажется, у всех вокруг больше друзей, и они веселятся больше, чем я…» Бывало ли у вас такое чувство, когда вы листаете ленту в социальных сетях?

На самом деле, если вы так чувствуете, то дело не в вашем характере или отсутствии популярности. Это математический факт, доказанный с помощью теории сетей и статистики, который называется «Парадокс дружбы (Friendship Paradox)».

Этот парадокс, открытый социологом Скоттом Фелдом в 1991 году, объясняет противоречащее интуиции явление: «У большинства людей друзей меньше, чем у их собственных друзей».

Почему «у друзей больше друзей»?

Вкратце, это происходит из-за простого смещения выборки: «люди, у которых много друзей (популярные), появляются в списках друзей многих людей».

Давайте рассмотрим простую сеть (граф).

graph TD A["Алиса (1 друг)"] --- C["Чарли (3 друга)"] B["Боб (1 друг)"] --- C C --- D["Дэвид (1 друг)"] style A fill:#4FC3F7,stroke:#333,stroke-width:2px style B fill:#4FC3F7,stroke:#333,stroke-width:2px style C fill:#FF9800,stroke:#333,stroke-width:4px style D fill:#4FC3F7,stroke:#333,stroke-width:2px

В этом маленьком мире четыре человека: Алиса, Боб, Чарли и Дэвид. Чарли — «популярный», он дружит с тремя остальными. Остальные трое дружат только с Чарли.

Давайте посмотрим на количество друзей у каждого:

Количество друзей Алисы: 1
Количество друзей Боба: 1
Количество друзей Дэвида: 1
Количество друзей Чарли: 3 Среднее количество друзей у всех составляет $(1 + 1 + 1 + 3) / 4 = 1.5$.

Теперь давайте посчитаем «среднее количество друзей друзей» для каждого человека:

Количество друзей друга Алисы (Чарли): 3
Количество друзей друга Боба (Чарли): 3
Количество друзей друга Дэвида (Чарли): 3
Среднее количество друзей друзей Чарли (Алисы, Боба и Дэвида): $(1 + 1 + 1) / 3 = 1$

Теперь сравним каждого «себя» со «средним числом друзей своих друзей»:

Алиса: У неё (1) < В среднем у друзей (3)
Боб: У него (1) < В среднем у друзей (3)
Дэвид: У него (1) < В среднем у друзей (3)
Чарли: У него (3) > В среднем у друзей (1)

3 из 4 человек (75% людей) находятся в ситуации, когда «у их друзей больше друзей, чем у них самих». Существование популярного Чарли сильно завышает «среднее число друзей» для всех вокруг него.

Математическое доказательство: дисперсия — это ключ

Давайте выразим это формулой. В теории сетей количество друзей (степень узла) человека $v$ обозначается как $k(v)$. Пусть среднее количество друзей во всей сети равно $\mu$, а дисперсия количества друзей равна $\sigma^2$.

Согласно доказательству Фелда, ожидаемое значение «количества друзей случайно выбранного друга» выглядит следующим образом:

$$ \text{Среднее количество друзей друзей} = \mu + \frac{\sigma^2}{\mu} $$

Дисперсия $\sigma^2$ всегда больше или равна 0. Это значит, что, за исключением невозможной ситуации, когда абсолютно у каждого человека одинаковое количество друзей ($\sigma^2 = 0$), всегда выполняется следующее неравенство:

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

«Среднее количество друзей друзей» всегда строго больше, чем «общее среднее количество друзей».

В реальном обществе и социальных сетях (таких как X и Instagram) лишь небольшая часть людей имеет миллионы подписчиков (друзей), тогда как у большинства их от нескольких десятков до сотен. Это означает, что дисперсия $\sigma^2$ чрезвычайно велика, из-за чего эффект этого парадокса становится еще сильнее.

Применение: Пандемии и вакцинация

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

Представьте, что у вас есть ограниченное количество вакцин, и вы сомневаетесь, кого нужно вакцинировать. Есть метод, который эффективнее случайной вакцинации.

Выберите людей случайным образом.
Вакцинируйте не их самих, а тех, кого они назвали своими «друзья».

Почему так? Из-за парадокса дружбы «друзья» случайно выбранных людей в среднем имеют более высокую вероятность иметь больше связей (быть «хабами»). Вакцинируя людей с большим количеством связей в первую очередь, мы можем значительно замедлить распространение инфекции по всей сети.

Заключение

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

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

$$ \mu + \frac{\sigma^2}{\mu} > \mu $$

Вернувшись из космоса, обнаруживаешь, что младший брат старше тебя?: Парадокс близнецов

Thu, 10 Sep 2026 21:00:00 +0900

Если бы вы отправились в путешествие на космическом корабле, летящем со скоростью, близкой к скорости света, ваши часы стали бы идти «медленнее», чем у людей на Земле. Это не сценарий научно-фантастического фильма, а физический факт, доказанный «специальной теорией относительности» Эйнштейна.

Наиболее ярко концепцию этого «замедления времени» демонстрирует знаменитый мысленный эксперимент, известный как «парадокс близнецов» (Twin Paradox).

Старший брат отправляется в космос, а младший остается на Земле

Представьте двух братьев-близнецов, родившихся в один день. В их 20-й день рождения старший брат садится в сверхскоростную ракету, летящую со скоростью 80% от скорости света ($0.8c$), и отправляется к далекой звезде. Младший брат остается на Земле ждать возвращения брата.

Спустя несколько лет старший брат возвращается на Землю. Когда открывается дверь ракеты и они встречаются вновь, выясняется нечто поразительное.

Младший брат, ожидавший на Земле, превратился в зрелого мужчину 50 лет (прошло 30 лет), тогда как старший брат, путешествовавший в космосе, всё еще оставался молодым в возрасте 38 лет (прошло 18 лет).

«Хотя они близнецы, между ними возникла разница в возрасте в 12 лет». Это первый шокирующий вывод, к которому приводит теория относительности.

graph TD A["Братья-близнецы (20 лет)"] --> B["Младший брат остается на Земле"] A --> C["Старший брат путешествует в космосе со скоростью 80% от световой"] B -->|На Земле прошло 30 лет| D["Младший при встрече: 50 лет"] C -->|Из-за эффекта Урасимы время замедляется, и проходит всего 18 лет| E["Старший при встрече: 38 лет"] D --> F{"Разница в возрасте: 12 лет!"} E --> F style A fill:#ECEFF1,stroke:#333 style B fill:#C8E6C9,stroke:#333 style C fill:#BBDEFB,stroke:#333 style D fill:#81C784,stroke:#333,color:#fff style E fill:#64B5F6,stroke:#333,color:#fff style F fill:#FF9800,stroke:#333,color:#fff,stroke-width:2px

Суть парадокса: меняется ли всё в зависимости от точки зрения?

Сам факт того, что «старший брат становится моложе», является истиной, которую можно вывести, подставив значения в уравнения теории относительности (фактор Лоренца), и это физическое явление, которое реально учитывается, например, в современных спутниках GPS (также известно как эффект Урасимы).

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

Если применить это к нашему случаю, возникает странное противоречие.

С точки зрения младшего брата на Земле: «Ракета, на которой летел брат, удалилась на огромной скорости, а затем вернулась. Двигался именно старший брат, поэтому его время замедлилось, и он должен быть моложе».
С точки зрения старшего брата в ракете: «Внутри ракеты я нахожусь в состоянии покоя. Если посмотреть в окно, Земля удалилась на огромной скорости, а затем вернулась. Двигался именно младший брат на Земле, поэтому его время замедлилось, и младший брат должен быть моложе».

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

Значит ли это, что теория Эйнштейна ошибочна?

Разрешение: нарушение «симметрии»

Ключ к разгадке этого парадокса заключается в том факте, что «положения двоих не являются полностью равными (симметричными)».

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

Космический корабль старшего брата не может вернуться на Землю, не пройдя следующие шаги:

Стартовать с Земли и ускориться.
Затормозить у звезды-цели (замедление), развернуться в сторону Земли и снова ускориться (сделать разворот).
Прибыть на Землю и затормозить (замедление).

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

В частности, в тот момент, когда старший брат совершает «разворот (смена направления из-за сильного ускорения)» у звезды-цели, симметрия в положениях старшего и младшего братьев полностью разрушается. В момент, когда старший брат совершает разворот и снова ускоряется в сторону Земли, с его точки зрения «часы Земли (возраст младшего брата)» покажутся скачком продвинувшимися на многие десятилетия вперед.

В результате, когда они встречаются вновь, остается лишь та реальность, где по расчетам «старшему брату 38 лет, а младшему — 50», и противоречие полностью исчезает.

Парадокс близнецов — это один из самых красивых мысленных экспериментов в истории физики, который учит нас тому, что наше привычное ощущение, будто «время течет для всех одинаково», совершенно неприменимо в масштабах необъятного космоса и скорости света.

Если убрать одну песчинку, когда куча песка перестаёт быть кучей?: Парадокс кучи

Thu, 10 Sep 2026 21:00:00 +0900

Представьте, что перед вами настоящая куча песка, состоящая из 10 000 песчинок. Любой скажет, что это «куча». Теперь уберём одну песчинку. 9 999 песчинок. Всё ещё куча, верно? Уберём ещё одну. 9 998 песчинок. Это тоже всё ещё куча.

Давайте продолжим эту операцию. Удаление всего одной песчинки не должно превращать «кучу» в «не-кучу». Однако если бесконечно повторять эту логику, в конце концов останется всего одна песчинка.

Является ли одна песчинка «кучей»?

Разумеется, никто не назовёт одну песчинку «кучей». Но ведь мы ни разу не отвергли предпосылку: «если убрать одну песчинку, куча остаётся кучей». Где-то логика дала сбой, но на какой именно песчинке куча перестала быть кучей?

Это и есть «Парадокс кучи (Парадокс соритес)», восходящий к древнегреческому философу Евбулиду, жившему в IV веке до нашей эры.

Логическая структура

Этот парадокс можно выразить в форме следующего силлогизма:

Посылка 1: Совокупность из 10 000 песчинок является «кучей». Посылка 2: Если из кучи убрать одну песчинку, она по-прежнему остаётся «кучей». Вывод: Следовательно, одна песчинка тоже является «кучей».

Каждая посылка в отдельности звучит вполне убедительно. Однако многократное применение посылки 2 приводит к очевидно ложному выводу.

Почему этот парадокс неразрешим

Суть парадокса кучи заключается в том, что слово «куча» по своей природе является неопределённым. Для «кучи» не существует чёткого определения (порогового значения), указывающего, «сколько песчинок и более составляют кучу». Такие понятия называются «нечёткими предикатами (vague predicates)».

Наш повседневный язык переполнен подобными неопределёнными словами.

«Высокий» — это от скольких сантиметров? Человек ростом 180 см — «высокий». А если убрать 1 мм? Ещё 1 мм?
«Богатый» — это от какой суммы активов? 10 миллиардов иен — это «богатый». А если убрать 1 иену?
«Лысый» — это от скольких волос и менее? 0 волос — «лысый». А если вырастет 1 волос?

Все эти примеры имеют точно такую же структуру, как и парадокс кучи.

Подходы философов

1. Эпистемический подход (граница существует)

Этот подход утверждает, что «на самом деле между кучей и не-кучей существует чёткая граница, просто человек не способен её распознать». Например, 5 837 песчинок — это куча, а 5 836 — уже нет, и такая точная граница существует, но мы не можем её знать.

С логической точки зрения это элегантно, но интуитивно многие чувствуют в этой позиции что-то неестественное.

2. Нечёткая логика (градуированные значения истинности)

В классической логике есть только два варианта — «истина или ложь», но в нечёткой логике значение может принимать любую величину от 0 до 1.

Например:

10 000 песчинок: «степень кучности = 1,0 (полностью куча)»
5 000 песчинок: «степень кучности = 0,7»
100 песчинок: «степень кучности = 0,1»
1 песчинка: «степень кучности = 0,0 (полностью не-куча)»

Этот метод практичен, но полностью парадокс не устраняет. Ведь возникает новая неопределённость: «В чём разница между степенью кучности 0,7 и 0,699?»

3. Суперваллюационизм (Supervaluationism)

В рамках этого подхода для слова «куча» одновременно рассматриваются все возможные разумные границы. Если при всех границах объект признаётся «кучей» — это «определённо куча»; если при всех — «не-кучей» — это «определённо не-куча»; а область, где мнения расходятся, считается «неопределённой».

Влияние на современное общество

Парадокс кучи — это не просто словесная игра; он порождает серьёзные проблемы в реальном мире права и политики.

Возраст совершеннолетия: В 17 лет и 364 дня человек — «ребёнок», а в 18 лет и 0 дней — «взрослый». Что принципиально меняется за один день?
Черта бедности: Если доход на 1 иену ниже порогового значения — «бедность», а на 1 иену выше — «не бедность».
Экологические нормы: Если выбросы загрязняющих веществ превышают норму на 0,001 мг — это незаконно. Ровно по норме — законно.

Человеческий язык и мышление по своей природе содержат неопределённость, и, возможно, сама попытка разделить мир на чёткие бинарные противоположности изначально обречена на неудачу. Парадокс кучи — это парадокс, указывающий на фундаментальные пределы человеческого разума, который уже более 2400 лет не даёт покоя философам.

Изумруды зеленые или цвета «гру»? Новая загадка индукции Гудмена

Thu, 10 Sep 2026 21:00:00 +0900

Мы предсказываем «будущее» на основе «прошлого опыта». «Солнце вчера взошло на востоке, поэтому и завтра оно взойдет на востоке». «Все изумруды, которые мы видели до сих пор, были зелеными, поэтому следующий выкопанный изумруд тоже будет зеленым».

Такое рассуждение называется «индукцией» и является основой всей науки. Однако в 1955 году философ Нельсон Гудмен придумал странную концепцию цвета, чтобы показать, что эта индукция имеет фундаментальный недостаток. Это парадокс «гру» (Grue).

Определение нового цвета «гру» (Grue)

Гудмен определил новое свойство (цвет) под названием «гру» (Grue), образованное из слов «зеленый» (Green) и «синий» (Blue), следующим образом.

Определение гру (Grue): Объект является «гру», если при наблюдении до определенного момента времени $t$ (например, 1 января 2030 года) он «зеленый» (Green), а при наблюдении после момента времени $t$ он «синий» (Blue).

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{Время} < t) \\ \text{Blue} & (\text{Время} \ge t) \end{cases} $$

Согласно этому определению, прямо сейчас (до момента $t$) зеленый изумруд в вашей руке одновременно является и «зеленым», и цвета «гру».

Почему это парадокс?

Парадокс возникает, когда мы пытаемся предсказать будущее. Все изумруды, которые человечество наблюдало до сих пор, были «зелеными». Следовательно, используя индукцию, мы предсказываем следующее:

Гипотеза А: «Все изумруды — ‘зеленые’»

Но подождите-ка. Поскольку изумруды, наблюдавшиеся до сих пор, были до момента времени $t$, они все должны были быть и цвета «гру». Следовательно, на основе точно тех же данных наблюдений можно сделать следующее предсказание:

Гипотеза Б: «Все изумруды — цвета ‘гру’»

Если следовать правилам индукции, то все прошлые наблюдения поддерживают гипотезу Б с «совершенно одинаковой силой», с какой они поддерживают гипотезу А.

graph TD A["Прошлые наблюдения: Все изумруды были зелеными"] -->|Одновременно| B["Прошлые наблюдения: Все изумруды были цвета 'гру'"] A --> C["Индуктивное предсказание А: Будущие изумруды тоже будут 'зелеными'"] B --> D["Индуктивное предсказание Б: Будущие изумруды тоже будут цвета 'гру'"] C --> E["Останутся зелеными и после момента t"] D --> F["Станут 'синими' после момента t!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

Станут ли изумруды синими?

Если гипотеза Б верна, то в тот момент, когда наступит время $t$, все изумруды в мире должны будут одновременно стать «синими» (согласно определению «гру»).

Мы интуитивно думаем: «Такого абсурда не может быть. Гипотеза Б — это неестественная игра слов, и Гипотеза А (зеленый) определенно более правильная».

Однако вопрос Гудмена лежит гораздо глубже. «Зеленый» и цвет «гру» — обе гипотезы полностью соответствуют прошлым данным, так почему же мы считаем обоснованным только предсказание «зеленого» и отвергаем предсказание «гру»? Каково «логическое основание» для этого?

Вызов «Единообразию природы»

Чтобы избежать этой проблемы, на ум приходит такое возражение: «Мы должны использовать простые понятия, такие как ‘зеленый’, и не должны использовать сложные понятия, включающие время, такие как ‘гру’».

Однако Гудмен, наоборот, показал, что если определить цвет «блин» (Bleen: синий до момента $t$, а затем зеленый), то само понятие «зеленый» станет зависимым от времени сложным понятием: «гру до момента $t$, а затем блин». Иными словами, то, какое слово считать «базовым», является лишь нашей языковой привычкой.

Парадокс Гудмена «гру» (новая загадка индукции) доказал, что научные теории определяются не просто объективными данными, а сильно зависят от того, «какую концептуальную структуру (язык) мы используем, чтобы вычленить часть мира».

В контексте ИИ и машинного обучения этот парадокс по-прежнему имеет важное значение и сегодня — как проблема «переобучения» (overfitting) и «предвзятости» (bias), когда даже при одинаковых данных для обучения предсказания относительно будущего могут совершенно измениться в зависимости от «структуры модели (на какие признаки обращается внимание)».

Когда слово описывает само себя: Парадокс Греллинга-Нельсона

Thu, 10 Sep 2026 21:00:00 +0900

Слова — это инструменты для описания мира, но когда мы пытаемся описать сами слова, логика может попасть в неожиданную ловушку.

«Парадокс Греллинга-Нельсона» (Grelling-Nelson Paradox), предложенный в 1908 году Куртом Греллингом и Леонардом Нельсоном, — это знаменитый семантический парадокс, который указывает на пределы того, когда «слово определяет слово».

Разделение слов на две категории

Греллинг и Нельсон считали, что все прилагательные (слова) можно разделить на две группы:

Автологические (Autological): Само слово обладает свойством, которое оно означает.
Гетерологические (Heterological): Само слово не обладает свойством, которое оно означает.

Рассмотрим примеры

Примеры автологических слов:

«Короткое» (short): Само это слово короткое.
«Английское» (English): Само это слово является английским.
«Существительное» (noun): Это слово является существительным.
«Пятисложное» (pentasyllabic): Слово «pen-ta-syl-lab-ic» в английском языке состоит из 5 слогов.

Примеры гетерологических слов:

«Длинное» (long): Само это слово короткое, а не длинное.
«Немецкое» (German): Это слово русское (или английское), а не немецкое.
«Невидимое» (invisible): Это слово сейчас четко видно на экране или бумаге.

Пока это кажется просто игрой слов. Каждое слово обязательно можно отнести к одной из двух категорий: либо оно воплощает свой собственный смысл, либо нет.

Роковой вопрос: Возникновение парадокса

Здесь начинается парадокс. Давайте подумаем о следующем слове.

Является ли само слово «гетерологическое» (Heterological) автологическим или гетерологическим?

При ответе на этот вопрос мы сталкиваемся с противоречием, какой бы вариант мы ни выбрали.

Случай 1: Предположим, что «гетерологическое» является «автологическим»

Если слово «гетерологическое» (Heterological) является «автологическим», то по определению «само слово обладает свойством, которое оно означает». Однако значение этого слова — «гетерологическое». То есть, обладая свойством «гетерологическое», оно оказывается «гетерологическим». Мы предположили, что оно автологическое, но в результате оно стало гетерологическим. (Противоречие)

Случай 2: Предположим, что «гетерологическое» является «гетерологическим»

Если слово «гетерологическое» (Heterological) является «гетерологическим», то по определению «само слово не обладает свойством, которое оно означает». Поскольку значение этого слова — «гетерологическое», то не обладая этим свойством, оно оказывается «автологическим». Мы предположили, что оно гетерологическое, но в результате оно стало автологическим. (Противоречие)

В любом случае логика рушится.

graph TD A["Слово «гетерологическое» (Heterological)"] --> B{"К какой категории относится?"} B -->|Оно автологическое| C["Определение: Обладает свойством, которое означает"] C --> D["Его значение — «гетерологическое»"] D --> E["Результат: Оно гетерологическое!"] E -->|Противоречие| B B -->|Оно гетерологическое| F["Определение: Не обладает свойством, которое означает"] F --> G["Его значение — «гетерологическое»"] G --> H["Результат: Оно автологическое!"] H -->|Противоречие| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Связь с математикой и логикой: Родственник парадокса Рассела

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

Парадокс Греллинга-Нельсона можно назвать семантической версией (версией значения слов) парадокса Рассела.

Парадокс Рассела в теории множеств:

$$ R = \{ x \mid x \notin x \} $$

Если определить такое множество, то при ответе на вопрос, $R \in R$ или $R \notin R$, возникает противоречие.

Парадокс Греллинга-Нельсона в семантике: Если определить $Het(x)$ как «слово $x$ не обладает свойством $x$ (является гетерологическим)»,

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

мы попадаем в логическое противоречие.

Почему этот парадокс важен?

Когда слово ссылается само на себя (самореференция), всегда существует риск возникновения ошибки типа бесконечного цикла.

Это проблема не только философии или лингвистики. В области информатики и искусственного интеллекта возникают аналогичные логические барьеры, когда программа пытается оценить и изменить свой собственный код, или когда модели обработки естественного языка интерпретируют смысловые противоречия.

Парадокс Греллинга-Нельсона — это мысленный эксперимент, который блестяще визуализирует «баги» (ограничения), присущие самой системе «языка».

Летящая стрела неподвижна? Парадокс Зенона «Летящая стрела»

Thu, 10 Sep 2026 21:00:00 +0900

Стрела, выпущенная из лука, летит по воздуху. Эта стрела определенно движется. Однако в V веке до нашей эры греческий философ Зенон выдвинул следующую пугающую логику:

«Летящая стрела на самом деле неподвижна»

Это не шутка и не софизм, а «парадокс летящей стрелы», который математики и философы всерьез обсуждают вот уже 2500 лет.

Аргумент Зенона

В основе аргумента Зенона лежит понятие «мгновение времени».

Время состоит из последовательности «мгновений».
Если мы «сфотографируем» одно конкретное мгновение (точку во времени с нулевой продолжительностью), стрела «находится» в определенной точке пространства.
В это мгновение стрела лишь «занимает» это место и не движется. (Если бы она двигалась, для этого потребовалась бы не «точка во времени», а «промежуток времени»).
Это верно для любого мгновения, какое бы мы ни выбрали.
Если в каждое мгновение времени стрела неподвижна, то когда же она движется?

graph TD A["Летящая стрела"] --> B["Время - последовательность мгновений"] B --> C["Мгновение t1: стрела неподвижна в точке A"] B --> D["Мгновение t2: стрела неподвижна в точке B"] B --> E["Мгновение t3: стрела неподвижна в точке C"] C --> F{"В каждое мгновение стрела неподвижна"} D --> F E --> F F --> G["Вывод: стрела не движется!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

Интуиция против логики

«Что за чушь. Ведь стрела действительно летит» — такой, вероятно, будет первая реакция большинства людей. Однако указать, в чем логически ошибочен аргумент Зенона, на самом деле чрезвычайно сложно.

Рассказывают, что древнегреческий философ Диоген в ответ Зенону просто встал и начал ходить по комнате, демонстрируя: «Смотри, я двигаюсь». Однако это не является опровержением логики Зенона. Ведь вопрос Зенона заключается не в том, «можем ли мы двигаться», а в том, «можем ли мы непротиворечиво объяснить с помощью нашей логики, что такое движение».

Попытка решения с помощью математического анализа

Математический анализ (исчисление бесконечно малых), изобретенный в XVII веке Ньютоном и Лейбницем, дал (по крайней мере частично) математический ответ на этот парадокс.

В математическом анализе «скорость в определенное мгновение (мгновенная скорость)» определяется следующим образом:

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

То есть скорость определяется как «предел», где изменение координаты $\Delta x$ делится на изменение времени $\Delta t$, а $\Delta t$ стремится к нулю.

Ключевой момент здесь заключается в том, что «мгновенная скорость» — это не пройденное расстояние за нулевой промежуток времени. Это величина, определяемая как «тенденция» мельчайших изменений до и после этого момента времени, то есть как «предел».

Следовательно, ответ с точки зрения математического анализа будет таким:

«Действительно, если вырезать мгновение нулевой продолжительности, ‘внутри’ этого мгновения стрела не перемещается. Однако даже в это мгновение стрела обладает таким свойством, как ‘мгновенная скорость (ненулевое предельное значение)’. ‘Быть в состоянии покоя’ означает, что ‘мгновенная скорость равна нулю’, но поскольку мгновенная скорость летящей стрелы не равна нулю, нельзя сказать, что стрела ‘покоится’».

Оставшиеся философские вопросы

Математический анализ предоставил практическое решение парадокса Зенона, но с философской точки зрения вопрос не был закрыт окончательно.

Концепция «предела» — это всего лишь математический инструмент (вычислительная процедура), который не дает строгого ответа на такие фундаментальные вопросы, как: «чем физически является минимальная единица времени (мгновение)?», «что такое непрерывность?» и «в чем суть движения?»

В современной физике (квантовой механике) обсуждается возможность того, что время и пространство также имеют минимальные единицы (планковское время, планковская длина). И если время является не «непрерывным», а «дискретным (цифровым)», парадокс Зенона, возможно, придется переосмыслить в совершенно ином контексте.

Спустя 2500 лет стрела Зенона всё ещё продолжает задавать нам вопросы: «что значит двигаться?» и «что такое время?».

Может ли синее яблоко доказать, что «вороны черные»? Парадокс воронов Гемпеля

Thu, 10 Sep 2026 21:00:00 +0900

Как ученые доказывают теории? Обычно они используют «индукцию», метод наблюдения за миром и сбора данных. Например, если бы вы хотели доказать гипотезу «все вороны черные», вы бы наблюдали за воронами по всему миру и подтверждали бы одну за другой, что они черные.

Однако в 1940-х годах логик Карл Гемпель указал на странную логическую лазейку, скрытую в этом, казалось бы, очевидном научном методе. Это парадокс воронов Гемпеля (Hempel’s Ravens), который гласит, что «просто увидев синее яблоко или красные туфли, вы получаете доказательство того, что ‘вороны черные’».

Подмена логики: Магия контрапозиции

Чтобы понять утверждение Гемпеля, нам нужно вспомнить концепцию «контрапозиции», которая изучается в школьном курсе математики.

В логике, если некое утверждение «Если A, то B» истинно, его контрапозиция «Если не B, то не A» также должна быть истинной (это называется логической эквивалентностью).

Гипотеза $H_1$: «Все вороны черные (Если это ворона, то она черная)»

Давайте возьмем контрапозицию этой гипотезы $H_1$. Она звучит так: «Если не черное, то не ворона».

Гипотеза $H_2$: «Все нечерные предметы не являются воронами»

Согласно правилам логики, $H_1$ и $H_2$ имеют совершенно одинаковое значение (эквивалентны). Если доказано одно, автоматически доказано и другое.

Доказать ворон, не видя их

Итак, чтобы подтвердить гипотезу $H_1$ (вороны черные), с каждой найденной черной вороной достоверность (доказательство) гипотезы немного усиливается. С этим согласятся все.

Однако, поскольку $H_1$ и $H_2$ означают одно и то же, нахождение доказательства для гипотезы $H_2$ (нечерные предметы не являются воронами) также должно стать прямым доказательством для гипотезы $H_1$.

Тогда что же является доказательством $H_2$? Все, что вам нужно сделать, это найти «что-то, что не является черным и не является вороной».

Допустим, на столе лежит «синее яблоко». Оно не черное и не ворона. Следовательно, это доказательство в поддержку $H_2$.
В шкафу лежат «красные туфли». Они также не черные и не вороны. Это доказательство $H_2$.
По небу плывет «белое облако». Это также доказательство $H_2$.

Поскольку доказательство $H_2$ имеет ту же ценность, что и доказательство $H_1$, логически можно сделать следующий странный вывод.

«Чем больше синих яблок и красных туфель мы наблюдаем в комнате, тем больше доказывается правильность гипотезы о том, что ‘все вороны черные’»

graph TD A["Утверждение H1: Все вороны черные"] <-->|Логическая эквивалентность (Контрапозиция)| B["Утверждение H2: Нечерные предметы не являются воронами"] C["Наблюдение: Черная ворона"] -->|Является доказательством для| A D["Наблюдение: Синее яблоко"] -->|Является доказательством для| B D -.->|Следовательно, это тоже должно быть доказательством?| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

Почему это противоречит интуиции?

Ни один орнитолог в мире не станет более уверенным в том, что «вороны черные», посмотрев на синее яблоко. Почему же наш здравый смысл отвергает это, если с логической точки зрения это должно быть абсолютно верно?

В мире философии и статистики предложено несколько подходов к этому парадоксу.

1. Байесовское решение (Разница в количестве информации)

Наиболее сильное возражение с точки зрения современной статистики (байесовской вероятности) фокусируется на разнице в «силе доказательства (количестве информации)».

В мире существует подавляющее большинство «нечерных предметов» по сравнению с «черными предметами», и астрономически больше «не ворон», чем «ворон».

Когда вы видите синее яблоко, оно, безусловно, служит доказательством того, что «все вороны черные», но его доказательная ценность (величина увеличения вероятности) бесконечно близка к нулю. Подтверждение одного из бесчисленных «нечерных предметов» в огромной вселенной увеличивает вероятность того, что «ворона черная», настолько же, насколько удаление одной песчинки из пустыни влияет на саму пустыню. С другой стороны, прямое нахождение одной черной вороны имеет подавляюще бóльшую доказательную ценность.

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

2. Ограничения «комнатной орнитологии»

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

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

Можно ли заполнить краской, но не покрасить поверхность?: Рог Гавриила

Thu, 10 Sep 2026 21:00:00 +0900

Что будет, если появится сосуд, у которого «объем конечен, а площадь поверхности бесконечна»? Интуитивно кажется, что такое невозможно, но в мире математики подобная фигура действительно существует. Это «Рог Гавриила» (Gabriel’s Horn), также известный как «Рог Торричелли».

Открытая в 1641 году итальянским математиком Эванджелистой Торричелли, эта фигура произвела огромное впечатление на математиков и философов того времени и вызвала ожесточенные споры о природе «бесконечности».

Парадокс маляра

Если попытаться применить свойства этой фигуры к обычной «краске», возникнет следующий странный парадокс.

Если заполнить рог краской: Поскольку объем рога конечен (точнее, $\pi$), достаточно влить всего $\pi$ литров (около 3,14 литра) краски, чтобы полностью заполнить его изнутри.
Если красить поверхность рога: Площадь поверхности рога бесконечна. Следовательно, если вы попытаетесь покрасить внутреннюю (или внешнюю) поверхность рога кистью, сколько бы краски вы ни приготовили, вы никогда не закончите эту работу.

«3,14 литрами краски можно заполнить объем, но для покраски поверхности потребуется бесконечно много краски» Почему возникает эта ситуация, противоречащая нашей интуиции?

graph TD A["Рог Гавриила"] --> B["Вычисление объема (интеграл)"] A --> C["Вычисление площади поверхности (интеграл)"] B --> B1["Объем = π (конечен)"] B1 --> B2["Можно заполнить изнутри краской"] C --> C1["Площадь поверхности = ∞ (бесконечна)"] C1 --> C2["Невозможно покрасить поверхность"] B2 --> D{"Парадокс!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

Математическое доказательство: Магия математического анализа

Рог Гавриила образуется вращением графика функции $y = \frac{1}{x}$ (при $x \ge 1$) вокруг оси $x$. Давайте вычислим объем $V$ и площадь поверхности $A$ этой фигуры с помощью математического анализа.

1. Вычисление объема (почему он конечен)

Объем тела вращения $V$ можно найти, интегрируя площадь поперечного сечения (круг радиусом $\frac{1}{x}$).

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

Если вычислить этот определенный интеграл:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

Результат сходится к конечному значению $\pi$.

2. Вычисление площади поверхности (почему она бесконечна)

С другой стороны, вычисление площади поверхности $A$ выглядит следующим образом.

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

Поскольку $\frac{dy}{dx} = -\frac{1}{x^2}$, выражение под корнем будет $1 + \frac{1}{x^4}$. Здесь для всех $x \ge 1$ выполняется условие $\sqrt{1 + \frac{1}{x^4}} > 1$, поэтому верно следующее неравенство:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

Натуральный логарифм $\ln x$ стремится к бесконечности при $x \to \infty$. Следовательно, большая по значению площадь поверхности $A$, естественно, тоже расходится к бесконечности.

«Разоблачение» парадокса

Даже если можно математически доказать правильность, с точки зрения здравого смысла реального мира с этим трудно согласиться. «Если мы можем заполнить его краской, значит, эта краска касается внутренней поверхности, а значит, и поверхность должна быть покрашена, не так ли?»

Это расхождение с интуицией возникает из-за смешения математических концепций и физической реальности.

В математическом мире «толщину» краски можно сделать бесконечно малой, вплоть до нуля. Рог Гавриила становится бесконечно узким по мере продвижения вперед, но «математическая» краска может становиться сколь угодно тонкой и проникать в самые глубокие участки этого узкого конца, покрывая бесконечную площадь поверхности конечным объемом (однако толщина слоя краски при этом стремится к нулю ближе к концу рога).

Однако в физическом реальном мире краска состоит из атомов и молекул (частиц, имеющих конечный размер). Если залить настоящую краску, то как только трубка рога станет у́же «диаметра молекулы краски», краска больше не сможет продвигаться дальше. Иными словами, физически невозможно ни заполнить его до конца, ни покрыть краской бесконечную поверхность.

Рог Гавриила — это прекрасный пример, показывающий, что человеческая интуиция ограничена «правилами конечного мира» и не всегда совпадает с миром математического анализа, где работает понятие «бесконечности».

Почему после строительства новой дороги пробки стали только хуже? Парадокс Браеса

Thu, 10 Sep 2026 21:00:00 +0900

Утренний час пик. Вы, раздраженные ежедневными пробками на дорогах, получаете отличную новость. «Для устранения пробок отдел городского планирования построил новую короткую дорогу (шорткат)!» Все наверняка подумали: «Ну теперь-то с завтрашнего дня можно будет поспать подольше».

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

Это не городская легенда или история провала администрации. Это известное явление в теории сетей, математически доказанное немецким математиком Дитрихом Браесом в 1968 году, — «Парадокс Браеса» (Braess’s Paradox).

Модель парадокса: 4000 пассажиров

Давайте рассмотрим простую математическую модель, чтобы понять, почему возникает явление: «дорог стало больше, но все едут медленнее».

Есть 4000 водителей, которые едут от точки старта (жилой район) к точке финиша (деловой район). Изначально было только 2 маршрута (верхний и нижний):

Верхний маршрут: проехать по узкой дороге $A$, затем по широкой автомагистрали $B$.
Нижний маршрут: проехать по широкой автомагистрали $C$, затем по узкой дороге $D$.

Поскольку на «узкой дороге» с увеличением числа машин возникают пробки, время в пути составляет: «количество едущих машин $\div 100$» минут. «Широкая автомагистраль» никогда не стоит в пробках, сколько бы машин ни приехало, и поездка по ней всегда занимает «45 минут».

Время в пути 【ДО строительства новой дороги】

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

Время верхнего маршрута: $\frac{2000}{100}$ мин (узкая дорога) + $45$ мин (автомагистраль) = $65$ минут
Время нижнего маршрута: $45$ мин (автомагистраль) + $\frac{2000}{100}$ мин (узкая дорога) = $65$ минут

Независимо от выбранного маршрута, время в пути стабилизируется на уровне «65 минут» для всех.

Ловушка короткой дороги

Предположим, мэр построил «сверхскоростную объездную дорогу мечты», позволяющую переместиться от Промежуточной точки 1 до Промежуточной точки 2 за 0 минут (мгновенно).

Водители получили новый вариант маршрута. Водитель на точке старта думает так: «Лучше поехать по узкой дороге A, чем по автомагистрали C (45 минут). В худшем случае, даже если все 4000 человек выберут A, это займет 40 минут (4000/100)».

Поэтому все 4000 человек направляются на «узкую дорогу A». Добравшись до Промежуточной точки 1, они снова думают: «Вместо того чтобы ехать по автомагистрали B (45 минут), лучше проехать по новой объездной (0 минут) и затем по узкой дороге D. Ведь в худшем случае, даже если все поедут по D, это займет 40 минут».

Поэтому все 4000 человек едут по «новой объездной» и направляются на «узкую дорогу D».

Время в пути 【ПОСЛЕ строительства новой дороги】

В результате того, что каждый сделал «самый быстрый (рациональный) выбор для себя», все поехали по одному и тому же маршруту (A → Новая объездная → D).

Давайте посчитаем это время в пути:

Узкая дорога $A$: $\frac{4000}{100} = 40$ мин
Новая объездная: $0$ мин
Узкая дорога $D$: $\frac{4000}{100} = 40$ мин
Итого: $80$ минут

Оказывается, несмотря на то, что появился удобный новый короткий путь, время поездки для всех ухудшилось с «65 минут» до «80 минут».

Вы можете подумать: «А почему бы хоть кому-нибудь не воспользоваться старым маршрутом?» Но если один человек выберет скоростной маршрут в объезд (45 минут + 40 минут = 85 минут), он будет ехать еще медленнее, чем текущие 80 минут. Поэтому никто не станет менять маршрут. В теории игр это называется достижением «равновесия Нэша». В результате того, что каждый принял оптимальное для себя решение, в целом все оказались в наихудшем положении.

Примеры из реального мира

Парадокс Браеса — это не просто кабинетная теория, он многократно наблюдался в реальном городском движении и сетевых системах.

1969 год, Штутгарт, Германия: Была построена новая дорога для борьбы с пробками, но пробки только усилились. В итоге, когда новую дорогу закрыли, поток движения улучшился.
1990 год, Нью-Йорк: Во время проведения Дня Земли полностью перекрыли 42-ю улицу, известную своими пробками. Вопреки ожиданиям экспертов по транспорту, пробки на всем Манхэттене резко уменьшились.
Телекоммуникационные сети: То же самое явление может происходить и в маршрутизации интернета, и в электросетях. Как только добавляется новый кабель или линия, пакеты данных могут устремиться по «кратчайшему, казалось бы, оптимальному маршруту», что иногда приводит к падению всей сети.

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

Учитель и ученик: суд, в котором победа любой стороны ведет к противоречию — парадокс Протагора

Thu, 10 Sep 2026 21:00:00 +0900

В Древней Греции молодой человек по имени Эватл нанялся в ученики к Протагору, величайшему софисту (учителю риторики). Они заключили следующий договор об оплате обучения:

Условия договора: Эватл должен выплатить Протагору оставшуюся часть платы за обучение после того, как выиграет свой первый судебный процесс, пройдя полный курс риторики.

Эватл был отличным учеником и блестяще завершил весь курс обучения. Однако после окончания он почему-то не брался ни за одно судебное дело. Не выступая в суде, условие «выиграть свой первый судебный процесс» никогда не выполнялось бы, поэтому ему не нужно было бы платить за обучение.

Протагор, потеряв терпение, подал на Эватла в суд. С требованием: «Заплати за обучение».

И здесь начинается логический лабиринт.

Логика учителя Протагора

В суде Протагор заявил следующее:

«О судьи, при любом исходе я выигрываю.

Если в этом суде выиграю я, по решению суда Эватл должен будет выплатить мне деньги за обучение.
Если в этом суде я проиграю, для Эватла это будет означать, что он «выиграл свой первый судебный процесс». То есть условия договора будут выполнены, и по договору он обязан заплатить за обучение.

В любом случае, он обязан заплатить за обучение».

Логика ученика Эватла

На это Эватл ответил не менее достойно:

«О судьи, при любом исходе я выигрываю.

Если в этом суде выиграю я, по решению суда мне не нужно будет платить за обучение.
Если в этом суде я проиграю, я еще не «выиграл свой первый судебный процесс». То есть условия договора не будут выполнены, и по договору я не обязан платить за обучение.

В любом случае, мне не нужно платить за обучение».

graph TD A["Результат суда"] --> B["Протагор выигрывает дело"] A --> C["Эватл выигрывает дело"] B --> B1["Решение: Эватл должен заплатить"] B --> B2["Договор: Эватл не выиграл дело → может не платить"] C --> C1["Решение: Эватл может не платить"] C --> C2["Договор: Первая победа Эватла → должен заплатить"] B1 --> D{"Противоречие! Решение против Договора"} B2 --> D C1 --> E{"Противоречие! Решение против Договора"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

Почему возникает противоречие?

Основная причина этого парадокса кроется в том, что две разные системы правил (закон и договор) выносят противоречащие друг другу решения.

Правило закона: Подчиняйтесь решению суда.
Правило договора: Подчиняйтесь условию «заплатить после победы в первом суде».

Обычно закон и договор функционируют как независимые области, но поскольку Протагор сделал предметом судебного спора «плату за обучение», сам результат этого суда повлиял на условия договора, из-за чего обе системы попали в самореферентную петлю.

Ответ правоведов

Древнеримский юрист Авл Геллий предложил следующее решение этой проблемы.

«Суд должен вынести решение в пользу Эватла (отсутствие необходимости платить). Потому что факт в том, что условия договора еще не выполнены. Однако после этого решения Протагор может подать в суд на Эватла снова. Поскольку Эватл выиграл свой первый судебный процесс, условия договора теперь выполнены. Во втором суде победа будет за Протагором».

Иными словами, ответ заключается в том, что если попытаться «решить парадокс за один судебный процесс», возникнет противоречие, но если разделить процесс на «два этапа», противоречие можно разрешить.

Связь с парадоксом самореференции

Парадокс Протагора имеет ту же структуру самореференции, что и «Парадокс лжеца» («Это утверждение ложно») и «Парадокс Рассела». Определенное утверждение (решение суда) влияет на условие, которое определяет его собственную истинность или ложность (выполнение договора).

Такого рода парадоксы глубоко связаны с проблемами, демонстрирующими фундаментальные пределы логики и вычислений, такими как «Проблема остановки» в современной информатике (невозможно создать программу, которая бы определяла, остановится ли любая другая программа) и теорема Гёделя о неполноте.

Парадокс Протагора — это предупреждение 2400-летней давности о том, что созданные человеком системы правил (законы и договоры) могут рухнуть изнутри из-за изощренной самореференции.

Парадокс Ришара: Противоречие, вызванное бесконечными десятичными дробями и "диагональным аргументом"

Thu, 10 Sep 2026 12:00:00 +0900

1. Список чисел, которые можно определить словами

«Парадокс Ришара», представленный французским математиком Жюлем Ришаром в 1905 году, является своего рода родственником упомянутого ранее «парадокса Берри». Однако он более математический и содержит в себе глубокое противоречие, словно заглядывающее в бесконечность.

Сначала представьте, что мы собираем «все действительные числа (десятичные дроби) от 0 до 1, которые можно полностью определить с помощью предложений на русском языке».

Например, такие числа:

«Ноль целых пять десятых» $\rightarrow$ $0.5$
«Одна третья» $\rightarrow$ $0.333333...$
«Число, состоящее из цифр числа пи после запятой» $\rightarrow$ $0.14159265...$

Поскольку комбинации предложений, которые можно выразить на русском языке, — это просто перестановка букв, имеющихся в словаре, мы можем установить для них «порядок». (Например, расположить их в порядке возрастания количества букв, а если количество букв совпадает — в алфавитном порядке.)

Таким образом, мы смогли создать бесконечный список, присвоив номера 1, 2, 3… «всем действительным числам, которые можно определить на русском языке».

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

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

2. Дьявольская техника: «Диагональный аргумент»

Здесь Ришар применяет пугающую операцию. Он искусственно создает «совершенно новое число $X$», которое обходит все числа из этого списка.

Способ создания прост:

Берем первую цифру после запятой первого числа в списке (в примере выше это $3$). Прибавляем к ней $1$, и это становится первой цифрой числа $X$ ($3+1=4$).
Берем вторую цифру после запятой второго числа в списке (в примере выше это $0$). Прибавляем к ней $1$, и это становится второй цифрой числа $X$ ($0+1=1$).
Берем третью цифру после запятой третьего числа в списке (в примере выше это $1$). Прибавляем к ней $1$, и это становится третьей цифрой числа $X$ ($1+1=2$).

※ Если исходная цифра — $9$, то мы превращаем её в $0$.

Новое число $X$, созданное таким образом (в нашем примере $X = 0.4128...$), абсолютно точно не совпадает ни с одним числом в списке. Причина в том, что оно намеренно отличается от $n$-го числа как минимум его «$n$-й цифрой после запятой». (Этот метод называется «диагональным аргументом» (или канторовым диагональным процессом), и он был разработан гениальным математиком Георгом Кантором для доказательства того, что множество действительных чисел несчетно бесконечно.)

3. Завершение парадокса Ришара

А вот теперь начинается сам парадокс.

Мы только что создали новое число $X$. И «правило» создания этого числа $X$ сейчас было полностью объяснено (определено) текстом на русском языке, который я написал выше.

То есть $X$ — это «действительное число, которое можно определить на русском языке».

Но вспомните исходную предпосылку: «Действительные числа, которые можно определить на русском языке», должны быть полностью охвачены исходным списком ($r_1, r_2, r_3...$). И тем не менее, $X$ было создано таким образом, чтобы не совпадать ни с одним числом в этом списке.

$X$ должно быть в списке (так как оно было определено на русском языке).
$X$ не должно быть в списке (поскольку с помощью диагонального аргумента оно было создано так, чтобы отличаться от всех чисел в списке).

Идеальное противоречие! Это и есть парадокс Ришара.

4. Почему рухнула логика? (Ловушка метаязыка)

Причина возникновения этого парадокса, как и в случае с парадоксом Берри, кроется в смешении «языковых уровней».

Для того чтобы заниматься математикой со всей строгостью, мы должны четко разделять «список целевых чисел (объектный язык)» и «правила, которые описывают свойства этого списка извне (метаязык)».

Список Ришара представляет собой совокупность «определений вычислимых чисел». Однако правило для создания нового числа $X$ — «взять $n$-ю цифру $n$-го числа в списке» — это метаязыковая операция, которую нельзя выполнить без взгляда на список извне.

Парадокс Ришара взорвался самопротиворечием из-за того, что мы попытались тайком протащить «метаязыковое число $X$, созданное путем манипуляции списком извне» внутрь самого этого «внутреннего списка».

5. Передача эстафеты Гёделю

Этот парадокс Ришара произвел настоящий фурор в математическом мире того времени. «Человеческий язык (и логические системы) могут легко привести к самопротиворечиям, если не быть осторожными. Как же сделать математику совершенной и непротиворечивой?»

В 1931 году окончательную точку в этом вопросе поставил молодой 25-летний гениальный математик Курт Гёдель. Гёдель смог идеально перевести и воспроизвести структуру этого парадокса, который Ришар создал, используя «неоднозначность человеческого языка», с помощью «строгих математических формул (гёделевых чисел)».

В результате появилась на свет знаменитая «теорема Гёделя о неполноте». Это было великое открытие, доказавшее пределы человеческого познания: «Как бы строго мы ни выстраивали математические правила, внутри этих правил обязательно возникнет “истина, которую невозможно ни доказать, ни опровергнуть” (математика неполна)».

Парадокс Ришара, начавшийся как простая противоречивая игра слов, со временем эволюционировал в мощнейшее оружие, разрушившее «абсолютность» самой математики как науки.

Парадокс Берри: Противоречие, возникающее при попытке определить "числа" через "слова"

Thu, 10 Sep 2026 11:00:00 +0900

1. Выражение чисел словами

Мы каждый день выражаем числа не только «арабскими цифрами» (1, 2, 3…), но и с помощью «слов» (на русском, английском, японском и т.д.).

Например, число $10$ можно описать различными словами (для наглядности рассмотрим на примере японского языка):

«дзю» (じゅう, 3 знака)
«пять умножить на два» (ごの2ばい, 5 знаков)
«одна десятая от ста» (ひゃくの10ぶんの1, 9 знаков)

Давайте подумаем о том, как объяснить определенное число с помощью таких японских знаков. Мы установим ограничение на количество знаков. Здесь мы рассмотрим числа, которые можно выразить японским языком, используя «не более 19 знаков».

Естественно, существует предел чисел, которые можно выразить в пределах 19 знаков. Количество видов японских символов (хирагана, катакана, кандзи и т.д.) конечно, и количество их комбинаций длиной не более 19 знаков также конечно (это астрономическое число, но оно не бесконечно).

Иными словами, обязательно должно существовать «огромное целое число, которое никак нельзя выразить на японском языке в пределах 19 знаков».

2. Рождение парадокса

А теперь перейдем к главному. Существует бесчисленное множество «целых чисел, которые нельзя выразить на японском языке в пределах 19 знаков». Предположим, что из этого бесчисленного множества невыразимых чисел мы нашли одно — «самое маленькое (наименьшее целое число)».

Обозначим это число за $X$. Поскольку $X$ по определению является самым маленьким из «чисел, которые нельзя выразить на японском языке в пределах 19 знаков», мы можем назвать его так (записав азбукой):

«дзю-ю-кю-ю-мо-дзи-и-на-и-дэ-а-ра-ва-сэ-на-и-са-и-сё-у-но-сэ-и-су-у» (じゅうきゅうもじいないであらわせないさいしょうのせいすう)

Давайте посчитаем количество знаков: «дзю・у・кю・у・мо・дзи・и・на・и・дэ・а・ра・ва・сэ・на・и・са・и・сё・у・но・сэ・и・су・у» …Ой? Даже без учета знаков препинания здесь 25 символов. Это превышает «19 знаков».

Тогда давайте немного изменим выражение и сделаем его короче, используя иероглифы (кандзи).

「十九文字以内で表せない最小の整数」 (Наименьшее целое число, которое нельзя выразить не более чем девятнадцатью знаками)

А теперь давайте посчитаем количество знаков в этом выражении:

Поразительно, но здесь всего лишь «16 знаков».

Произошло нечто странное. Мы только что выразили число $X$ с помощью «16-значного выражения»: «十九文字以内で表せない最小の整数»!

graph TD Define["Определение:
X = наименьшее целое число, которое нельзя выразить не более чем 19 знаками"] --> CheckLength{"Сколько знаков во фразе
『十九文字以内で表せない最小の整数』?"} CheckLength -->|16 знаков| Contradiction["Противоречие!
X удалось выразить 『16 знаками』!"] Contradiction --> Paradox["X 『нельзя выразить не более чем 19 знаками』, но
『выражается не более чем 19 знаками (16 знаков)』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

$X$ — это число, которое «нельзя выразить не более чем 19 знаками», но сама фраза этого определения идеально описывает $X$ с помощью «16 знаков (что меньше 19 знаков)». Это и есть «Парадокс Берри (Berry Paradox)».

3. Кто создал этот парадокс?

Этот парадокс был придуман в 1904 году библиотекарем Оксфордского университета по имени Г. Г. Берри (G. G. Berry). Он стал известен во всем мире благодаря тому, что Бертран Рассел, гениальный математик и философ, представляющий 20-й век, упомянул его в одной из своих работ.

(※ В оригинальной статье на английском языке используется выражение “The least integer not nameable in fewer than nineteen syllables” (наименьшее целое число, которое нельзя назвать менее чем девятнадцатью слогами), и парадокс построен на количестве слогов в английском языке.)

4. Почему возникло противоречие?

Коренная причина этого парадокса заключается в неоднозначности и самореференции «естественного языка» (японского, английского, русского и т.д.), который мы обычно используем.

Естественный язык не выдерживает математической строгости

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

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

Что значит «быть названным»?

Кроме того, определение фразы «можно выразить 16 знаками» также является неоднозначным. Фраза «наименьшее целое число, которое нельзя выразить не более чем 19 знаками» не указывает напрямую на какое-то конкретное число (например, $987654321...$). Она лишь косвенно описывает, что «должно существовать число, удовлетворяющее этому условию».

Математически «выражение в форме, которую можно непосредственно вычислить» и «описание косвенного условия словами» должны быть четко разделены. Логический трюк скрыт в смешивании этих двух понятий и утверждении, что «его удалось выразить 16 знаками!».

5. Заключение и влияние на современность

На первый взгляд парадокс Берри кажется просто «игрой слов» или «загадкой». Однако эта проблема заставила математиков 20-го века глубоко осознать «опасность использования повседневного языка для построения основ математики».

«Нельзя определять числа словами. Математика должна строиться исключительно на строгих и полностью независимых символах».

Этот парадокс стал важным ориентиром, который привел к таким передовым областям знаний, изменившим последующую историю математики, как «Теоремы Гёделя о неполноте» (существуют истины, которые в математике абсолютно невозможно доказать) и «Колмогоровская сложность» (теория о том, насколько кратко можно сжать информацию) в информатике.

Всего 16 знаков японского языка обнажили пределы математики. В этом и заключается красота парадокса Берри.

Парадокс неожиданной казни: день, когда проводится логически "абсолютно невозможный" тест

Thu, 10 Sep 2026 10:00:00 +0900

1. «Абсолютное заявление» учителя

Однажды в пятницу, по пути домой, учитель математики сделал своим ученикам пугающее заявление.

«На следующей неделе, в один из дней с понедельника по пятницу, я проведу “неожиданный тест” ровно один раз. Однако, если утром того же дня вы сможете с уверенностью предсказать, что “сегодня день теста”, это уже не будет неожиданностью, и в этот день тест проводиться не будет».

Услышав это заявление, ученики задрожали от страха. Ведь им придется каждый день жить в напряжении, не зная, когда именно будет тест. Однако ученик А, самый блестящий в классе, вдруг усмехнулся и встал.

«Ребята, можете расслабиться. Абсолютно невозможно, чтобы на следующей неделе был неожиданный тест. Это логически невозможно!»

Ученик А с полной уверенностью начал писать на доске следующую «безупречную логику».

2. Доказательство с помощью «безупречной логики» ученика А

Доказательство ученика А использует математический метод, называемый обратным рассуждением (рассуждение в обратном направлении), начиная с «пятницы».

Шаг 1: Исключение вероятности пятницы

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

Шаг 2: Исключение вероятности четверга

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

Шаг 3: Исключение всех дней недели

Достаточно просто повторить ту же логику. Если не четверг, то последним днем будет среда. Следовательно, если до вторника теста не было, его можно будет предсказать утром в среду, поэтому среда также исключается. Если исключается среда, то исключается и вторник, и понедельник. Вывод: пока соблюдаются правила учителя, провести неожиданный тест в любой день с понедельника по пятницу абсолютно невозможно!

graph TD Fri["Утро пятницы
(пн-чт нет теста)"] -->|Можно предсказать: «осталась только пятница»| NoFri["В пятницу тест невозможен"] Thu["Утро четверга
(пн-ср нет теста)"] -->|Можно предсказать: «в пятницу нет, значит только сегодня»| NoThu["В четверг тест невозможен"] Wed["Утро среды"] -->|Можно предсказать: «в чт и пт нет, значит только сегодня»| NoWed["В среду тест невозможен"] Tue["Утро вторника"] -->|Аналогично можно предсказать| NoTue["Во вторник тест невозможен"] Mon["Утро понедельника"] -->|Аналогично можно предсказать| NoMon["В понедельник тест невозможен"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

Ученики в классе обрадовались. Логика ученика А казалась безупречной и не имела никаких изъянов. Они весело провели выходные и, совершенно не готовясь к тесту, встретили понедельник.

Понедельник… теста не было. «Ну вот!» Вторник… теста не было. «А ведь прав был!»

И вот утро среды. Дверь класса с грохотом открывается, входит учитель и говорит:

«Итак, уберите всё со столов. Мы начинаем неожиданный тест прямо сейчас!»

Ученики впали в панику. «Н-но как!? Мы абсолютно не ожидали, что тест будет в среду!»

Учитель усмехнулся. «Вот видите, вы же не смогли его предсказать? Мое “заявление” было абсолютно верным, и неожиданный тест состоялся точно по правилам».

3. Где именно была ошибка в логике?

Хотя доказательство ученика А казалось безупречным, почему же в реальности «совершенно неожиданный тест» все-таки состоялся? Эта проблема изначально называлась «Парадоксом неожиданной казни», и она была придумана шведским математиком Леннартом Экбомом в 1940-х годах и с тех пор продолжает мучить философов и логиков.

На самом деле, для этого парадокса до сих пор нет единого мнения о том, каков «единственно правильный ответ». Однако существует несколько основных подходов к его разрешению.

Подход 1: «Парадокс знания (эпистемология)»

Самая большая ловушка в рассуждениях ученика А заключалась в том, что он включил в свои предсказания предпосылку о том, что «заявление учителя на 100% истинно».

Заявление учителя состоит из двух условий: «на следующей неделе будет проведен тест» (P) и «он не будет проведен в день, который можно предсказать» (Q). Если тест не был проведен до пятницы, ученик подумает: «Если заявление верно, остается только сегодняшний день», но в то же время появится сомнение: «Если я могу предсказать, что это будет сегодня, это противоречит условию Q заявления. Значит, само по себе заявление P (о проведении теста) с самого начала было ложью?»

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

Подход 2: «Парадокс самореференции»

Давайте переведем слова учителя в логическое выражение. Пусть утверждение учителя будет $S$. $S = $ «Я проведу тест в некоторый день $T$. И вы не сможете предсказать этот день $T$.»

Это утверждение имеет «самореферентную структуру», при которой его истинность или ложность меняется в зависимости от того, как сами ученики воспринимают само утверждение (заявление). Подобно «Парадоксу лжеца» («Это утверждение ложно»), оно обладает свойством зацикливать логические рассуждения в бесконечный цикл.

4. «Неожиданные тесты», скрывающиеся в повседневной жизни

Этот парадокс применим не только в математике, но и в нашей повседневной жизни.

[Дилемма вечеринки-сюрприза]

Предположим, ваш друг заявляет: «В этом месяце я устрою тебе вечеринку-сюрприз на день рождения!» Услышав это, вы каждый день гадаете: «Сегодня? Завтра?» Если даже в последний день месяца вечеринки не было, вы приходите к выводу, что для выполнения условия «сюрприз (непредсказуемость)», она абсолютно не может состояться в последний день… Однако на деле, если где-то в середине месяца внезапно выносят торт, вы получаете идеальный сюрприз с мыслью: «Я действительно был удивлен!»

5. Заключение

«Парадокс неожиданной казни» (неожиданного теста) блестяще демонстрирует сложность включения самого состояния «знания (предсказания)» человека в логические вычисления.

То, что мы считаем «безупречным рассуждением», на самом деле может оказаться лишь замком на песке, построенным на необоснованном убеждении, что «оппонент будет абсолютно соблюдать правила». Если в следующий раз учитель скажет: «Я устрою неожиданный тест», кажется, самым рациональным решением будет перестать мудрить с логикой и просто покорно учиться каждый день.

Проблема Спящей красавицы: Вероятность монеты 1/2 или 1/3? Парадокс, раскалывающий теорию вероятностей

Thu, 10 Sep 2026 09:00:00 +0900

1. Правила странного эксперимента

Вы (Спящая красавица) были выбраны в качестве испытуемой в некотором научном эксперименте. Эксперимент проводится с воскресенья по среду. В воскресенье вечером вам дают снотворное, и вы засыпаете.

После того как вы уснете, экспериментатор бросает одну правильную монету (монету, у которой вероятность выпадения орла и решки абсолютно равна 1/2). И в зависимости от результата, вас будут будить по следующему расписанию.

【Если монета выпала «Орлом»】

Вас разбудят только один раз в понедельник и зададут вопрос. После этого вас снова усыпят, и вы больше не проснетесь до конца эксперимента (до среды).

【Если монета выпала «Решкой»】

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

※ Из-за эффекта лекарства, стирающего память, проснувшись, вы совершенно не можете вспомнить «какой сегодня день недели» и «будили ли вас в прошлом».

graph TD Sunday["Воскресенье: Красавица засыпает"] --> Toss{"Бросок монеты"} Toss -->|Орел (1/2)| Mon_Heads["Понедельник: Пробуждение + Вопрос
(затем завершение эксперимента)"] Toss -->|Решка (1/2)| Mon_Tails["Понедельник: Пробуждение + Вопрос
(затем стирание памяти)"] Mon_Tails --> Tue_Tails["Вторник: Пробуждение + Вопрос
(затем завершение эксперимента)"] style Toss fill:#ff9999,stroke:#333 style Mon_Heads fill:#aaffaa,stroke:#333 style Mon_Tails fill:#aaffaa,stroke:#333 style Tue_Tails fill:#aaffaa,stroke:#333

Итак, в понедельник (или во вторник) вы проснулись. В комнате нет ни часов, ни календаря, и вы не знаете, какой сегодня день недели.

Тут приходит экспериментатор и задает вам следующий вопрос: «Как вы думаете, какова вероятность того, что подброшенная монета выпала ‘Орлом’, учитывая ваше нынешнее состояние пробуждения?»

Вы — красавица, хорошо разбирающаяся в математике. Итак, что вы ответите?

2. Столкновение двух лагерей: 1/2 или 1/3

Эта проблема была придумана в 1990-х годах и опубликована в научном журнале философом Адамом Элгой в 2000 году. Вероятность монеты кажется очевидной, но на самом деле из-за этой проблемы математики, статистики и философы по всему миру раскололись ровно пополам на два лагеря: «сторонники 1/2» (халферы) и «сторонники 1/3» (тёрдеры), и до сих пор ведут ожесточенные споры.

Давайте послушаем «идеальную логику» каждого из лагерей.

Аргументы «сторонников 1/2» (халферов)

«Поскольку монета правильная и без подвоха, вероятность выпадения орла, естественно, составляет 1/2. Сколько бы раз экспериментатор ни будил меня после того, как я усну, и как бы ни стирал память, это никак не влияет на физический результат броска монеты. В момент броска монеты вероятность была 1/2, и мое пробуждение не дает мне никакой новой информации (никаких подсказок для того, чтобы угадать — орел это или решка). Следовательно, вероятность остается 1/2.»

Это вполне разумное мнение, в котором придается значение объективному физическому явлению и отсутствию обновления информации.

Аргументы «сторонников 1/3» (тёрдеров)

«Сам факт того, что вы ‘проснулись’, — это информация, изменяющая вероятность. Допустим, мы повторили бы этот эксперимент 100 раз (100 недель). Монета должна выпасть ‘Орлом’ 50 раз и ‘Решкой’ 50 раз.

В те 50 недель, когда выпадал орел, вас будят только 1 раз в понедельник $\rightarrow$ Количество пробуждений при ‘Орле’ — 50 раз

В те 50 недель, когда выпадала решка, вас будят 2 раза: в понедельник и во вторник $\rightarrow$ Количество пробуждений при ‘Решке’ — 100 раз

Иными словами, ситуация вашего пробуждения в целом возникает 150 раз, из которых ‘сценарий пробуждения при орле’ составляет 50 раз, а ‘сценарий пробуждения при решке’ — 100 раз. Следовательно, вероятность того, что пробуждение, которое вы переживаете прямо сейчас, произошло при ‘Орле’, равна 50 / 150 ＝ 1/3!»

Это сильное мнение, основанное на «фриквентизме» (частотном подходе) и «антропном принципе», где сама ситуация «я сейчас существую (наблюдаю)» включается в расчет как элемент вероятностного пространства.

3. Попробуем вычислить с помощью теоремы Байеса

Существуют также попытки разгадать эту проблему с помощью «теоремы Байеса» — математического инструмента для обновления вероятностей. Давайте систематизируем логику «сторонников 1/3» с точки зрения условной вероятности.

Состояние при пробуждении будет одним из трех:

$E_1$: Монета выпала «Орлом», и сейчас «Понедельник»
$E_2$: Монета выпала «Решкой», и сейчас «Понедельник»
$E_3$: Монета выпала «Решкой», и сейчас «Вторник»

Вероятность выпадения «Орла» равна $1/2$, а вероятность выпадения «Решки» равна $1/2$. Однако в случае с решкой «понедельник» и «вторник» абсолютно симметричны (их невозможно отличить из-за отсутствия памяти), поэтому вероятность возникновения $E_2$ и $E_3$ считается одинаковой.

Поскольку сумма всех вероятностей должна быть равна $1$, если мы назначим каждому пробуждению равную вероятность как независимому «событию (точке наблюдения)», то получим: $P(E_1) = 1/3$ $P(E_2) = 1/3$ $P(E_3) = 1/3$ Следовательно, делается вывод, что «вероятность того, что выпал орел ($P(E_1)$)», становится равна $1/3$.

С другой стороны, «сторонники 1/2» возражают: «Понедельник и вторник при выпадении решки ($E_2$ и $E_3$) — это зависимые события, производные от результата броска одной и той же монеты, и подсчитывать их как независимые вероятности в корне неверно».

4. Почему эта проблема не решается?

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

Для сторонников 1/2 вероятность — это «физическое свойство монеты» и «объективный факт».
Для сторонников 1/3 вероятность — это «степень убежденности наблюдателя (красавицы)» и «частота наблюдений».

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

5. Заключение

Если бы вы стали испытуемым в этом эксперименте, ответили бы вы при пробуждении «1/2»? Или вы бы ответили «1/3»?

Что бы вы ни ответили, математики мирового уровня встанут за вашей спиной, чтобы защитить вас. Как математические определения, кажущиеся на первый взгляд простыми, рушатся, стоит им лишь соприкоснуться с такими сложными понятиями, как человеческая «субъективность» и «существование». Парадоксы и сегодня продолжают расшатывать наш здравый смысл.

Парадокс Ньюкома: сможете ли вы победить сверхчеловека, предвидящего будущее?

Thu, 10 Sep 2026 08:00:00 +0900

1. Ультимативная игра выбора

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

Омега ставит перед вами две коробки.

Коробка А: прозрачная коробка. Внутри гарантированно лежат «100 тысяч иен».
Коробка Б: непрозрачная коробка. Внутри либо «100 миллионов иен», либо она «пустая (0 иен)».

Омега предлагает вам выбрать одно из двух действий:

Выбор 1: «Взять обе коробки». Вы получаете 100 тысяч иен из коробки А и всё, что находится в коробке Б.
Выбор 2: «Взять только коробку Б». Вы получаете только содержимое коробки Б. От 100 тысяч иен из коробки А придется отказаться.

Услышав только это, любой бы решил «взять обе коробки». Однако Омега добавил пугающее «правило».

【Правило Омеги】

«Вчера я уже предсказал, какой выбор ты сделаешь сегодня, и соответственно подготовил содержимое коробки Б. Если я предсказал, что ты пожадничаешь и выберешь „Взять обе коробки“, то я оставил коробку Б пустой. Если же я предсказал, что ты не пожадничаешь и выберешь „Взять только коробку Б“, то я положил в коробку Б 100 миллионов иен».

Итак, теперь вы должны сделать выбор. Стоит ли вам «Взять обе коробки»? Или же «Взять только коробку Б»?

graph TD Omega["Предсказание Омеги
(уже сделано вчера)"] Omega -->|Предсказал "Взять обе"| BoxB_Empty["Коробка Б пустая (0 иен)"] Omega -->|Предсказал "Только коробку Б"| BoxB_100M["В коробке Б 100 млн иен"] You["Ваш выбор
(сегодня)"] You -->|Выбор 1: Взять обе| Result1["Коробка А(100 тыс.) + содержимое коробки Б"] You -->|Выбор 2: Только коробка Б| Result2["Коробка А(0 тыс.) + содержимое коробки Б"] BoxB_Empty -.-> Result1 BoxB_100M -.-> Result2

2. Столкновение двух «идеальных логик»

Эта проблема была придумана в 1969 году физиком Уильямом Ньюкомом и опубликована философом Робертом Нозиком. Сразу после публикации мнения гениальных математиков и философов по всему миру разделились ровно пополам, что вызвало грандиозные споры.

Причина в том, что для каждого из вариантов выбора существует «абсолютно неопровержимая, идеальная логика».

Логика 1: Аргументы сторонников «Взять только коробку Б» (максимизация ожидаемой полезности)

«Точность предсказаний Омеги почти 100%, не так ли? В таком случае, следуя прошлым данным, стоит поверить Омеге. Если я выберу „Взять обе“, Омега предвидит это, и в результате я получу лишь 100 тысяч иен. Если я выберу „Взять только коробку Б“, Омега предвидит и это, и результат составит 100 миллионов иен. Любому дураку понятно, что лучше: 100 тысяч или 100 миллионов иен. Поэтому однозначно следует выбрать „Взять только коробку Б“!»

Этот образ мышления основан на «теории ожидаемой полезности», которая прямо полагается на прошлые статистические данные и математические ожидания.

Логика 2: Аргументы сторонников «Взять обе коробки» (доминирующая стратегия)

«Подождите-ка. Омега сделал предсказание и положил содержимое в коробку Б еще „вчера“, верно? Это значит, что на данный момент содержимое коробки Б уже определено: там либо „лежит 100 миллионов иен“, либо „пусто“, и это уже никак не изменится.

Вариант 1: Если в коробке Б уже лежит 100 миллионов иен, то выбрав „Взять обе“, я получу 100 миллионов 100 тысяч, а выбрав „Только Б“ — 100 миллионов. Вариант 2: Если коробка Б уже пуста, то выбрав „Взять обе“, я получу 100 тысяч, а выбрав „Только Б“ — 0 иен.

При любом раскладе, если выбрать „Взять обе“, гарантированно получишь на 100 тысяч иен больше! От того, что я сейчас выберу, вчерашние действия Омеги не перепишутся с помощью машины времени. Поэтому однозначно следует выбрать „Взять обе коробки“!»

Этот образ мышления основан на «доминирующей стратегии» из теории игр — выборе варианта, который является наиболее выгодным для вас, независимо от того, какие действия предпримет ваш оппонент.

3. Верите ли вы в «свободу воли»?

«Сторонники коробки Б» и «сторонники обеих коробок». Выслушав аргументы обеих сторон, кто, по-вашему, прав?

На самом деле, у этого парадокса до сих пор нет «единственного математически идеального правильного ответа». Причина в том, что в основе этой проблемы скрыт величайший философский вопрос человечества: «Детерминизм против свободы воли».

Те, кто ответил «Взять только коробку Б» (детерминисты)

Люди, сделавшие такой выбор, бессознательно принимают «детерминизм (будущее этого мира полностью предопределено с самого начала)». То, что Омега может на 100% предсказать будущее, означает, что ваше текущее решение не было продиктовано «вашей свободной волей», а «вы уже были обречены сделать этот выбор вчера из-за физических законов вселенной и движения нейронов в мозге». Это убеждение в том, что раз будущее нельзя изменить, самое рациональное — следовать «судьбе взять только коробку Б», как и предсказал Омега.

Те, кто ответил «Взять обе коробки» (сторонники свободы воли)

Люди, сделавшие такой выбор, бессознательно верят в «свободу воли (будущее прокладывается собственными выборами)». Именно потому, что они верят: «Каким бы ни было вчерашнее предсказание Омеги, я могу изменить свой выбор с помощью своей воли сейчас», они «действуют так, чтобы получить дополнительные 100 тысяч иен прямо сейчас, независимо от уже предопределенного содержимого коробки». Даже если в итоге Омега предвидел это, и коробка оказалась пустой, они будут рассуждать: «Это результат логически правильного действия, так что ничего не поделаешь».

4. Путешествия во времени и разрушение причинности

Что делает парадокс Ньюкома еще более запутанным, так это инверсия «причинности (наличие причины и следствия)».

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

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

Если во Вселенной существует «идеальный предсказатель», подобный Омеге, то даже наша привычная уверенность в том, что «время течет из прошлого в будущее», рухнет.

5. Заключение: Как мысленные эксперименты раскрывают человеческую «рациональность»

Какую коробку откроете вы?

Прошло уже более полувека с момента появления этого парадокса, но в философских и экономических опросах респонденты по-прежнему делятся примерно поровну на «сторонников обеих коробок» и «сторонников только коробки Б». И что самое интересное, оба лагеря искренне верят, что «оппоненты — дураки, а их логика абсолютно несостоятельна».

«Что такое рациональное суждение?» Как бы ни развивались экономика и математика, в конечном итоге мы приходим к философии «как человек воспринимает этот мир». Парадокс Ньюкома — это самый коварный и прекрасный мысленный эксперимент, демонстрирующий пределы логики.

Парадокс Симпсона: загадочное явление, когда выигрывая в частностях, вы проигрываете в целом

Thu, 10 Sep 2026 07:00:00 +0900

1. В какой больнице лучше сделать операцию?

Вы тяжело заболели, и вам необходимо сделать операцию. Перед вами два варианта: больница А и больница Б. Вы запросили данные о «проценте успеха» операций в каждой из них.

【Общий процент успеха】

Больница А： Из 1000 человек операция прошла успешно у 900 (процент успеха 90%)
Больница Б： Из 1000 человек операция прошла успешно у 800 (процент успеха 80%)

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

【Процент успеха у пациентов с легкой формой】

Больница А： Из 100 человек операция прошла успешно у 99 (процент успеха 99%)
Больница Б： Из 900 человек операция прошла успешно у 870 (процент успеха 96%) $\rightarrow$ В случае легкой формы заболевания, выигрывает больница А (99% > 96%)

【Процент успеха у пациентов с тяжелой формой】

Больница А： Из 900 человек операция прошла успешно у 801 (процент успеха 89%)
Больница Б： Из 100 человек операция прошла успешно у 70 (процент успеха 70%) $\rightarrow$ Даже в случае тяжелой формы заболевания, выигрывает больница А (89% > 70%)

Эй? Вам не кажется это странным?

Для пациентов с «легкой» формой процент успеха выше в больнице А. Для пациентов с «тяжелой» формой процент успеха также выше в больнице А. И все же, если посчитать «общий» процент успеха для всех пациентов вместе…?

Больница А в целом： $(99 + 801) / 1000 =$ 90%
Больница Б в целом： $(870 + 70) / 1000 =$ 94%……стоп, согласно предыдущим подсчетам, это было 80%?

Подождите, давайте еще раз посмотрим на первоначальные данные. Первоначальные данные были такими:

Общий процент успеха в больнице А： 90%
Общий процент успеха в больнице Б： 80%

Однако, если мы пересчитаем, используя детально разбитые данные, то общий процент успеха больницы Б должен составить $(870 + 70) / 1000 = 940 / 1000 = $ 94%.

…Да, вас обманули! На самом деле, именно этот трюк с числами и является пугающей статистической ловушкой, которую мы сегодня разберем. Давайте я покажу вам правильные данные.

2. Тем, кого обманули: настоящие данные

【Процент успеха у пациентов с легкой формой】

Больница А： Из 900 человек операция прошла успешно у 870 (процент успеха 96%)
Больница Б： Из 100 человек операция прошла успешно у 99 (процент успеха 99%) $\rightarrow$ В случае легкой формы заболевания, выигрывает больница Б (99% > 96%)

【Процент успеха у пациентов с тяжелой формой】

Больница А： Из 100 человек операция прошла успешно у 30 (процент успеха 30%)
Больница Б： Из 900 человек операция прошла успешно у 315 (процент успеха 35%) $\rightarrow$ Даже в случае тяжелой формы заболевания, выигрывает больница Б (35% > 30%)

То есть, как при легкой, так и при тяжелой форме заболевания, больница Б намного превосходит больницу А.

Теперь давайте суммируем это в «общем» итоге.

Больница А в целом： $(870 + 30) / (900 + 100) = 900 / 1000 =$ процент успеха 90%
Больница Б в целом： $(99 + 315) / (100 + 900) = 414 / 1000 =$ процент успеха 41%

Как же так? Если смотреть на «части», больница Б везде выигрывает, но если объединить все в «целое», то больница А одерживает убедительную победу! Именно это явление и называется «парадоксом Симпсона».

graph TD subgraph "Частичные данные (победа Б)" Light["Легкая форма: победа больницы Б (99% > 96%)"] Heavy["Тяжелая форма: победа больницы Б (35% > 30%)"] end subgraph "Общие данные (победа А)" Total["Общий итог: убедительная победа больницы А (90% > 41%)"] end Light -->|При объединении результат почему-то меняется на противоположный| Total Heavy -->|При объединении результат почему-то меняется на противоположный| Total style Total fill:#ff9999,stroke:#333,stroke-width:2px

3. Почему происходит такой странный разворот?

Природа этого парадокса кроется в «смещении параметров (знаменателя)» и наличии «скрытых переменных (вмешивающихся факторов)».

Внимательно посмотрите на данные.

Больница А принимает в большом количестве (900 человек) «пациентов с легкой формой, которых легко вылечить».
Больница Б принимает в большом количестве (900 человек) «пациентов с тяжелой формой, которых трудно вылечить».

Так как в больнице Б работают отличные специалисты, она стала своеобразной «последней надеждой», принимая множество сложных, тяжелобольных пациентов, от которых отказываются в других местах. Естественно, процент успеха у тяжелобольных пациентов будет ниже (35%). «Общий процент успеха» больницы Б оказался визуально заниженным (41%) из-за того, что его потянул вниз низкий процент успеха этого огромного числа тяжелобольных пациентов.

С другой стороны, больница А в основном занимается лечением простых случаев, пациентов с легкой формой, из-за чего ее общий процент успеха выглядит высоким (90%). Однако при сравнении в равных условиях (тяжелые с тяжелыми, легкие с легкими), ее мастерство оказалось хуже, чем у больницы Б.

Если выразить это математически, причина кроется в свойствах сложения дробей. В общем случае, даже если $\frac{a}{b} < \frac{A}{B}$ и $\frac{c}{d} < \frac{C}{D}$, это не означает, что

$$ \frac{a+c}{b+d} < \frac{A+C}{B+D} $$

будет выполняться всегда. Когда размеры знаменателей сильно отличаются, направление знака неравенства может измениться на противоположное.

4. «Парадокс Симпсона» в реальном мире

Этот парадокс — не просто арифметическая головоломка, он часто встречается в реальном обществе и вызывает бурные споры.

Подозрения в гендерной дискриминации в Калифорнийском университете в Беркли в 1973 году

Когда исследовали процент приема в аспирантуру Беркли, оказалось, что «процент приема среди мужчин (44%)» был значительно выше, чем «процент приема среди женщин (35%)», что стало проблемой, поскольку указывало на очевидную дискриминацию в отношении женщин. Однако, когда данные были детально разбиты и проанализированы «по факультетам», выявился удивительный факт. Почти на всех факультетах процент приема женщин был выше, чем мужчин.

Почему общие цифры перевернулись? На самом деле, женщины чаще подавали заявления на «факультеты с низким процентом приема (где высокая конкуренция)», в то время как мужчины чаще подавали заявления на «факультеты с высоким процентом приема (куда легко поступить)».

Данные об эффективности вакцин против коронавируса

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

При сравнении по возрастным группам было подтверждено, что во всех возрастных группах «уровень смертности среди вакцинированных людей ниже».

5. Заключение: данные не лгут, но люди могут лгать с помощью данных

Парадокс Симпсона предостерегает об «опасности принятия решений, основываясь только на общих данных, таких как средние значения или суммы».

В мире полно компаний, политиков и средств массовой информации, которые выхватывают только «общие цифры», чтобы представить себя в выгодном свете. Даже если вам говорят: «Наш продукт А имеет более высокий уровень общей удовлетворенности, чем продукт Б конкурента!», возможно, если разделить пользователей на «молодежь» и «пожилых», продукт Б окажется победителем в обеих группах.

При изучении данных не обманывайтесь поверхностными «общими» цифрами, а выработайте привычку сомневаться: «Нет ли крайнего перекоса в пропорциях групп из-за скрытых переменных (возраст, пол, тяжесть заболевания и т.д.)?». Это станет вашим самым сильным оружием для выживания в современном информационном обществе.

Отель бесконечности Гильберта: как разместить бесконечное число гостей в полностью занятом отеле

Thu, 10 Sep 2026 06:00:00 +0900

1. Добро пожаловать в абсолютный отель

Великий немецкий математик Давид Гильберт придумал следующий забавный мысленный эксперимент, чтобы проиллюстрировать, насколько концепция «бесконечности» далека от человеческой интуиции.

Представьте себе: где-то во Вселенной находится отель под названием «Отель бесконечности Гильберта». В этом отеле существует бесконечное количество пронумерованных номеров: номер 1, номер 2, номер 3 и так далее.

В один прекрасный день во Вселенной произошло грандиозное событие, и все номера в этом бесконечном отеле были заняты, он оказался «заполнен». В этот момент прибывает уставший путешественник и спрашивает на стойке регистрации: «Не могли бы вы найти для меня один номер?»

Обычный отель мог бы только отказаться, сказав: «Извините, свободных мест нет». Однако это отель бесконечности. Менеджер улыбнулся и ответил: «Конечно. Сейчас подготовим для вас номер». Как же можно разместить нового гостя, если отель переполнен?

2. Случай 1: Как разместить 1 нового гостя

Менеджер по системе громкой связи отеля сделал следующее объявление для всех уже проживающих гостей:

«Уважаемые гости, пожалуйста, переместитесь в номер, номер которого равен вашему текущему номеру “плюс 1”.»

Что же произойдет?

Гость из номера 1 переместится в номер 2.
Гость из номера 2 переместится в номер 3.
Гость из номера 3 переместится в номер 4.
Гость из номера $n$ переместится в номер $n+1$.

graph LR subgraph "До перемещения (полный)" R1["Номер 1
(Гость A)"] R2["Номер 2
(Гость B)"] R3["Номер 3
(Гость C)"] R4["..."] end subgraph "После перемещения" NewR1["Номер 1
(Свободно!)"] NewR2["Номер 2
(Гость A)"] NewR3["Номер 3
(Гость B)"] NewR4["Номер 4
(Гость C)"] end R1 -->|Перемещение| NewR2 R2 -->|Перемещение| NewR3 R3 -->|Перемещение| NewR4 NewGuest["Новый гость"] -->|Заселение| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

Так как комнат бесконечное множество, ситуации, при которой «гостя из самой последней комнаты выгонят», не произойдет. Все благополучно переезжают в соседнюю комнату. И вот, номер 1 стал свободным. Новый путешественник смог благополучно заселиться в номер 1.

В мире бесконечности справедливо равенство $\infty + 1 = \infty$. Даже если прибавить или отнять «один» от «целого (бесконечности)», размер целого не изменится.

3. Случай 2: Как разместить бесконечное число новых гостей

Итак, на следующий день. Отель снова вернулся в состояние заполненности. И вот прибывает бесконечный автобус с «бесконечным числом пассажиров». Гости, выходящие из автобуса, подходят к стойке регистрации и требуют: «Подготовьте номера для всех!»

Если просить переместиться на «плюс 1», как вчера, это займет вечность. Но менеджер не паникует. Он снова делает объявление по громкой связи:

«Уважаемые гости, пожалуйста, переместитесь в номер, номер которого в “2 раза” больше вашего текущего номера.»

Что же произойдет?

Гость из номера 1 переместится в номер 2.
Гость из номера 2 переместится в номер 4.
Гость из номера 3 переместится в номер 6.
Гость из номера $n$ переместится в номер $2n$.

Благодаря этому перемещению бесконечное число уже проживающих гостей идеально разместилось во «всех номерах с четными номерами». И чудесным образом «все номера с нечетными номерами (номер 1, номер 3, номер 5…)» стали совершенно свободными!

Так как нечетных чисел также бесконечно много, менеджер может по очереди направлять пассажиров из бесконечного автобуса в номера 1, 3, 5… и таким образом разместить всех.

В мире бесконечности справедливо равенство $\infty + \infty = \infty$. Даже если к бесконечности прибавить бесконечность, размер останется тем же — «бесконечностью».

4. Случай 3: Что если прибудет бесконечное число бесконечных автобусов?

На следующий день. Отель снова заполнен. Но вот прибывает бесконечная колонна из «бесконечных автобусов, каждый из которых перевозит бесконечное число пассажиров».

Бесконечное число людей в автобусе №1, бесконечное число в автобусе №2, бесконечное число в автобусе №3… и так до бесконечности. Тут бы и менеджеру поддаться панике, но он был математическим гением. Он догадался использовать «простые числа».

Менеджер отдал следующие распоряжения:

Перемещение уже проживающих в отеле гостей Если текущий номер комнаты равен $n$, гости должны переехать в номер «$2^n$». (Номер 1 $\rightarrow$ номер 2, номер 2 $\rightarrow$ номер 4, номер 3 $\rightarrow$ номер 8…) Таким образом, все текущие гости размещены.
Размещение гостей из автобуса №1 (бесконечное число) Если номер места гостя равен $n$, направить его в номер «$3^n$». (Номер 3, номер 9, номер 27…)
Размещение гостей из автобуса №2 (бесконечное число) Используя следующее простое число 5, направить их в номер «$5^n$». (Номер 5, номер 25, номер 125…)
Размещение гостей из автобуса №$k$ (бесконечное число) Используя $k+1$-е простое число $P$, направить их в номер «$P^n$».

Благодаря мощной математической теореме об «однозначности разложения на простые множители» (любое число может быть представлено в виде произведения простых чисел только одним способом), номера комнат $2^n, 3^n, 5^n, 7^n \dots$ абсолютно никогда не совпадут ни с чьими другими.

Таким образом, менеджер блестяще разместил в одном бесконечном отеле невероятное количество гостей: «бесконечность $\times$ бесконечность»!

5. В бесконечностях есть разница в «размерах» (Теорема Кантора)

Отель бесконечности Гильберта учит нас тому, что «счетная бесконечность (бесконечность, которую можно пересчитать, присвоив номера 1, 2, 3…)», сколько бы вы ее ни складывали или ни умножали, в конечном итоге умещается в рамки «счетной бесконечности» того же размера.

Однако математик Георг Кантор открыл еще более пугающий факт. Всех «натуральных» или «дробных» чисел (рациональных) можно заселить в этот бесконечный отель. Но если прибудут гости, являющиеся «действительными числами (все десятичные дроби, включая иррациональные)», то даже в этом бесконечном отеле невозможно будет разместить всех.

Доказано, что множество действительных чисел является фундаментально «бóльшей (бесконечностью более высокого уровня)», чем количество номеров в бесконечном отеле (счетная бесконечность). Хотя мы склонны обобщать все словом «бесконечность», на самом деле внутри нее существует иерархическая структура (мощность): от «малых бесконечностей» до «настолько больших бесконечностей, что их невозможно достичь».

6. Заключение: «Бесконечность», разрушающая человеческую интуицию

Отель бесконечности Гильберта ярко демонстрирует, как наш «конечный здравый смысл», взращенный в повседневной жизни, не работает в «мире бесконечности».

«Целое больше своей части» «В полностью занятом отеле нет мест ни для кого» «Если к бесконечности прибавить бесконечность, она станет больше»

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

В следующий раз, когда вам откажут, сказав: «Отель полностью занят», обязательно представьте себе: «А что, если бы этот отель был Отелем бесконечности Гильберта».

Санкт-Петербургский парадокс: сколько вы заплатите за игру с «бесконечным» математическим ожиданием?

Thu, 10 Sep 2026 05:00:00 +0900

1. Игра мечты с «бесконечным» математическим ожиданием

Представьте, что вы идете по казино, и дилер предлагает вам сыграть в новую игру с подбрасыванием монеты.

【Правила игры】

Вы платите вступительный взнос, чтобы начать игру.
Подбрасывается монета. Если выпадает орел, призовой фонд удваивается, и вы можете подбросить монету еще раз.
Игра заканчивается, как только выпадает решка. Вы получаете призовой фонд, накопленный к этому моменту.

Начальный призовой фонд составляет 2 доллара.

Если при первом броске выпадает решка, вы получаете 2 доллара и игра заканчивается.
Если при первом броске выпадает орел, а при втором — решка, вы получаете 4 доллара и игра заканчивается.
Если при первом и втором бросках выпадает орел, а при третьем — решка, вы получаете 8 долларов и игра заканчивается.
…и так далее: пока выпадает орел, призовой фонд удваивается: 16 долларов, 32 доллара, 64 доллара…

graph TD Start["Начало игры"] --> Toss1{"1-й бросок"} Toss1 -->|Решка (1/2)| End1["Конец: выигрыш 2$"] Toss1 -->|Орел (1/2)| Toss2{"2-й бросок"} Toss2 -->|Решка (1/2)| End2["Конец: выигрыш 4$"] Toss2 -->|Орел (1/2)| Toss3{"3-й бросок"} Toss3 -->|Решка (1/2)| End3["Конец: выигрыш 8$"] Toss3 -->|Орел (1/2)| Toss4{"..."} Toss4 -.->|Чем длиннее серия| Infinite["Приз удваивается до бесконечности!"]

А теперь вопрос к вам. Если бы вступительный взнос за эту игру составлял «10 000 долларов», вы бы согласились участвовать?

Вероятно, большинство людей ответят: «Нет, не соглашусь». Ведь с вероятностью 50% при первом же броске выпадет решка, вы получите всего 2 доллара и понесете огромные убытки.

Однако, если строго рассчитать математическое ожидание (теория вероятностей), обнаружится удивительный факт. Математически вам следует занять все возможные деньги и участвовать в этой игре, независимо от того, стоит ли вход 10 000 долларов или 100 миллионов.

Почему же так происходит?

2. Давайте посчитаем математическое ожидание

Математическим показателем, позволяющим судить о том, «выгодна или убыточна» азартная игра, является «математическое ожидание». Математическое ожидание — это число, которое показывает, «сколько в среднем вы будете выигрывать за одну игру, если повторите ее много раз». Формула расчета — это сумма произведений «возможного выигрыша» на «вероятность этого выигрыша».

Давайте рассчитаем математическое ожидание для нашей игры.

Вероятность того, что решка выпадет при первом броске: $\frac{1}{2}$ Призовой фонд: $2$ доллара. Вклад в ожидание = $2 \times \frac{1}{2} = 1$ доллар
Вероятность того, что решка выпадет при втором броске: выпадает орел, затем решка, поэтому $\frac{1}{2} \times \frac{1}{2} = \frac{1}{4}$ Призовой фонд: $4$ доллара. Вклад в ожидание = $4 \times \frac{1}{4} = 1$ доллар
Вероятность того, что решка выпадет при третьем броске: выпадает орел, орел, решка, поэтому $(\frac{1}{2})^3 = \frac{1}{8}$ Призовой фонд: $8$ долларов. Вклад в ожидание = $8 \times \frac{1}{8} = 1$ доллар
Вероятность того, что решка выпадет при $n$-ном броске: $(\frac{1}{2})^n$ Призовой фонд: $2^n$ долларов. Вклад в ожидание = $2^n \times (\frac{1}{2})^n = 1$ доллар

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

$$ \text{Общее ожидание} = 1 + 1 + 1 + 1 + \dots = \infty \text{ (бесконечность)} $$

Математика выдала ответ: «Математическое ожидание этой игры равно бесконечности». Раз ожидание бесконечно, то, независимо от стоимости входного билета, теоретически это абсолютно «выгодная игра».

Именно это противоречие, сформулированное Николаем Бернулли в 1713 году, называется «Санкт-Петербургским парадоксом». Правильный математический расчет (игра имеет бесконечную ценность) жестко противоречит здравому смыслу человека (он готов заплатить всего несколько долларов).

3. Открытие «полезности», устранившее разрыв между математикой и человеком

Этот парадокс разрешил двоюродный брат Николая, гениальный математик Даниил Бернулли. (Парадокс получил такое название, потому что Даниил опубликовал свою статью в Петербургской академии наук).

Даниил обратился к человеческой психологии. Он предположил: «Люди оценивают вещи не по ‘абсолютной сумме’ денег, а по ‘удовлетворению (полезности)’, которое эти деньги приносят».

Это называется «законом убывающей предельной полезности».

Ценность денег падает в зависимости от того, сколько их у вас уже есть

Например, когда вы находитесь в пустыне и умираете от жажды, первый стакан воды обладает такой ценностью (удовлетворением), что вы готовы отдать за него «даже 10 000 долларов». Однако со вторым, третьим и последующими стаканами ценность одной порции воды стремительно падает. К десятому стакану вы скажете: «Даже бесплатно не надо».

То же самое происходит и с деньгами.

«10 000 долларов» для человека без сбережений имеют колоссальную ценность, способную спасти его жизнь.
Но те же «10 000 долларов» для Илона Маска, обладающего активами в миллиарды, имеют не больше ценности (удовлетворения), чем найденная на дороге монета.

Иными словами, даже если призовой фонд бесконечно удваивается: 2 доллара $\rightarrow$ 4 доллара $\rightarrow$ 8 долларов $\rightarrow$ 16 долларов…, ощущаемая человеком «радость (полезность)» не растет до бесконечности пропорционально сумме.

4. Пересчет математического ожидания с использованием «полезности»

Даниил Бернулли выдвинул гипотезу, что «ценность денег (полезность), ощущаемая человеком, пропорциональна логарифму ($\log$) суммы».

Обозначив сумму как $x$, выразим воспринимаемую человеком ценность (полезность) $u(x)$ в виде логарифмической функции (для простоты возьмем модель с основанием 2).

Полезность выигрыша $2$ доллара: $\log_2(2) = 1$
Полезность выигрыша $4$ доллара: $\log_2(4) = 2$
Полезность выигрыша $8$ долларов: $\log_2(8) = 3$
Полезность выигрыша $2^n$ долларов: $\log_2(2^n) = n$

Сумма денег удваивается, но человеческая «радость» растет лишь понемногу: 1, 2, 3… Давайте заново рассчитаем математическое ожидание (ожидаемую полезность), используя эту «полезность».

$$ \text{Ожидаемая полезность} = \sum_{n=1}^{\infty} \left( n \times \left(\frac{1}{2}\right)^n \right) $$ $$ = 1 \cdot \frac{1}{2} + 2 \cdot \frac{1}{4} + 3 \cdot \frac{1}{8} + 4 \cdot \frac{1}{16} + \dots $$

Если вычислить сумму этого бесконечного ряда, результат не будет равен «бесконечности», а сойдется к «2». Обратно вычислив сумму, соответствующую полезности «2», получим $2^2 = 4$ доллара.

Таким образом, если пересчитать ожидание с учетом человеческой психологии (полезности), получается чрезвычайно разумный и реалистичный ответ: «С точки зрения человеческого восприятия ценность этой игры составляет примерно ‘4 доллара’». Именно поэтому мы не испытываем желания платить 10 000 долларов за участие в ней.

5. Заключение: парадокс, открывший двери в экономику

Санкт-Петербургский парадокс стал революционным открытием, математически доказавшим несовпадение объективных цифр («суммы денег») и субъективной ценности («человеческого удовлетворения»).

Концепция «полезности (Utility)», предложенная Даниилом Бернулли, спустя 200 лет стала важнейшей основой современной микроэкономики и финансовой инженерии (например, теории портфеля). Наши действия, такие как покупка страховки или диверсификация инвестиций, полностью объясняются этим психологическим механизмом человека, известным как «убывающая предельная полезность» (страдание от больших убытков намного перевешивает радость от большой прибыли).

Простая математическая задачка об азартной игре стала ключом к пониманию человеческого разума и рождению огромной науки — экономики.

Парадокс Рассела: включает ли в себя «множество всех множеств, не содержащих себя в качестве своего элемента»?

Thu, 10 Sep 2026 04:00:00 +0900

1. «Парадокс брадобрея», поразивший мирную деревню

В одной мирной деревне жил брадобрей. На въезде в деревню стояла странная табличка со следующей надписью:

«Брадобрей этой деревни бреет всех тех и только тех жителей деревни, которые не бреются сами.»

Жители деревни были довольны этим правилом. Те, кто не мог бриться сам, просто шли к брадобрею, а те, кто мог, брились дома.

Однако однажды молодой брадобрей посмотрел в зеркало и вдруг понял кое-что. На его подбородке отросла щетина. «Так, должен ли я побрить себя?»

Он решил рассуждать логически, следуя правилу на табличке.

Если он «побреет себя»? Согласно правилу, брадобрей может брить только тех, кто «не бреется сам». Следовательно, если он бреется сам, он не имеет права на то, чтобы его брил брадобрей (он сам). То есть он «не должен бриться».
Если он «не побреет себя»? Согласно правилу, брадобрей обязан брить всех, кто «не бреется сам». Следовательно, если он не бреется сам, он должен быть побрит брадобреем (собой). То есть он «должен бриться».

«Если бреюсь, то не должен бриться.» «Если не бреюсь, то должен бриться.»

Брадобрей впал в полную панику и не смог совершить ни того, ни другого действия. Это и есть знаменитый «парадокс брадобрея».

graph TD Barber["Брадобрей: должен ли он брить себя?"] Barber -->|YES: Бреет себя| Cond1["Нарушение правила!
(Не должен брить тех, кто бреется сам)"] Barber -->|NO: Не бреет себя| Cond2["Нарушение правила!
(Обязан брить тех, кто не бреется сам)"] Cond1 --> Paradox["Противоречие (Парадокс)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. «Парадокс Рассела», потрясший математический мир

Этот «парадокс брадобрея» — аллегория, придуманная британским логиком и философом Бертраном Расселом, чтобы понятно объяснить широкой публике открытый им математический парадокс.

То, что он на самом деле обнаружил, касалось не брадобрея, а ужасающего противоречия, связанного с «множествами» (Set). Это называется «парадоксом Рассела» (1901 год).

Концепция «множества множеств»

В математике «множество» — это совокупность объектов, удовлетворяющих определенному условию.

«Множество четных чисел меньше или равных 10» = $\{2, 4, 6, 8, 10\}$
«Множество красных яблок»

В качестве содержимого (элементов) множества можно включать другие «множества». Например, рассмотрим «множество всех книг в мире». Само это множество не является «книгой», поэтому «множество всех книг в мире» не включено в само себя в качестве элемента.

С другой стороны, рассмотрим «множество всех объектов, не являющихся книгами». Это множество само по себе также не является «книгой». Следовательно, «множество объектов, не являющихся книгами» будет включено в само себя.

Таким образом, все множества в мире можно грубо разделить на два типа:

A: Множества, не содержащие себя (пример: множество книг)
B: Множества, содержащие себя (пример: множество объектов, не являющихся книгами)

Рождение дьявольского множества $R$

Здесь Рассел рассмотрел следующее особое множество $R$:

Множество $R$ = множество всех множеств, которые «не содержат себя» (типа A)

В математической нотации (через условия) это записывается так:

$$ R = \{ x \mid x \notin x \} $$

А теперь перейдем к главному. Рассел задал следующий вопрос относительно этого множества $R$:

«Содержит ли множество $R$ само себя ($R$)?»

Давайте подумаем.

Если $R$ «содержит себя ($R \in R$)»? Условие для включения в $R$ — «не содержать себя». Следовательно, $R$ не удовлетворяет условию и не может быть включено в $R$. (Получаем $R \notin R$, что является противоречием).
Если $R$ «не содержит себя ($R \notin R$)»? Условие для включения в $R$ — «не содержать себя». Следовательно, $R$ идеально удовлетворяет условию и обязано быть включено в $R$. (Получаем $R \in R$, что является противоречием).

В математической записи это крушение логики в одну строку:

$$ R \in R \iff R \notin R $$

«Если содержит, то не содержит.» «Если не содержит, то содержит.» Эта структура абсолютно идентична парадоксу брадобрея. Однако, если в случае с деревенским брадобреем можно отшутиться: «Это просто староста, поставивший такую табличку, идиот», — то в мире математики так не получится.

Дело в том, что в то время математическое сообщество было в самом разгаре попыток перестроить всю математику на основе наивного правила: «Можно свободно создавать ‘множество’ из чего угодно, если четко определить условие» (наивная теория множеств).

3. Трагедия Фреге

Рассел отправил это письмо великому немецкому логику Готлобу Фреге. Фреге как раз только что отправил в типографию второй том своего монументального труда «Основные законы арифметики», которому он посвятил всю свою жизнь. Эта книга была кульминацией его попыток доказать полноту математики, основываясь на правиле, что «множества можно создавать из любых условий».

Прочитав письмо от Рассела, Фреге пришел в отчаяние. Было доказано, что использование самых базовых правил из его книги позволяет создать «абсолютно противоречивое множество», подобное парадоксу Рассела. Если рухнет фундамент, все сотни страниц формул, построенных на нем, станут недействительными.

Фреге оставил следующее душераздирающее послесловие в самом конце книги прямо перед ее публикацией:

«Для ученого нет ничего более трагичного, чем в момент, когда он считает свою работу завершенной, увидеть, как рушится ее фундамент. Именно в такой ситуации я оказался из-за письма от господина Бертрана Рассела сразу после того, как эта книга была отправлена в печать.»

4. Преодоление кризиса: рождение аксиоматической теории множеств

Парадокс Рассела вызвал огромную панику в математическом мире, получившую название «кризис оснований математики». Слишком свободное правило «Можно свободно создавать множества, лишь бы было задано условие» породило монстра по имени противоречие.

Чтобы разрешить этот кризис, математики взялись за ужесточение правил. Такие математики, как Цермело и Френкель, разработали свод правил (систему аксиом), который строго различал «множества, которые можно создавать» и «множества, которые создавать нельзя (слишком большие)». Это называется «системой аксиом Цермело-Френкеля (ZFC)» или аксиоматической теорией множеств.

В рамках системы аксиом ZFC такое «множество $R$, состоящее из всех ‘множеств, не содержащих себя’», придуманное Расселом, было изгнано из мира математики под предлогом того, что «оно слишком велико и опасно, поэтому больше не признается ‘множеством’ (это просто ‘класс’)».

graph LR subgraph "Наивная теория множеств (До Рассела)" Free["Множества можно создавать
свободно по любому условию!"] --> Monster["Монстр противоречий R
(Парадокс Рассела)"] end subgraph "Аксиоматическая теория множеств (Современная математика)" Strict["Только то, что подчиняется
строгим правилам (аксиомам),
является 'множеством'"] --> Safe["Противоречие R не признается
'множеством', поэтому безопасно!"] end Monster -.->|Кризис в мире математики| Strict

5. Заключение: Парадоксы — это сильнодействующее лекарство для исправления «багов в логике»

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

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

Если бы гений Рассела не заметил этого «бага брадобрея», современная математика и вытекающая из ее логики информатика (компьютерные науки) могли бы развиваться дальше, неся в себе где-то фатальное противоречие. Парадокс — это самое захватывающее сильнодействующее лекарство, которое показывает нам пределы человеческой логики.

Дилемма заключенного: почему мы делаем выбор, когда "все остаются в убытке"?

Thu, 10 Sep 2026 03:00:00 +0900

1. Главный выбор: хранить молчание или предать?

Вы и ваш друг-сообщник арестованы полицией по подозрению в совершении преступления. Вас поместили в разные комнаты для допроса, и вы никак не можете связаться друг с другом.

Поскольку у полиции недостаточно улик для вынесения приговора, прокурор предлагает каждому из вас следующую “сделку со следствием”:

Если оба “хранят молчание” (сотрудничают друг с другом): Из-за недостатка улик оба получают всего по 1 году тюрьмы.
Если вы “признаетесь” (предаете), а друг “хранит молчание”: Вы, как согласившийся сотрудничать со следствием, освобождаетесь от наказания (выходите на свободу), а ваш друг берет всю вину на себя и получает 10 лет тюрьмы. (И наоборот)
Если оба “признаются” (предают): Поскольку оба признали вину, срок немного сокращается, и оба получают по 5 лет тюрьмы.

Итак, что вы сделаете? “Сохраните молчание” (будете сотрудничать с напарником)? Или “признаетесь” (предадите напарника)?

2. Анализ с помощью платежной матрицы (матрицы выигрышей)

Давайте представим эту ситуацию с помощью “платежной матрицы”, которая используется в теории игр. Числа в клетках представляют (ваши годы тюрьмы, годы тюрьмы друга). Минус означает потери (годы тюремного заключения).

Вы \ Друг	Хранить молчание (сотрудничество)	Признаться (предательство)
Хранить молчание (сотрудничество)	(-1, -1)	(-10, 0)
Признаться (предательство)	(0, -10)	(-5, -5)

Объективно говоря, оптимальные действия для обоих очевидны. Если оба будут “хранить молчание”, общий тюремный срок составит всего 2 года (-1 и -1). Это “Парето-оптимальное” состояние, которое максимизирует общую выгоду.

Однако если вы являетесь “рациональным человеком, стремящимся максимизировать только собственную выгоду”, напрашивается совершенно иной вывод.

3. Почему “предательство” становится рациональным выбором?

Давайте проследим процесс мышления, в котором вы предсказываете поведение “друга”, находящегося в другой комнате, и решаете, как действовать самому.

Сценарий 1: Вы предполагаете, что друг “хранит молчание”

Если вы тоже “храните молчание”, то получаете 1 год тюрьмы.
Если вы “признаетесь”, вас оправдают (немедленно освободят). $\rightarrow$ Оправдание лучше, поэтому оптимальный выбор — “признаться (предательство)”.

Сценарий 2: Вы предполагаете, что друг “признается”

Если вы “храните молчание”, то получаете 10 лет тюрьмы.
Если вы тоже “признаетесь”, то получаете 5 лет тюрьмы. $\rightarrow$ 5 лет тюрьмы лучше, поэтому оптимальный выбор по-прежнему — “признаться (предательство)”.

Заметили? Независимо от того, как поступит другой человек, вам всегда выгоднее “признаться (предать)”. В теории игр это называется “доминирующей стратегией”.

Друг находится в точно такой же ситуации и думает так же рационально, поэтому “признание” является доминирующей стратегией и для него.

В результате оба рационально мыслящих человека обязательно выберут “признаться (предательство)”. В итоге они придут к 5 годам тюрьмы для обоих (-5, -5), что является почти худшим исходом для них вместе. Если бы они сотрудничали (хранили молчание), то получили бы по 1 году, но, преследуя индивидуальную рациональность, оба остаются в проигрыше.

graph TD Start["Начало выбора"] --> Logic_You["Ваше рациональное мышление"] Start --> Logic_Friend["Рациональное мышление друга"] Logic_You -->|Если партнер молчит, выгоднее признаться
Если партнер признается, выгоднее признаться| Betray_You["Вы выбираете признаться (предать)"] Logic_Friend -->|Если партнер молчит, выгоднее признаться
Если партнер признается, выгоднее признаться| Betray_Friend["Друг выбирает признаться (предать)"] Betray_You --> Result["Результат: оба признаются (-5, -5)"] Betray_Friend --> Result Ideal["Идеал: оба хранят молчание (-1, -1)"] -.->|Индивидуальная рациональность мешает
и не дает к этому прийти| Result style Result fill:#ff9999,stroke:#333,stroke-width:2px style Ideal fill:#99ff99,stroke:#333,stroke-width:2px

Это “состояние, в котором в результате предсказания действий друг друга ни у кого нет мотива менять свою стратегию (потому что лучше сделать невозможно)”, называется “равновесием Нэша” в честь мастера теории игр Джона Нэша.

Самый пугающий момент в дилемме заключенного заключается в том, что “Парето-оптимальность (лучший результат для всех)” и “равновесие Нэша (конечный пункт индивидуальной рациональности)” не совпадают.

4. “Дилемма заключенного”, скрытая в повседневном обществе

Дилемма заключенного — это не просто головоломка. Многие проблемы, возникающие в нашем обществе, можно объяснить с помощью этой математической модели.

1. Ценовая конкуренция (ценовые войны)

Две конкурирующие компании продают похожие товары за 1000 иен. Если обе компании будут удерживать цену 1000 иен (сотрудничество), обе получат высокую прибыль. Однако, поддавшись искушению “сделать цену чуть ниже конкурента (предательство) и монополизировать клиентов”, обе компании начинают ценовую войну. В результате товар стоит 500 иен, и обе компании страдают от отсутствия прибыли (обе предают).

2. Экологические проблемы и парниковые газы

Страны мира договариваются “сократить выбросы CO2 (сотрудничество)”. Это оптимальное решение для всей планеты. Однако, если только одна страна “проигнорирует ограничения на выбросы и запустит фабрики (предательство)”, она сможет обеспечить стремительный рост только своей экономики. И наоборот, если другие страны предадут, а ваша страна будет соблюдать правила, она понесет огромные экономические убытки. В результате каждая страна, боясь быть обманутой, выбирает предательство, и глобальная окружающая среда разрушается.

3. Проблема допинга в спорте

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

5. Есть ли решение? Стратегия “око за око”

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

В 1980-х годах политолог Роберт Аксельрод провел турнир, в котором компьютеры, запрограммированные на разные стратегии, играли друг против друга. Среди сложных стратегий, собранных от ученых со всего мира, таких как “всегда предавать”, “предавать случайным образом”, “прощать партнера”, с подавляющим преимуществом победила самая простая стратегия “око за око” (Tit for Tat).

Правила стратегии “око за око” очень просты:

В первый раз всегда выбирай “сотрудничество”.
В следующий раз просто копируй то, что партнер “сделал в предыдущий раз”.
- Если в прошлый раз партнер сотрудничал, то в этот раз сотрудничайте.
- Если в прошлый раз партнер предал, то в этот раз предайте в качестве мести.

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

graph LR Start["1-й раз: безоговорочное сотрудничество"] --> Round2 Round2["Посмотреть на действия партнера"] -->|Партнер сотрудничал| Act_Coop["Я тоже сотрудничаю"] Round2 -->|Партнер предал| Act_Betray["Я тоже предаю (месть)"] Act_Coop --> Round2 Act_Betray -->|Если партнер раскается
и вернется к сотрудничеству| Act_Coop

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

6. Заключение: Ценность “доверия”, которой учит математика

Дилемма заключенного математически доказала, что “эгоистичная рациональность человека” иногда ввергает все общество в пучину несчастья. Индивидуальная рациональность “я хочу получить выгоду только для себя” или “я не хочу, чтобы меня обманули” в конечном итоге приводит к результату, который душит вас самих (равновесие Нэша).

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

В следующий раз, когда вы будете колебаться, думая “а не схитрить ли мне немного ради себя”, вспомните платежную матрицу этой дилеммы заключенного. Потому что “рациональное предательство” в погоне за краткосрочной выгодой может оказаться самым иррациональным выбором в долгосрочной перспективе.

Парадокс Банаха-Тарского: если разрезать один шар, получатся два таких же?

Thu, 10 Sep 2026 02:00:00 +0900

1. Волшебная теорема: 1 = 1 + 1 ?

Представьте, что перед вами находится один шар из чистого золота. Вы разрезаете этот шар ножом на несколько частей. Затем вы собираете эти части вместе, словно пазл. Вы не растягиваете, не сгибаете части и не добавляете новое золото. Вы просто перемещаете их и соединяете.

Однако, взглянув на собранный пазл, вы обнаруживаете, что получились «два шара из чистого золота, абсолютно такого же размера, как и исходный шар».

Вы наверняка подумаете: «Что за вздор! Это противоречит закону сохранения массы и похоже на бред алхимика!» В реальном физическом мире это абсолютно невозможно. Однако в мире чистой математики (геометрии и теории множеств) это доказано как логически на 100% верная теорема.

Это и есть «парадокс Банаха-Тарского», доказанный в 1924 году двумя математиками — Стефаном Банахом и Альфредом Тарским.

2. Точное понимание сути парадокса

Если выразить теорему, доказанную Банахом и Тарским, математически точным языком, она будет звучать следующим образом:

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

Что еще более удивительно, применяя эту теорему, можно утверждать следующее:

Разделив одну горошину на конечное число частей и собрав их заново, можно создать шар размером с Солнце. (Также известно как парадокс горошины и Солнца)

Почему же такие магические вещи допускаются в математике? Секрет кроется в двух ключевых понятиях: «бесконечность» и «аксиома выбора».

3. Удивительные свойства «бесконечности»

Первый шаг к пониманию этого парадокса — узнать о странных свойствах «бесконечных множеств».

В привычном нам «конечном» мире целое всегда больше своей части. Например, если из чисел от 1 до 10 (10 штук) выбрать только четные (5 штук), количество чисел уменьшится вдвое.

Однако в мире «бесконечности» этот здравый смысл не работает. Чего больше: всех «натуральных чисел» (1, 2, 3, 4, …) или всех «четных чисел» (2, 4, 6, 8, …)? Интуитивно кажется, что натуральных чисел больше, так как четные числа составляют лишь их половину. Но попробуйте составить пары следующим образом:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

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

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

4. Точки пространства разбиваются на «неизмеримые» части

Если разрезать реальный объект (золото или яблоко) ножом, у каждой части обязательно будет «объем». Однако в математике шар — это «совокупность бесконечного числа точек», которые сами по себе не имеют объема.

Банах и Тарский разделили эти бесконечные точки на группы (части) весьма специфическим и сложным способом. Такое разделение настолько сложное и рассеянное, что полученные части приходят в состояние, когда их «объем невозможно измерить (неизмеримые множества)».

graph TD S["Исходный шар S (объем V)"] -->|Специфическое разбиение| P1["Часть 1 (объем неизмерим)"] S --> P2["Часть 2 (объем неизмерим)"] S --> P3["Часть 3 (объем неизмерим)"] S --> P4["Часть 4 (объем неизмерим)"] S --> P5["Часть 5 (объем неизмерим)"] P1 -->|Вращение и перенос| S1["Новый шар 1 (объем V)"] P2 -->|Вращение и перенос| S1 P3 -->|Вращение и перенос| S1 P4 -->|Вращение и перенос| S2["Новый шар 2 (объем V)"] P5 -->|Вращение и перенос| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Когда каждая часть становится туманным скоплением точек, «не имеющим объема (неизмеримым)», мы можем обойти физическое правило о том, что «сумма частей должна быть равна исходному объему» (аддитивность меры).

А затем, если мы повернем и удачно скомбинируем эти туманные части точек, благодаря «магии бесконечности» получатся два шара, так же плотно заполненные точками, как и исходный шар. Фактически доказано, что операция «создания двух шаров из одного» возможна при разделении исходного шара всего на 5 частей.

5. Корень всех бед: что такое «аксиома выбора»?

Так почему же математически возможно такое «разбиение, настолько сложное, что невозможно измерить объем»? Это потому, что мы признаем правило, известное как «аксиома выбора (Axiom of Choice)», которое лежит в основе современной математики.

Грубо говоря, аксиома выбора — это следующее правило:

Суть аксиомы выбора Когда есть много коробок, в каждой из которых что-то лежит, это правило гласит: «можно выбрать по одному элементу из каждой коробки и создать из них новый набор (множество)».

Если количество коробок конечно, то любой с легкостью может это сделать. Однако, если коробок «бесконечно много», человек не может завершить процесс «выбора по одному» бесконечное число раз. Тем не менее, аксиома выбора позволяет утверждать, что «созданное путем такого выбора множество существует».

Эта аксиома оказалась чрезвычайно удобной и необходимой для построения современной математики. Большинство математиков приняли это правило, подумав: «Ну, это же очевидно».

Но если мы принимаем эту аксиому выбора, то нам приходится признать существование упомянутых ранее «туманных множеств точек, рассеянных настолько, что их объем невозможно измерить (неизмеримых множеств)». И как следствие, в качестве логической необходимости выводится теорема Банаха-Тарского, утверждающая, что «один шар превращается в два».

6. Заключение: «Мир за пределами интуиции», нарисованный математикой

Парадокс Банаха-Тарского — это не парадокс в смысле «противоречия в логике». Это парадокс в том смысле, что логика на 100% верна, но выводы из нее резко противоречат человеческой интуиции и законам физики.

Когда эта теорема была опубликована, некоторые математики заявили: «Раз из нее следуют такие абсурдные выводы, значит, аксиома выбора наверняка ошибочна!» Но сегодня большинство математиков принимают аксиому выбора, а также признают теорему Банаха-Тарского как «странное, но прекрасное свойство трехмерного пространства и бесконечных множеств».

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

Парадокс Банаха-Тарского по праву можно назвать одним из величайших шедевров современной математики, показывающим, насколько легко понятие «бесконечности» превосходит наивную человеческую интуицию.

Ахиллес и черепаха: не догонит или все-таки догонит? Древнегреческий парадокс бесконечности

Thu, 10 Sep 2026 01:00:00 +0900

1. Парадокс Зенона: быстроногий герой не может победить черепаху?

В V веке до н. э. древнегреческий философ Зенон Элейский предложил несколько парадоксов о «движении», которые прямо противоречили нашей интуиции и здравому смыслу. Самый известный из них — парадокс «Ахиллес и черепаха».

Быстроногий герой греческой мифологии Ахиллес и черепаха, являющаяся синонимом медлительности, устраивают забег. Конечно, Ахиллес намного быстрее, поэтому черепахе дается фора: право стартовать немного впереди.

И вот гонка начинается. Ахиллес на огромной скорости бросается в погоню за черепахой. Однако Зенон утверждал следующее:

«Ахиллес никогда не сможет догнать черепаху»

Почему же? Логика Зенона такова:

Когда Ахиллес достигает «начальной точки старта черепахи (точка А)», черепаха продвигается немного вперед и находится в «точке В».
Когда Ахиллес достигает «точки В», черепаха продвигается еще немного вперед и находится в «точке С».
Когда Ахиллес достигает «точки С», черепаха снова продвигается еще немного вперед и находится в «точке D».

Этот процесс продолжается бесконечно. Ведь каждый раз, когда Ахиллес достигает «места, где была черепаха», черепаха обязательно перемещается «немного дальше». Расстояние постепенно сокращается, но поскольку этот шаг нужно повторять бесконечное количество раз, утверждается, что Ахиллес никогда не сможет обогнать черепаху.

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

2. В чем ошибка? Иллюзия «времени» и «бесконечности»

Хитрость логики Зенона заключается в том, что он подменяет «бесконечное количество шагов (деление пространства)» на «бесконечное время».

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

Позднее математики создали мощное оружие для разгадки этого парадокса — «сумму бесконечного ряда».

3. Математическое объяснение: сумма бесконечного ряда и «предел»

Давайте применим конкретные числа и решим эту проблему математически.

Пусть скорость бега Ахиллеса составляет $10\text{ м/с}$.
Пусть скорость ходьбы черепахи составляет $1\text{ м/с}$. (Это $\frac{1}{10}$ скорости Ахиллеса)
В качестве форы черепаха стартует на $10\text{ м}$ впереди Ахиллеса.

Вычисляем время для каждого шага

Шаг 1: Время, за которое Ахиллес достигает начальной позиции черепахи ($10\text{ м}$ впереди), равно $\frac{10\text{ м}}{10\text{ м/с}} =$ $1\text{ секунда}$. За эту 1 секунду черепаха продвигается на $1\text{ м}$ вперед. (Текущая разница между Ахиллесом и черепахой составляет $1\text{ м}$)

Шаг 2: Время, за которое Ахиллес достигает следующей позиции черепахи ($1\text{ м}$ впереди), равно $\frac{1\text{ м}}{10\text{ м/с}} =$ $0.1\text{ секунды}$. За эти 0.1 секунды черепаха продвигается на $0.1\text{ м}$ вперед. (Разница составляет $0.1\text{ м}$)

Шаг 3: Время, за которое Ахиллес достигает следующей позиции черепахи ($0.1\text{ м}$ впереди), равно $\frac{0.1\text{ м}}{10\text{ м/с}} =$ $0.01\text{ секунды}$. За эти 0.01 секунды черепаха продвигается на $0.01\text{ м}$ вперед. (Разница составляет $0.01\text{ м}$)

Таким образом, «время», за которое Ахиллес достигает предыдущей позиции черепахи, образует следующую бесконечную последовательность:

$$ 1\text{ сек},\ 0.1\text{ сек},\ 0.01\text{ сек},\ 0.001\text{ сек},\ \dots $$

Зенон говорил: «Поскольку эти шаги продолжаются бесконечно, Ахиллес никогда ее не догонит». Но что будет, если сложить все время, затраченное на каждый шаг (найти сумму бесконечного ряда)?

$$ \text{Общее время } T = 1 + 0.1 + 0.01 + 0.001 + \dots $$

Это бесконечная геометрическая прогрессия, где первый член $a = 1$, а знаменатель $r = 0.1$. Если абсолютная величина знаменателя $r$ меньше 1 ($|r| < 1$), то сумма бесконечной геометрической прогрессии сходится к определенному «конечному значению». Формула ее суммы выглядит следующим образом:

$$ S = \frac{a}{1 - r} $$

Применив эту формулу, мы получим:

$$ T = \frac{1}{1 - 0.1} = \frac{1}{0.9} = \frac{10}{9} = 1.1111\dots \text{ сек} $$

То есть, даже при наличии бесконечного числа шагов, общее необходимое время не становится «бесконечно большим», а точно сходится к $\frac{10}{9}$ секунды (около 1.11 секунды). Примерно через 1.11 секунды после старта Ахиллес успешно догонит черепаху и обгонит ее.

pie title "Время, за которое Ахиллес догонит черепаху (всего около 1.11 сек)" "Шаг 1 (1 сек)" : 90 "Шаг 2 (0.1 сек)" : 9 "Бесконечная сумма начиная с шага 3 (0.011... сек)" : 1

4. Почему мы были обмануты?

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

$$ 1 + 1 + 1 + 1 + \dots = \infty $$

Действительно, если бесконечно складывать одно и то же число, то, естественно, получится бесконечность.

$$ \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots = \infty $$

В знаменитом «гармоническом ряду» слагаемые тоже становятся все меньше и меньше, но в конечном итоге ряд расходится в бесконечность.

Однако если слагаемые уменьшаются достаточно быстро (как, например, в геометрической прогрессии), то даже при сложении бесконечного их количества сумма может полностью уложиться в некие «конечные рамки».

$$ \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots = 1 $$

Это похоже на то, как если бы вы съели половину торта, затем половину оставшегося, затем снова половину остатка… и повторяли бы это бесконечно: в конечном итоге вы съедите не больше, чем «один первоначальный торт». Зенон намеренно дробил время и говорил лишь в рамках этих разделенных временных отрезков (1 секунда, 0.1 секунды, 0.01 секунды…), создавая иллюзию того, что Ахиллес «никогда не догонит» черепаху.

5. Если мыслить относительной скоростью, задача решается в мгновение ока

Кстати, не попадаясь в ловушку Зенона (бесконечное деление пространства и времени), эту задачу легко решить с помощью математики средней школы. Достаточно использовать «относительную скорость».

Скорость Ахиллеса: $10\text{ м/с}$
Скорость черепахи: $1\text{ м/с}$
Относительная скорость черепахи с точки зрения Ахиллеса (скорость, с которой Ахиллес приближается к черепахе): $10 - 1 = 9\text{ м/с}$

Изначальное отставание Ахиллеса от черепахи составляет $10\text{ м}$. Время, необходимое для сокращения расстояния в $10\text{ м}$ при скорости $9\text{ м/с}$, равно:

$$ \text{Время} = \frac{\text{Расстояние}}{\text{Скорость}} = \frac{10}{9}\text{ сек} $$

Это полностью совпадает с ответом, который мы ранее получили с помощью математического анализа (предела бесконечного ряда).

6. Заключение: парадоксы развили математику

С нашей современной точки зрения «Ахиллес и черепаха» Зенона может показаться просто игрой слов или софистикой. Однако для древнегреческих философов того времени, не имевших таких понятий, как «бесконечность» или «предел», было крайне сложной задачей опровергнуть это опираясь только на логику.

Глубокие вопросы, поднятые этим парадоксом — «что такое непрерывность» и «что значит быть бесконечно делимым» — стали важной движущей силой, приведшей к созданию «математического анализа» Ньютоном и Лейбницем, а также к современным основаниям математики.

Великие парадоксы — это не просто способ запутать людей, но и ключи, открывающие двери в новую математику.

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

Thu, 10 Sep 2026 00:00:00 +0900

1. Введение: почему мы ошибаемся в простом сложении?

В мире существуют удивительные задачи, которые способны полностью “сломать” наш мозг, используя лишь сложение и вычитание на уровне начальной школы, без сложных дифференциалов, интегралов или сложной топологии. Одна из самых известных таких задач, заставившая многих ломать голову — это «Загадка исчезнувшего доллара» (The Missing Dollar Riddle).

На первый взгляд, это обычная повседневная ситуация, история об ошибке при оплате счета в ресторане или отеле. Однако, стоит немного проследить за вычислениями, как из этого мира бесследно исчезает «один доллар».

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

2. Постановка проблемы: Загадка исчезнувшего доллара

Для начала, прочитайте следующую историю. А если у вас под рукой есть бумага и ручка, попробуйте производить вычисления вместе с нами.

[!QUESTION] Загадка исчезнувшего доллара (история) Однажды трое путешественников приехали в небольшую гостиницу. Портье на ресепшене сообщил им: «Трехместный номер стоит 30 долларов за ночь». Трое путешественников достали из кошельков по 10 долларов, заплатили в сумме 30 долларов портье и отправились в свой номер.

Через некоторое время пришел управляющий отелем и сказал портье: «Сегодня у нас день скидок, так что этот номер стоит 25 долларов. Немедленно верни им 5 долларов».

Портье взял 5-долларовую купюру и направился к номеру. Но по пути он задумался: «Разделить 5 долларов на троих поровну будет сложно. Если я втайне заберу 2 доллара себе, а им верну оставшиеся 3 доллара, то получится ровно по 1 доллару на каждого, и все сойдется».

Итак, портье спрятал 2 доллара в свой карман, соврал путешественникам, что «по акции возвращается 3 доллара», и раздал каждому по 1 доллару.

А теперь, внимание, вопрос.

Путешественники изначально заплатили по 10 долларов, а потом им вернули по 1 доллару, значит, фактически они заплатили 10 долларов - 1 доллар = 9 долларов.

Общая сумма, которую заплатили трое путешественников, составляет 9 долларов × 3 человека = 27 долларов.

С другой стороны, в кармане у портье лежат те самые 2 доллара, которые он тайком прикарманил.

Если сложить 27 долларов, заплаченные путешественниками, и 2 доллара, находящиеся у портье, получится 27 + 2 = 29 долларов.

Изначально путешественники точно заплатили «30 долларов». Однако в нынешних расчетах выходит всего «29 долларов».

Куда же бесследно исчез оставшийся 1 доллар?

Ну как? Чем больше читаешь, тем больше мозг приходит в замешательство: «Действительно, не хватает 1 доллара!». Сами по себе расчеты 9 × 3 = 27 и 27 + 2 = 29 настолько просты, что понятны даже младшекласснику. Но почему-то они никак не сходятся с первоначальными 30 долларами.

В следующих главах мы раскроем секрет этого странного феномена.

3. Расхождение между интуицией и правильным ответом: почему мозг «багует»?

Когда большинство людей слышат эту задачу, их ход мыслей выглядит примерно так:

graph TD A["Начальное состояние: клиенты платят 30 долларов"] --> B["Процесс возврата: управляющий возвращает 5 долларов"] B --> C["Мошенничество: портье крадет 2 доллара"] C --> D["Итоговые траты клиентов: 9 долларов × 3 = 27 долларов"] D --> E["Загадочный расчет: траты клиентов 27 долларов + 2 доллара портье = 29 долларов"] E --> F["Вопрос: не сходится с изначальными 30 долларами! 1 доллар исчез!"] style E fill:#ff9999,stroke:#333,stroke-width:2px style F fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

Суть этого парадокса кроется в хитром словесном трюке (Эффект фрейминга: Framing Effect): мы складываем то, что складывать нельзя.

Ядро заблуждения: бессмысленное вычисление «27 + 2»

Давайте еще раз внимательно посмотрим на следующую фразу в конце задачи:

Если сложить 27 долларов, заплаченные путешественниками, и 2 доллара, находящиеся у портье, получится 27 + 2 = 29 долларов.

На самом деле, само по себе вычисление «27 + 2» логически абсолютно бессмысленно. Причина в том, что в «итоговую сумму, уплаченную путешественниками (27 долларов)», уже включены «деньги, которые прикарманил портье (2 доллара)».

Сумма в 27 долларов, которую заплатили путешественники, распределяется следующим образом:

Сумма, находящаяся в кассе отеля: 25 долларов
Сумма, которую прикарманил портье: 2 доллара
Итого: 27 долларов

То есть, прибавлять к 27 долларам еще 2 доллара портье означает считать 2 доллара портье дважды (Двойной счет: Double Counting).

Если мы хотим правильно свести баланс с изначальными «30 долларами», нам нужно сложить «сумму, которую заплатили клиенты» и «сумму, которая вернулась клиентам».

Сумма, которая в итоге была заплачена клиентами: 27 долларов (25 долларов в кассе + 2 доллара у портье)
Сумма, которая вернулась клиентам: 3 доллара
Итого: 27 + 3 = 30 долларов

При таком расчете становится очевидно, что ни один доллар никуда не исчез.

4. Математическое разъяснение: строгое доказательство с помощью уравнений

Для тех, кому словесные объяснения кажутся неубедительными, давайте докажем движение денег (денежный поток) строго с помощью математических формул.

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

$ P_{initial} $ : общая сумма, изначально уплаченная клиентами (30)
$ C_{hotel} $ : сумма, которую отель (управляющий) в итоге получил (25)
$ R_{total} $ : общая сумма возврата, которую управляющий передал портье (5)
$ R_{guest} $ : сумма возврата, которую клиенты в итоге получили (3)
$ S_{waiter} $ : сумма, которую прикарманил портье (2)

Из первоначального потока денег можно составить следующее уравнение:

$$ P_{initial} = C_{hotel} + R_{total} \quad \cdots (1) $$

(30 долларов = 25 долларов + 5 долларов)

5 долларов, возвращенные управляющим, разделяются на деньги, попавшие в руки клиентов, и деньги в кармане портье.

$$ R_{total} = R_{guest} + S_{waiter} \quad \cdots (2) $$

(5 долларов = 3 доллара + 2 доллара)

Подставим уравнение (2) в уравнение (1).

$$ P_{initial} = C_{hotel} + (R_{guest} + S_{waiter}) \quad \cdots (3) $$

(30 долларов = 25 долларов + 3 доллара + 2 доллара)

Теперь определим «итоговую сумму, уплаченную клиентами» из задачи как $ P_{final} $. Это начальная уплаченная сумма минус сумма, которая вернулась клиентам.

$$ P_{final} = P_{initial} - R_{guest} \quad \cdots (4) $$

(27 долларов = 30 долларов - 3 доллара)

Давайте перенесем $ R_{guest} $ из уравнения (3) в левую часть.

$$ P_{initial} - R_{guest} = C_{hotel} + S_{waiter} \quad \cdots (5) $$

Из уравнений (4) и (5) выводится следующая истина:

$$ P_{final} = C_{hotel} + S_{waiter} \quad \cdots (6) $$

(Итоговая уплаченная клиентами сумма 27 долларов = выручка отеля 25 долларов + кража портье 2 доллара)

Трюк в тексте задачи заключается в том, что к $ P_{final} $ (27 долларов) в левой части пытаются еще раз прибавить $ S_{waiter} $ (2 доллара), который уже должен быть включен в правую часть. То есть формула расчета, к которой нас подводит задача, выглядит так:

$$ P_{final} + S_{waiter} = (C_{hotel} + S_{waiter}) + S_{waiter} $$ $$ 27 + 2 = (25 + 2) + 2 = 29 $$

Это число «29» — просто выдуманное значение, «выручка отеля + кража портье × 2», которое физически и экономически не имеет абсолютно никакого смысла. В этом и заключается математическая природа иллюзии, из-за которой кажется, что «1 доллар исчез».

5. Точка зрения бухгалтерского учета: разрушение парадокса с помощью двойной записи

Для тех, кого по-прежнему не убеждают (или заставляют интуитивно сомневаться) математические формулы, мы можем идеально визуализировать эту загадку, используя концепцию «двойной записи» (Double-Entry Bookkeeping), которая применяется в мире бизнеса уже более 500 лет.

Основной принцип двойной записи заключается в том, что «Дебет» (Debit) и «Кредит» (Credit) всегда должны совпадать. Давайте используем это для составления бухгалтерских проводок (Journal Entry) перемещения денег.

Операция 1: Клиенты платят 30 долларов

Начальное состояние с точки зрения отеля.

Дебет (Увеличение активов)	Кредит (Увеличение обязательств / капитала)
Наличные (Cash): $30	Депозиты (или Выручка): $30

Операция 2: Управляющий передает портье 5 долларов, а 25 долларов проводит как выручку

Так как цена номера изменилась на 25 долларов, портье выдается 5 долларов для «возврата».

Дебет	Кредит
Депозиты: $30	Выручка (Sales): $25 Портье (Наличные): $5

Операция 3: Действия портье (возврат 3 долларов и присвоение 2 долларов)

Это самый важный момент. Запишем, куда делись 5 долларов наличными, которые были у портье.

Дебет	Кредит
Возврат клиентам: $3 Убыток от хищения (Loss): $2	Портье (Наличные): $5

Итоговое состояние консолидированного баланса (B/S) и отчета о прибылях и убытках (P/L)

Подведем итог того, где в конечном итоге находятся наличные деньги и под каким наименованием.

pie title Итоговое местонахождение изначальных 30 долларов (Активы) "Касса отеля (выручка 25 долларов)" : 25 "Кошельки клиентов (возврат 3 доллара)" : 3 "Карман официанта (хищение 2 доллара)" : 2

【Проверка итогового состояния】

Источник средств (расходы клиентов): 30 долларов
Местонахождение средств (результат):
- В кассе отеля 25 долларов
- В кармане официанта 2 доллара
- На руках у клиентов 3 доллара
- Итого = 25 + 2 + 3 = 30 долларов

Если посмотреть через призму бухгалтерского «принципа двойной записи (Т-образный счет)», то «27 долларов, уплаченных клиентами (расходы)» — это «уменьшение активов», а прибавление к ним «2 долларов, украденных официантом (перемещение активов)» является, по стандартам бухгалтерского учета, абсурдной ошибкой, когда путают и складывают дебет с кредитом. В деловом мире, если бы бухгалтер представил руководству расчет «27 + 2 = 29», это был бы логический провал такого уровня, за который либо сразу увольняют, либо подозревают в фальсификации финансовой отчетности.

6. Точка зрения когнитивной психологии: почему мы принимаем «27+2=29»?

Почему же многие люди бессознательно принимают и соглашаются («Ага, понятно») с формулой, которая неверна ни с математической, ни с бухгалтерской точки зрения? Дело в мощных когнитивных искажениях, заложенных в человеческом мозге.

1. Ошибка ментальной бухгалтерии (Mental Accounting)

Поведенческий экономист Ричард Талер (лауреат Нобелевской премии по экономике) предположил, что люди бессознательно «категоризируют деньги» (ментальная бухгалтерия) в своей голове. В конце задачи «расходы клиентов (27 долларов)» и «деньги, полученные официантом (2 доллара)» представлены как одна и та же категория — «деньги». Мозг выхватывает только «цифры сумм (27 и 2)» и легкомысленно выполняет сложение, игнорируя направление вектора: являются ли они «потраченными деньгами (минус)» или «имеющимися деньгами (плюс)».

2. Эффект фрейминга (Эффект обрамления)

Это эффект, при котором то, как представлена информация, влияет на принятие решений и суждения людей. Хитрость задачи заключается в том, что «первоначальная цифра в 30 долларов устанавливается как цель». Увидев вычисление «27 + 2 = 29 долларов», мозг бессознательно пытается подогнать его под цель (якорение): «Должно получиться первоначальные 30 долларов». Нас заставляют сравнивать цифры, которые не должны сравниваться, и возникающая при этом погрешность в «1» вызывает сильнейший когнитивный диссонанс (дискомфорт и замешательство) — именно так и было задумано.

3. Магия сторителлинга (Storytelling)

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

7. История «Загадки исчезнувшего доллара» и аналогичные задачи

Подобные парадоксы существуют с давних времен и передаются из поколения в поколение в различных вариациях, пересекая эпохи и границы.

Происхождение парадокса

Точное происхождение этой задачи неизвестно, но она стала широко известна в США в 1930-х годах. В то время ее называли «Парадоксом коридорного» (Bellboy paradox), и суммы в задаче варьировались. Говорят, что она отражала психологию масс в Америке времен Великой депрессии, когда судьба даже «1 доллара» вызывала огромный интерес.

Аналогичная задача: Загадка исчезнувших 10 йен

В Японии известна версия, в которой суммы переведены в иены: «Трое скинулись по 100 иен, чтобы купить вещь за 300 иен, сдача составила 50 иен…». Она регулярно всплывает в качестве классической «копипасты» на интернет-форумах и в детских книгах с загадками.

Более сложная производная: Загадка исчезнувшего квадрата

Этот «словесный обман», примененный к «фигурам (геометрии)», представляет собой «Загадку исчезнувшего квадрата» (Missing square puzzle), о которой мы рассказывали в другой статье этого блога. Это ошибка интуиции, когда при перестановке частей фигур, которые должны иметь одинаковую площадь, почему-то исчезает одно поле (площадь). Она основана на тех же когнитивных ограничениях: «человеческий глаз не может заметить крошечные искажения прямых линий (разницу в наклоне)».

8. Уроки для реального мира: чему нас учит парадокс?

«Загадка исчезнувшего доллара» содержит в себе слишком глубокий урок, чтобы оставаться лишь забавной шуткой для вечеринок или детской загадкой.

Способность подвергать сомнению «заданные рамки (предпосылки)» Принимая решения в повседневном бизнесе или инвестировании, не принимаем ли мы на веру презентационные материалы и рекламные речи тех, кто утверждает: «Если сложить эту цифру с этой, получится так»? Даже если результаты вычислений верны (27 + 2 действительно равно 29), необходимо критическое мышление (Critical Thinking), чтобы задать вопрос: «А имеет ли вообще логический смысл составление такой формулы?».
Абсолютность денежного потока Фальсификацию финансовой отчетности в корпоративном учете и сокрытие убытков по сложным финансовым деривативам можно назвать чрезвычайно изощренной версией «загадки исчезнувшего доллара». Как бы ни прибавляли и ни вычитали несуществующие цифры, чтобы создать видимость прибыли, если проследить базовое «движение наличных средств (денежный поток)», противоречия обязательно всплывут. Именно тогда, когда вещи кажутся запутанными, нужно возвращаться к основам: «Откуда пришли деньги и куда они ушли?».

9. Заключение: 1 доллар никуда и не исчезал

В заключение, давайте дадим самый краткий и мощный ответ на этот парадокс.

«Клиенты заплатили в общей сложности 27 долларов: 25 долларов попали в кассу отеля, а 2 доллара осели в кармане официанта. Расчеты сходятся идеально. Формула, которая пытается насильно вернуть нас к изначальным 30 долларам — вот главный источник путаницы».

Как бы ни эволюционировал наш мозг, он все равно легко поддается обману комбинацией «правдоподобной истории» и «простого сложения». Однако, используя мощные инструменты математики и логики (уравнения и двойную запись), мы можем разрушить эту иллюзию и увидеть истину.

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

Парадокс двух конвертов: как бесконечное математическое ожидание разрушает логику и создает ловушки в принятии решений

Thu, 10 Sep 2026 00:00:00 +0900

1. Главный выбор: менять или не менять?

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

“В одном из конвертов находится в два раза больше денег, чем в другом. Выберите один из них.”

После некоторых колебаний вы выбрали конверт А. И как раз в тот момент, когда вы собираетесь посмотреть его содержимое, ведущий искушающе шепчет:

“Прямо сейчас вы можете поменять ваш конверт А на оставшийся конверт Б. Хотите поменяться?”

Итак, стоит ли вам менять конверты?

2. «Бесконечный цикл», порожденный вычислением математического ожидания

Давайте теперь задействуем немного математического мышления. Пусть сумма денег в вашем конверте А равна $X$ иен. Согласно правилам, сумма в конверте Б — это либо “половина от $X$ иен ($\frac{X}{2}$)”, либо “в 2 раза больше $X$ иен ($2X$)”. Вероятность каждого варианта составляет $\frac{1}{2}$ (50%).

Теперь давайте посчитаем математическое ожидание (ожидаемую среднюю сумму) в случае обмена конвертами.

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

Получился удивительный результат. Просто поменяв конверты, математическое ожидание подскакивает с изначальных $X$ иен до в $1.25$ раза (увеличение на 25%). Напрашивается вывод: “Если мыслить математически, менять конверт — безусловно выгодно!”.

Однако здесь происходит разрушение логики. Предположим, вы поменяли его на конверт Б. Что будет, если сразу после этого ведущий снова спросит: “Не хотите ли вернуться обратно к А?” Сработает та же самая формула, и на этот раз окажется, что “при обмене Б на А ожидаемая сумма увеличится в 1,25 раза”.

Другими словами, просто продолжая обменивать “А на Б” и “Б на А”, теоретическое математическое ожидание будет расти до бесконечности. Это очевидным образом противоречит реальности (содержимое конвертов зафиксировано с самого начала, и оно не увеличивается от факта обмена).

graph TD Start["Вы выбираете конверт А (содержит X иен)"] --> Think["Считаем, выгоден ли обмен"] Think --> Case1["В конверте Б половина (X/2 иен) : вероятность 50%"] Think --> Case2["В конверте Б в 2 раза больше (2X иен) : вероятность 50%"] Case1 --> Calc["Математическое ожидание = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["Меняем на конверт Б! (содержит Y иен)"] SwitchToB --> ThinkAgain["Снова считаем"] ThinkAgain --> Case3["В конверте А половина (Y/2 иен) : вероятность 50%"] ThinkAgain --> Case4["В конверте А в 2 раза больше (2Y иен) : вероятность 50%"] Case3 --> Calc2["Математическое ожидание = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["Снова меняем на конверт А!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

Почему, казалось бы, идеальный расчет математического ожидания породил такой странный парадокс?

3. Разоблачение математического трюка: подмена переменных

Ловушка этого парадокса кроется в «использовании случайной величины $X$».

В предыдущей формуле сумма $X$ в конверте А рассматривалась как фиксированная константа, и предполагалось, что в конверте Б находится либо «$\frac{X}{2}$», либо «$2X$». Однако на самом деле фиксированными являются «общая сумма денег в обоих конвертах», или же «меньшая из двух сумм».

Пусть сумма в конверте с меньшим количеством денег равна $S$. Тогда в конверте с большим количеством денег находится сумма $2S$. Существует только 2 возможных сценария игры (вероятность каждого $\frac{1}{2}$):

Сценарий 1: Выбранный вами конверт А содержит меньшую сумму ($S$), а конверт Б — большую ($2S$).
Сценарий 2: Выбранный вами конверт А содержит большую сумму ($2S$), а конверт Б — меньшую ($S$).

Теперь давайте правильно посчитаем математическое ожидание для случаев «без обмена» и «с обменом» конвертами.

Математическое ожидание без обмена $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

Математическое ожидание с обменом $E_{switch}$: При сценарии 1 вы получите $2S$, а при сценарии 2 вы получите $S$.

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

Математические ожидания чудесным образом совпали! В первом ошибочном расчете мы рассматривали разные значения под одной и той же переменной $X$: $X$ в сценарии 1 (на самом деле это $S$) и $X$ в сценарии 2 (на самом деле это $2S$). Из-за этого и возникла иллюзия того, что “обмен повышает математическое ожидание”.

pie title "Истинное математическое ожидание (если меньшая сумма равна S)" "Ожидание без обмена (1.5S)" : 50 "Ожидание с обменом (1.5S)" : 50

4. Что будет, если вы всё-таки откроете конверт?

Кажется, что парадокс разрешен. Но нас ждет еще более глубокая проблема.

Что, если перед обменом вы посмотрели бы содержимое вашего конверта А? Вы открываете конверт А и видите в нем «10 000 иен».

В этот момент $X = 10000$ становится зафиксированным значением. В конверте Б находится либо «5 000 иен», либо «20 000 иен». Что будет, если мы применим сюда нашу первоначальную формулу?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

Ожидаемая сумма — 12 500 иен. Это определенно больше ваших текущих 10 000 иен. Более того, на этот раз $X$ является “конкретной константой” в 10 000 иен, поэтому предыдущий аргумент о “подмене переменных” больше не работает. Означает ли это, что теперь совершенно точно выгодно поменяться?

Опровержение с помощью байесовского вывода: отсутствие «априорного распределения»

В ответ на это математики предложили концепцию «априорного распределения сумм (априорной вероятности)». Вопрос в том: можем ли мы действительно утверждать, что 5 000 иен и 20 000 иен находятся там с вероятностью $\frac{1}{2}$ каждое?

Например, предположим, что бюджет телеигры составляет максимум 100 миллионов иен. Если вы откроете конверт А и обнаружите там «60 миллионов иен», вероятность того, что в конверте Б находится «120 миллионов иен», равна нулю (поскольку это превысит бюджет). Это означает, что чем больше сумма в конверте А, тем ниже вероятность того, что в конверте Б сумма “в два раза больше”, и тем выше вероятность, что там “половина”.

Если предположить произвольное априорное распределение $P(x)$ и посчитать математическое ожидание по теореме Байеса, то математически доказано, что при любом реалистичном распределении вероятностей (сумма которых равна 1) не существует такого “магического” распределения, при котором “поменяться было бы выгодно” для любой суммы $X$.

5. Ловушка бесконечности: связь с Санкт-Петербургским парадоксом

Существует лишь один единственный случай, когда “обмен выгоден при любых $X$”. Он возможен только при допущении, что бюджет телеигры бесконечен, и мы имеем дело с “несобственным распределением вероятностей” (распределением, сумма которого равна бесконечности), где любая сумма (1 иена, 2 иены, 4 иены, 8 иен… до бесконечности) может выпасть с одинаковой вероятностью.

Однако в реальном мире не существует телеканалов с бесконечными активами. Этот сбой, вызванный “бесконечным математическим ожиданием”, имеет глубокие общие корни с Санкт-Петербургским парадоксом (задачей о том, сколько человек готов заплатить за участие в игре с бесконечным математическим ожиданием выигрыша).

6. Заключение: коварство вероятности и математического ожидания

Несмотря на то, что “Парадокс двух конвертов” состоит из простейших умножений и сложений, он преподносит нам следующие уроки:

Ошибки из-за неоднозначности определений: если четко не определить, на что указывает переменная (указывает ли $X$ всегда на одну и ту же сумму), логика легко разрушится.
Иллюзия «нет информации = вероятность 50%»: предположение “если я не знаю, значит шансы 50 на 50” (принцип недостаточного основания) порой может привести к фатальным ошибкам в расчетах.
Сложность работы с бесконечностью: введение в расчеты концепции “бесконечности”, неприменимой в реальном мире, приводит к результатам, противоречащим здравому смыслу.

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

Парадокс дней рождения: 50% и более при 23 людях? Магия "комбинаций", обманывающая интуицию

Thu, 10 Sep 2026 00:00:00 +0900

1. Проверка интуиции: Сколько человек нужно, чтобы вероятность превысила 50%?

Люди собираются на вечеринке. Как вы думаете, какое минимальное количество людей необходимо для того, чтобы “вероятность того, что в зале найдется хотя бы одна пара людей с абсолютно одинаковыми днями рождения (месяц и день), превысила 50%”? (Предположим, что високосные годы исключаются, в году 365 дней, и все дни рождения равновероятны).

Человеческая интуиция склонна рассчитывать так: “В году целых 365 дней. Поскольку мы помещаем людей в 365 ячеек, где они могут совпасть, должно потребоваться хотя бы около 180 человек. Как минимум, разве не нужно 50-60 человек, чтобы вероятность составила половину?”

Однако математически выведенный правильный ответ — всего лишь “23 человека”. В школьном классе (около 30-40 человек) вероятность наличия пары с одинаковыми днями рождения возрастает примерно до 70-89%. Если людей 50, эта вероятность достигает 97%, и возникает ситуация, когда “скорее необычно, если нет людей с одинаковыми днями рождения”.

Почему же наша интуиция настолько расходится с реальной вероятностью?

2. Причина ошибки интуиции: Разница между “Я и кто-то” и “Кто-то и кто-то”

Главная причина, по которой интуиция ошибается в этой задаче, заключается в том, что мы бессознательно думаем о “вероятности того, что найдется кто-то с тем же днем рождения, что и у определенного человека (например, вас)”.

Если вы входите в зал и ищете: “Есть ли здесь кто-то с таким же днем рождения, как у меня?”, вероятность того, что среди 23 человек найдется кто-то с таким же днем рождения, составляет всего около 6,1%. (Чтобы эта вероятность превысила 50%, требуется целых 253 человека).

Однако парадокс дней рождения спрашивает не о паре “Я и кто-то”. Достаточно, чтобы совпала хотя бы одна пара среди “всевозможных комбинаций всех людей в зале друг с другом (господин А и господин Б, господин Б и господин В, господин В и господин А…)”.

graph TD subgraph "Иллюзия интуиции: сравнение вокруг \"Себя\"" You["Я"] --- P1["Господин А"] You --- P2["Господин Б"] You --- P3["Господин В"] You --- P4["Господин Г"] style You fill:#ff9999,stroke:#333,stroke-width:4px end subgraph "Реальность: Сравнение \"всех со всеми\"" A["Господин А"] --- B["Господин Б"] A --- C["Господин В"] A --- D["Господин Г"] B --- C B --- D C --- D end

Даже в группе из 4 человек существует 3 варианта сравнения вокруг “себя”, но сравнение всех со всеми дает 6 вариантов (${}_4 C_2 = 6$). Когда количество людей увеличивается до 23, количество возможных комбинаций пар взрывообразно возрастает до 253 (${}_{23} C_2$). Если у нас 253 пары, разве не кажется возможным, что хотя бы одна из них “вытянет” вероятность “1 к 365”?

3. Математическое доказательство: Элегантное решение через противоположное событие

Прямой расчет “вероятности того, что хотя бы у одной пары совпадают дни рождения” очень сложен (потому что слишком много вариантов: если совпадает только 1 пара, если совпадают 2 пары, если 3 человека имеют одинаковый день рождения… и т.д.). Поэтому мы воспользуемся базовым приемом теории вероятностей — “противоположным событием”.

Противоположное событие означает “вероятность того, что событие не произойдет”. Другими словами, мы вычисляем “вероятность того, что дни рождения всех людей разные (ни одно совпадение)”, и вычитаем это из 100% (из 1), чтобы получить искомую вероятность.

$$ P(\text{хотя бы двое совпадают}) = 1 - P(\text{все дни рождения разные}) $$

Давайте представим людей, входящих в зал по очереди, и рассчитаем.

1-й человек: Нет риска совпадения с кем-либо. Вероятность равна $\frac{365}{365}$.
2-й человек: День рождения должен отличаться от первого человека. Любой из оставшихся 364 дней подходит. Вероятность равна $\frac{364}{365}$.
3-й человек: День рождения должен отличаться от предыдущих двух. Любой из оставшихся 363 дней подходит. Вероятность равна $\frac{363}{365}$.

Умножая это до $n$-го человека, мы получаем общий член для вероятности того, что дни рождения всех разные, $P(n)'$.

$$ P(n)' = \frac{365}{365} \times \frac{364}{365} \times \frac{363}{365} \times \dots \times \frac{365 - (n - 1)}{365} $$ $$ P(n)' = \prod_{k=1}^{n-1} \left(1 - \frac{k}{365}\right) $$

Следовательно, искомая “вероятность того, что хотя бы два человека имеют одинаковый день рождения $P(n)$” выглядит так:

$$ P(n) = 1 - \prod_{k=1}^{n-1} \left(1 - \frac{k}{365}\right) $$

Подставляя количество людей $n$ в эту формулу, мы видим, что вероятность возрастает с поразительной скоростью.

При $n = 10$ вероятность составляет около 11,7%
При $n = 23$ вероятность составляет около 50,7% (Здесь она превышает 50%!)
При $n = 40$ вероятность составляет около 89,1%
При $n = 70$ вероятность составляет около 99,9%

pie title "Вероятность при собрании 23 человек" "Есть пара с одинаковым днем рождения (50.7%)" : 50.7 "У всех разные дни рождения (49.3%)" : 49.3

4. Приближенное вычисление с помощью ряда Тейлора

Выполнять умножение 23 раза вручную тяжело, поэтому давайте используем математическую формулу приближения для более интуитивного понимания.

Рассмотрим разложение в ряд Тейлора экспоненциальной функции $e^{-x}$. Когда $x$ достаточно мало, справедливо следующее приближение:

$$ e^{-x} \approx 1 - x $$

Применяя это к каждому члену $\left(1 - \frac{k}{365}\right)$ из предыдущего расчета:

$$ 1 - \frac{k}{365} \approx e^{-\frac{k}{365}} $$

Перемножая все это (согласно правилам степеней, это становится сложением), получаем:

$$ P(n)' \approx e^{-\frac{1}{365}} \times e^{-\frac{2}{365}} \times \dots \times e^{-\frac{n-1}{365}} $$ $$ P(n)' \approx \exp\left(-\sum_{k=1}^{n-1} \frac{k}{365}\right) $$

Сумма от 1 до $n-1$ равна $\frac{n(n-1)}{2}$ (то есть число сочетаний ${}_n C_2$), поэтому:

$$ P(n)' \approx \exp\left(-\frac{n(n-1)}{2 \times 365}\right) $$

В этой формуле найдем $n$, при котором вероятность равна 50% ($0.5$).

$$ 0.5 = e^{-\frac{n(n-1)}{730}} $$

Возьмем натуральный логарифм от обеих частей ($\ln 0.5 \approx -0.693$).

$$ -0.693 = -\frac{n(n-1)}{730} $$ $$ n(n-1) = 0.693 \times 730 \approx 505.89 $$

Аппроксимируя как $n^2 \approx 506$, получаем $n = \sqrt{506} \approx 22.49$ Блестяще выведен ответ $n \approx 23$!

5. Применение в повседневной жизни и “Коллизия хеш-функций”

Этот парадокс — не просто тема для застольной беседы. Он играет чрезвычайно важную роль в теории криптографии и информационной безопасности, на которых держится современное IT-общество.

В компьютерных системах используется механизм под названием “хеш-функция” для быстрой проверки идентичности паролей или файлов. Хеш-функция, независимо от того, какие данные в нее введены, возвращает случайную строку фиксированной длины (хеш-значение). Однако явление, при котором эти хеш-значения случайно совпадают, называется “коллизией хеш-функции” (Hash Collision).

Коллизии хеш-функций происходят точно по тому же принципу, что и парадокс дней рождения. Вопреки человеческой интуиции, которая говорит: “Поскольку количество видов хеш-значений астрономически велико, коллизии будут происходить крайне редко”, для злоумышленника генерировать случайным образом огромное количество данных и находить “пару, где одно совпадает с другим (совпадающие дни рождения)”, намного проще, чем кажется.

Это называется “Атака «Дни рождения»” (Birthday Attack). Инженеры, проектирующие системы безопасности, принимают за основу тот математический факт, что “коллизии происходят намного быстрее, чем подсказывает интуиция”, и устанавливают длину хеш-значения очень большой, чтобы гарантировать безопасность.

6. Заключение: Границы человеческой интуиции

Парадокс дней рождения — идеальный пример того, насколько уязвима человеческая интуиция к “экспоненциальному росту” и “комбинаторным взрывам”.

Мы сильны в восприятии линейного (аддитивного) роста, но не можем смоделировать в уме явление, когда количество пар взрывообразно увеличивается в темпе $n^2$. За интуицией “число 23 слишком мало по сравнению с большим числом 365” скрываются “253 невидимые нити (пары)”, сплетенные 23 людьми.

В следующий раз, когда вы окажетесь в месте скопления людей, попробуйте представить не только видимое “количество людей”, но и бесчисленные “нити комбинаций”, существующие между ними. Ваше видение мира должно немного измениться с математической точки зрения.

Проблема Монти Холла: ловушка теории вероятностей, обманывающая интуицию, и полное решение с помощью байесовского вывода

Thu, 10 Sep 2026 00:00:00 +0900

1. Место действия — телевикторина: что бы вы сделали?

В 1990 году в колонку “Спросите Мэрилин” (Ask Marilyn) американского новостного журнала “Parade” поступил следующий вопрос от читателя:

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

Сначала вы выбираете дверь A.

Затем ведущий Монти Холл, который знает, где находится новый автомобиль, открывает из оставшихся дверей дверь B, за которой стоит коза.

Монти говорит вам: «Теперь вы можете изменить свой выбор на дверь C. Что вы решите?»

Итак, стоит ли вам менять дверь?

Интуитивно кажется: «Остались 2 двери, A и C. Поскольку новый автомобиль может быть за любой из них с равной случайностью, вероятность выигрыша составляет $\frac{1}{2}$ (50%) для обеих. Поэтому нет никакой разницы, менять выбор или нет».

Однако колумнистка Мэрилин вос Савант (занесенная в Книгу рекордов Гиннесса как обладательница самого высокого IQ) ответила: «Вам следует изменить выбор. Если вы это сделаете, ваши шансы на выигрыш удвоятся».

Этот ответ вызвал сенсацию по всей Америке, и в редакцию обрушилась лавина из примерно 10 000 писем с протестами (из которых около 1000 были от ученых со степенью доктора математики). Это была буря резкой критики вроде «вы не понимаете основ теории вероятностей» или «это женская логика». Но, забегая вперед, ответ Мэрилин был математически абсолютно верен.

2. Расхождение между интуицией и математикой: Разветвление вероятностей в Mermaid

Почему наша интуиция создает иллюзию вероятности «$\frac{1}{2}$»? Для начала давайте визуализируем все паттерны игры.

graph TD Start["Начало игры"] --> CarA["Новый автомобиль за дверью A (вероятность 1/3)"] Start --> CarB["Новый автомобиль за дверью B (вероятность 1/3)"] Start --> CarC["Новый автомобиль за дверью C (вероятность 1/3)"] CarA --> PickA1["Вы выбираете дверь A"] CarB --> PickA2["Вы выбираете дверь A"] CarC --> PickA3["Вы выбираете дверь A"] PickA1 --> HostB_or_C["Ведущий открывает B или C"] PickA2 --> HostC["Ведущий обязательно открывает C"] PickA3 --> HostB["Ведущий обязательно открывает B"] HostB_or_C --> Stay1["Не менять: Выигрыш!"] HostB_or_C --> Switch1["Изменить: Проигрыш..."] HostC --> Stay2["Не менять: Проигрыш..."] HostC --> Switch2["Изменить: Выигрыш!"] HostB --> Stay3["Не менять: Проигрыш..."] HostB --> Switch3["Изменить: Выигрыш!"] style Switch2 fill:#bbf,stroke:#333,stroke-width:2px style Switch3 fill:#bbf,stroke:#333,stroke-width:2px style Stay1 fill:#f99,stroke:#333,stroke-width:2px

Предполагая, что вы выбрали «дверь A», с равной вероятностью ($\frac{1}{3}$) могут произойти 3 следующих сценария:

Сценарий 1 (Новый автомобиль за A): Ведущий открывает B или C, где находится коза. Если изменить выбор, то проигрыш.
Сценарий 2 (Новый автомобиль за B): Ведущий может открыть только C, где коза. Если изменить выбор, то выигрыш.
Сценарий 3 (Новый автомобиль за C): Ведущий может открыть только B, где коза. Если изменить выбор, то выигрыш.

Другими словами, в 2 случаях из 3 (Сценарии 2 и 3) возникает ситуация, когда «изменение двери гарантирует выигрыш». Следовательно, вероятность выигрыша при изменении выбора составляет $\frac{2}{3}$, что в 2 раза больше вероятности выигрыша $\frac{1}{3}$, если выбор не менять.

3. Строгое доказательство с помощью теоремы Байеса

Для строгого математического решения этой проблемы мы используем «теорему Байеса», которая вычисляет условную вероятность.

$$ P(H|E) = \frac{P(E|H) P(H)}{P(E)} $$

Здесь мы определяем события следующим образом:

$C_A, C_B, C_C$ : События, при которых новый автомобиль находится за дверью A, B и C соответственно. Априорные вероятности: $P(C_A) = P(C_B) = P(C_C) = \frac{1}{3}$
Предположим, что сначала вы выбрали дверь A.
$M_B$ : Событие, при котором ведущий открывает дверь B с козой.

То, что мы хотим найти, — это «вероятность того, что новый автомобиль находится за дверью C, при условии, что ведущий открыл дверь B», то есть апостериорную вероятность $P(C_C|M_B)$.

Сначала рассмотрим вероятность $P(M_B|C_X)$ того, что ведущий откроет дверь B, в зависимости от того, где находится машина.

Если новый автомобиль за дверью A ($C_A$) Ведущий может случайно открыть B или C.
$$ P(M_B|C_A) = \frac{1}{2} $$
Если новый автомобиль за дверью B ($C_B$) Поскольку ведущий не может открыть дверь с автомобилем, вероятность того, что он откроет B, равна нулю.
$$ P(M_B|C_B) = 0 $$
Если новый автомобиль за дверью C ($C_C$) Поскольку ведущий не может открыть A (которую вы выбрали) и C (где находится машина), ему неизбежно придется открыть B.
$$ P(M_B|C_C) = 1 $$

Далее мы находим полную вероятность $P(M_B)$ того, что ведущий откроет дверь B, по «формуле полной вероятности».

$$ P(M_B) = P(M_B|C_A)P(C_A) + P(M_B|C_B)P(C_B) + P(M_B|C_C)P(C_C) $$ $$ P(M_B) = \left(\frac{1}{2} \times \frac{1}{3}\right) + \left(0 \times \frac{1}{3}\right) + \left(1 \times \frac{1}{3}\right) = \frac{1}{6} + 0 + \frac{1}{3} = \frac{1}{2} $$

Наконец, мы применяем теорему Байеса для вычисления апостериорной вероятности для дверей A и C.

Вероятность того, что новый автомобиль находится за дверью A (если не менять выбор):

$$ P(C_A|M_B) = \frac{P(M_B|C_A) P(C_A)}{P(M_B)} = \frac{\frac{1}{2} \times \frac{1}{3}}{\frac{1}{2}} = \frac{1}{3} $$

Вероятность того, что новый автомобиль находится за дверью C (если изменить выбор):

$$ P(C_C|M_B) = \frac{P(M_B|C_C) P(C_C)}{P(M_B)} = \frac{1 \times \frac{1}{3}}{\frac{1}{2}} = \frac{2}{3} $$

Даже математическое доказательство ясно показывает, что «изменение двери удваивает вероятность выигрыша (2/3)».

4. Когнитивное искажение: Ценность информации под названием «условие»

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

4.1. Предвзятость к равной вероятности (Equiprobability Bias)

Люди склонны бессознательно предполагать, что «оставшиеся варианты всегда имеют равную вероятность», когда сталкиваются с неизвестными альтернативами. В тот момент, когда мы видим, что осталось две двери, мозг автоматически маркирует их как «$50\%$ : $50\%$».

4.2. Информация о «намерениях» ведущего

Главная причина, по которой интуиция нас подводит, заключается в игнорировании того факта, что действия ведущего не случайны. Если бы правило было таким: «Ведущий не знает, где автомобиль, случайно открывает дверь, и там случайно оказывается коза» (это называется «Проблема Монти Фолла» (Monty Fall problem)), то вероятности для дверей A и C действительно были бы по $\frac{1}{2}$.

Однако в реальной проблеме Монти Холла ведущий действует под строгими ограничениями:

Он не может открыть дверь, которую выбрал участник.
Он не может открыть дверь, за которой находится новый автомобиль.

Из-за этих ограничений само действие ведущего — «открытие двери B» — дает нам огромную информацию о двери C. В этом заключается скрытое послание: «Я не мог открыть дверь C (потому что там находится новый автомобиль)».

5. Исправление интуиции с помощью экстремального примера

Если вас всё еще не убедили, давайте увеличим количество дверей до 1 миллиона.

Вы выбираете дверь 1 из 1 миллиона дверей. (Вероятность выигрыша $\frac{1}{1,000,000}$)
Всезнающий ведущий открывает 999 998 дверей, за которыми находятся козы, из оставшихся 999 999 дверей.
Закрытыми остаются только ваша «дверь 1» и «дверь 777 777», которую ведущий намеренно оставил.

Ну что, теперь вы поменяете свой выбор? В этом случае вам не следует менять выбор только если вы верите, что с самого начала вытянули чудо с вероятностью «один на миллион». Но в реальности интуитивно понятно, что вероятность того, что новый автомобиль находится за «той единственной дверью, которую ведущий ни в коем случае не мог открыть», составляет $\frac{999,999}{1,000,000}$.

Проблема Монти Холла (с 3 дверями) — это просто то же самое явление, но в уменьшенном масштабе «миллиона дверей».

pie title "Эффект от смены двери (100 симуляций)" "Сменил и выиграл (около 66.7%)" : 67 "Не сменил и выиграл (около 33.3%)" : 33

6. Заключение: Уроки бизнеса и жизни от теории вероятностей

Проблема Монти Холла выходит за рамки простой викторины и преподает нам важные уроки.

Интуиция часто ошибается: Человеческий мозг не эволюционировал для интуитивной обработки сложных условных вероятностей. Опасно полагаться только на интуицию при принятии важных решений.
Обновление вероятностей новой информацией (Байесовское обновление): Когда ситуация меняется и поступает новая информация (например, какую дверь открыл ведущий), ключом к успеху становится умение гибко обновлять вероятности и стратегии, а не цепляться за старые убеждения.

Маленькое решение «изменить дверь» может удвоить ваши шансы заполучить «новый автомобиль» в вашей жизни.