Парадокс Рассела: как брадобрей сломал математику

🗄️ Парадокс Рассела: Логическая бомба, сломавшая математику

Получи до 30 000 ₽ на карту в один клик!

Без %. Выдача и решение по займу за 2 минуты

Оформить заём →

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

Представьте себе небольшую деревню. В ней живет и работает всего один парикмахер (брадобрей).
Мэр деревни издает строгий указ:

«Брадобрей обязан брить ТЕХ И ТОЛЬКО ТЕХ жителей деревни, которые не бреются сами».

Звучит как совершенно нормальное, логичное правило. Мужики делятся на две группы: одни бреются сами, других бреет брадобрей. Все довольны.

А теперь Рассел задает один смертельный вопрос:

✂️ А кто бреет самого брадобрея?

Давайте рассуждать строго по правилу мэра:

• Сценарий 1: Брадобрей решает побрить себя сам.
Но постойте! Указ гласит, что он имеет право брить только тех, кто не бреется сам. Если он берет в руки бритву и начинает брить себя, он нарушает закон. Значит, он не может брить себя.

• Сценарий 2: Брадобрей решает НЕ брить себя.
Он зарастает бородой. Но указ гласит: он обязан брить тех, кто не бреется сам! Раз он сам себя не бреет, он как брадобрей обязан посадить себя в кресло и побрить. Значит, он должен брить себя.

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

🧮 Причем здесь высшая математика?

Брадобрей - это просто шутка для публики. В реальности Рассел ударил по святая святых - по Теории множеств, на которой тогда строилась вся математика.

Математики считали, что множеством может быть всё что угодно:

• Множество всех кошек (само по себе не является кошкой).
• Множество всех яблок (само не яблоко).
Такие множества называются «нормальными» (не содержат сами себя).

А бывают странные множества. Например, «Множество всех вещей, которые НЕ являются кошками». Это множество само по себе не кошка, значит, оно содержит само себя.

Рассел написал формулу, которая звучала так:

«Давайте создадим Множество R, которое состоит из всех множеств, которые НЕ содержат сами себя».

И задал вопрос: А содержит ли Множество R само себя?
Если да - то не должно. Если нет - то обязано.

✉️ Письмо, разбившее сердце

В 1902 году немецкий математик Готлоб Фреге заканчивал главный труд своей жизни - огромный двухтомник, который должен был раз и навсегда доказать абсолютную непротиворечивость математики. Книга уже была в типографии.

И тут ему приходит письмо от Рассела с этим парадоксом.

Фреге прочитал его, побледнел и добавил в конец своего великого труда, возможно, самую трагичную сноску в истории науки:

«Нет ничего хуже для ученого, чем обнаружить, что фундамент его здания рухнул, когда работа уже закончена. Письмо от господина Рассела поставило меня именно в такое положение...»

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

🛠️ Как это починили?

Чтобы спасти науку, математикам пришлось вводить жесткие костыли. Они придумали новую, строгую аксиоматику (систему Цермело - Френкеля), которая буквально законодательно запрещала создавать множества, ссылающиеся сами на себя.
Мы просто договорились, что такие "брадобреи" не имеют права существовать в математическом мире.

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

👉 @Pomatematike