<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Теорема Гёделя О Неполноте on kenji.blog</title><link>http://kenji.blog/ru/tags/%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0-%D0%B3%D1%91%D0%B4%D0%B5%D0%BB%D1%8F-%D0%BE-%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5/</link><description>Recent content in Теорема Гёделя О Неполноте on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ru</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/ru/tags/%D1%82%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0-%D0%B3%D1%91%D0%B4%D0%B5%D0%BB%D1%8F-%D0%BE-%D0%BD%D0%B5%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B5/index.xml" rel="self" type="application/rss+xml"/><item><title>Парадокс Ришара: Противоречие, вызванное бесконечными десятичными дробями и "диагональным аргументом"</title><link>http://kenji.blog/ru/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/ru/p/richards-paradox/</guid><description>&lt;img src="http://kenji.blog/p/richards-paradox/img/richards_paradox.jpg" alt="Featured image of post Парадокс Ришара: Противоречие, вызванное бесконечными десятичными дробями и "диагональным аргументом"" />&lt;h2 id="1-список-чисел-которые-можно-определить-словами">1. Список чисел, которые можно определить словами
&lt;/h2>&lt;p>«Парадокс Ришара», представленный французским математиком Жюлем Ришаром в 1905 году, является своего рода родственником упомянутого ранее «парадокса Берри». Однако он более математический и содержит в себе глубокое противоречие, словно заглядывающее в бесконечность.&lt;/p>
&lt;p>Сначала представьте, что мы собираем &lt;strong>«все действительные числа (десятичные дроби) от 0 до 1, которые можно полностью определить с помощью предложений на русском языке»&lt;/strong>.&lt;/p>
&lt;p>Например, такие числа:&lt;/p>
&lt;ul>
&lt;li>«Ноль целых пять десятых» $\rightarrow$ $0.5$&lt;/li>
&lt;li>«Одна третья» $\rightarrow$ $0.333333...$&lt;/li>
&lt;li>«Число, состоящее из цифр числа пи после запятой» $\rightarrow$ $0.14159265...$&lt;/li>
&lt;/ul>
&lt;p>Поскольку комбинации предложений, которые можно выразить на русском языке, — это просто перестановка букв, имеющихся в словаре, мы можем установить для них «порядок».
(Например, расположить их в порядке возрастания количества букв, а если количество букв совпадает — в алфавитном порядке.)&lt;/p>
&lt;p>Таким образом, мы смогли создать &lt;strong>бесконечный список&lt;/strong>, присвоив номера 1, 2, 3&amp;hellip; «всем действительным числам, которые можно определить на русском языке».&lt;/p>
$$
\begin{align*}
r_1 &amp;= 0.\mathbf{3}333... \\
r_2 &amp;= 0.5\mathbf{0}00... \\
r_3 &amp;= 0.14\mathbf{1}5... \\
r_4 &amp;= 0.777\mathbf{7}... \\
&amp;\vdots
\end{align*}
$$
&lt;p>В этом списке должны быть абсолютно все «действительные числа, которые можно определить на русском языке», без единого исключения.&lt;/p>
&lt;hr>
&lt;h2 id="2-дьявольская-техника-диагональный-аргумент">2. Дьявольская техника: «Диагональный аргумент»
&lt;/h2>&lt;p>Здесь Ришар применяет пугающую операцию.
Он искусственно создает &lt;strong>«совершенно новое число $X$»&lt;/strong>, которое обходит все числа из этого списка.&lt;/p>
&lt;p>Способ создания прост:&lt;/p>
&lt;ul>
&lt;li>Берем &lt;strong>первую&lt;/strong> цифру после запятой &lt;strong>первого&lt;/strong> числа в списке (в примере выше это $3$). Прибавляем к ней $1$, и это становится первой цифрой числа $X$ ($3+1=4$).&lt;/li>
&lt;li>Берем &lt;strong>вторую&lt;/strong> цифру после запятой &lt;strong>второго&lt;/strong> числа в списке (в примере выше это $0$). Прибавляем к ней $1$, и это становится второй цифрой числа $X$ ($0+1=1$).&lt;/li>
&lt;li>Берем &lt;strong>третью&lt;/strong> цифру после запятой &lt;strong>третьего&lt;/strong> числа в списке (в примере выше это $1$). Прибавляем к ней $1$, и это становится третьей цифрой числа $X$ ($1+1=2$).&lt;/li>
&lt;/ul>
&lt;p>※ Если исходная цифра — $9$, то мы превращаем её в $0$.&lt;/p>
&lt;div class="mermaid">graph TD
subgraph "Числа в списке"
R1["r1 = 0.[3]33..."]
R2["r2 = 0.5[0]0..."]
R3["r3 = 0.14[1]..."]
R4["r4 = 0.777[7]..."]
end
subgraph "Вновь созданное число X"
X["X = 0.4128..."]
end
R1 -->|1-я цифра +1| X
R2 -->|2-я цифра +1| X
R3 -->|3-я цифра +1| X
R4 -->|4-я цифра +1| X
style X fill:#aaffaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>Новое число $X$, созданное таким образом (в нашем примере $X = 0.4128...$), &lt;strong>абсолютно точно не совпадает ни с одним числом&lt;/strong> в списке.
Причина в том, что оно намеренно отличается от $n$-го числа как минимум его «$n$-й цифрой после запятой».
(Этот метод называется &lt;strong>«диагональным аргументом»&lt;/strong> (или канторовым диагональным процессом), и он был разработан гениальным математиком Георгом Кантором для доказательства того, что множество действительных чисел несчетно бесконечно.)&lt;/p>
&lt;hr>
&lt;h2 id="3-завершение-парадокса-ришара">3. Завершение парадокса Ришара
&lt;/h2>&lt;p>А вот теперь начинается сам парадокс.&lt;/p>
&lt;p>Мы только что создали новое число $X$.
И «правило» создания этого числа $X$ сейчас было полностью объяснено (определено) &lt;strong>текстом на русском языке, который я написал выше&lt;/strong>.&lt;/p>
&lt;p>То есть $X$ — это &lt;strong>«действительное число, которое можно определить на русском языке»&lt;/strong>.&lt;/p>
&lt;p>Но вспомните исходную предпосылку:
«Действительные числа, которые можно определить на русском языке», &lt;strong>должны быть полностью охвачены исходным списком ($r_1, r_2, r_3...$)&lt;/strong>.
И тем не менее, $X$ было создано таким образом, чтобы не совпадать ни с одним числом в этом списке.&lt;/p>
&lt;ol>
&lt;li>&lt;strong>$X$ должно быть в списке (так как оно было определено на русском языке).&lt;/strong>&lt;/li>
&lt;li>&lt;strong>$X$ не должно быть в списке (поскольку с помощью диагонального аргумента оно было создано так, чтобы отличаться от всех чисел в списке).&lt;/strong>&lt;/li>
&lt;/ol>
&lt;p>Идеальное противоречие! Это и есть парадокс Ришара.&lt;/p>
&lt;hr>
&lt;h2 id="4-почему-рухнула-логика-ловушка-метаязыка">4. Почему рухнула логика? (Ловушка метаязыка)
&lt;/h2>&lt;p>Причина возникновения этого парадокса, как и в случае с парадоксом Берри, кроется в смешении «языковых уровней».&lt;/p>
&lt;p>Для того чтобы заниматься математикой со всей строгостью, мы должны четко разделять «список целевых чисел (объектный язык)» и «правила, которые описывают свойства этого списка извне (метаязык)».&lt;/p>
&lt;p>Список Ришара представляет собой совокупность «определений вычислимых чисел».
Однако правило для создания нового числа $X$ — «взять $n$-ю цифру $n$-го числа в списке» — это &lt;strong>метаязыковая операция, которую нельзя выполнить без взгляда на список извне&lt;/strong>.&lt;/p>
&lt;p>Парадокс Ришара взорвался самопротиворечием из-за того, что мы попытались тайком протащить «метаязыковое число $X$, созданное путем манипуляции списком извне» внутрь самого этого «внутреннего списка».&lt;/p>
&lt;hr>
&lt;h2 id="5-передача-эстафеты-гёделю">5. Передача эстафеты Гёделю
&lt;/h2>&lt;p>Этот парадокс Ришара произвел настоящий фурор в математическом мире того времени.
«Человеческий язык (и логические системы) могут легко привести к самопротиворечиям, если не быть осторожными. Как же сделать математику совершенной и непротиворечивой?»&lt;/p>
&lt;p>В 1931 году окончательную точку в этом вопросе поставил молодой 25-летний гениальный математик Курт Гёдель.
Гёдель смог идеально перевести и воспроизвести структуру этого парадокса, который Ришар создал, используя «неоднозначность человеческого языка», с помощью &lt;strong>«строгих математических формул (гёделевых чисел)»&lt;/strong>.&lt;/p>
&lt;p>В результате появилась на свет знаменитая &lt;strong>«теорема Гёделя о неполноте»&lt;/strong>.
Это было великое открытие, доказавшее пределы человеческого познания: «Как бы строго мы ни выстраивали математические правила, внутри этих правил обязательно возникнет &amp;ldquo;истина, которую невозможно ни доказать, ни опровергнуть&amp;rdquo; (математика неполна)».&lt;/p>
&lt;p>Парадокс Ришара, начавшийся как простая противоречивая игра слов, со временем эволюционировал в мощнейшее оружие, разрушившее «абсолютность» самой математики как науки.&lt;/p></description></item></channel></rss>