<?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/tags/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86/</link><description>Recent content in ゲーデルの不完全性定理 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ja</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 12:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86/index.xml" rel="self" type="application/rss+xml"/><item><title>リシャールのパラドックス：無限の小数と「対角線論法」が引き起こす矛盾</title><link>http://kenji.blog/p/richards-paradox/</link><pubDate>Thu, 10 Sep 2026 12:00:00 +0900</pubDate><guid>http://kenji.blog/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>まず、**「日本語の文章で完全に定義できる、0から1の間の実数（小数）」**をすべて集めてくることを想像してください。&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>こうして、「日本語で定義できるすべての実数」に、1番目、2番目、3番目……と**無限に続く番号（リスト）**を作ることができました。&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>ここで、リシャールは恐ろしい操作を行います。
リストの中にあるすべての数字を避けて通るような、**「全く新しい数字 $X$」**を人工的に作り出してしまうのです。&lt;/p>
&lt;p>作り方は簡単です。&lt;/p>
&lt;ul>
&lt;li>リストの&lt;strong>1番目&lt;/strong>の数字の、小数点以下&lt;strong>1桁目&lt;/strong>を見る（上の例なら $3$）。それに $1$ を足した数を、$X$ の1桁目にする（$3+1=4$）。&lt;/li>
&lt;li>リストの&lt;strong>2番目&lt;/strong>の数字の、小数点以下&lt;strong>2桁目&lt;/strong>を見る（上の例なら $0$）。それに $1$ を足した数を、$X$ の2桁目にする（$0+1=1$）。&lt;/li>
&lt;li>リストの&lt;strong>3番目&lt;/strong>の数字の、小数点以下&lt;strong>3桁目&lt;/strong>を見る（上の例なら $1$）。それに $1$ を足した数を、$X$ の3桁目にする（$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;/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;/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;/p>
&lt;p>その結果導き出されたのが、かの有名な**「ゲーデルの不完全性定理」**です。
「どんなに厳密に数学のルールを作っても、そのルールの中には『証明も反証もできない真理』が必ず発生してしまう（数学は不完全である）」という、人類の知の限界を証明する大発見でした。&lt;/p>
&lt;p>リシャールのパラドックスは、単なる矛盾した言葉遊びから始まり、やがて数学という学問そのものの「絶対性」を打ち砕くための最強の武器へと進化したのです。&lt;/p></description></item></channel></rss>