Логика on kenji.blog

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

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

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

Однако в 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 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. Заключение

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

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

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

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. Заключение: Парадоксы — это сильнодействующее лекарство для исправления «багов в логике»

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

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

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