<?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/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6/</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 11:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6/index.xml" rel="self" type="application/rss+xml"/><item><title>ベリーのパラドックス：「言葉」で「数字」を定義しようとすると生じる矛盾</title><link>http://kenji.blog/p/berry-paradox/</link><pubDate>Thu, 10 Sep 2026 11:00:00 +0900</pubDate><guid>http://kenji.blog/p/berry-paradox/</guid><description>&lt;img src="http://kenji.blog/p/berry-paradox/img/berry_paradox.jpg" alt="Featured image of post ベリーのパラドックス：「言葉」で「数字」を定義しようとすると生じる矛盾" />&lt;h2 id="1-言葉で数字を表す">1. 言葉で数字を表す
&lt;/h2>&lt;p>私たちは日常的に、数字を「アラビア数字（1, 2, 3&amp;hellip;）」だけでなく、「言葉（日本語や英語）」を使って表現しています。&lt;/p>
&lt;p>たとえば、「$10$」という数字は、次のように色々な言葉で表すことができます。&lt;/p>
&lt;ul>
&lt;li>「じゅう」（3文字）&lt;/li>
&lt;li>「ごの2ばい」（5文字）&lt;/li>
&lt;li>「ひゃくの10ぶんの1」（9文字）&lt;/li>
&lt;/ul>
&lt;p>このように、ある数字を「日本語の文字」を使って説明することを考えてみましょう。
使える文字の数には制限を設けます。ここでは**「19文字以内」**の日本語で表現できる数字について考えます。&lt;/p>
&lt;p>当然ですが、19文字以内で表現できる数字には&lt;strong>限界&lt;/strong>があります。
日本語の文字（ひらがな、カタカナ、漢字など）の種類は有限ですし、それを19文字以下で並べる組み合わせも有限だからです（天文学的な数にはなりますが、無限ではありません）。&lt;/p>
&lt;p>つまり、**「19文字以内の日本語では、どうしても表現しきれない巨大な整数」**が必ず存在することになります。&lt;/p>
&lt;hr>
&lt;h2 id="2-パラドックスの誕生">2. パラドックスの誕生
&lt;/h2>&lt;p>さて、ここからが本題です。
「19文字以内の日本語では表現できない整数」は無数に存在します。
その無数にある表現不可能な数の中から、**「一番小さいもの（最小の整数）」**を一つ見つけ出してきたとしましょう。&lt;/p>
&lt;p>その数字を $X$ とします。
$X$ は、定義上「19文字以内の日本語では表せない数」の中で一番小さいものですから、次のように呼ぶことができます。&lt;/p>
&lt;p>&lt;strong>「じゅうきゅうもじいないであらわせないさいしょうのせいすう」&lt;/strong>&lt;/p>
&lt;p>文字数を数えてみましょう。
「じゅ・う・きゅ・う・も・じ・い・な・い・で・あ・ら・わ・せ・な・い・さ・い・しょ・う・の・せ・い・す・う」
…おや？ 読点を抜いても25文字ありますね。
これでは「19文字」を超えてしまっています。&lt;/p>
&lt;p>では、少し表現を工夫して、漢字を使って短くしてみましょう。&lt;/p>
&lt;p>&lt;strong>「十九文字以内で表せない最小の整数」&lt;/strong>&lt;/p>
&lt;p>さて、この日本語の文字数を数えてみてください。&lt;/p>
&lt;ol>
&lt;li>十&lt;/li>
&lt;li>九&lt;/li>
&lt;li>文&lt;/li>
&lt;li>字&lt;/li>
&lt;li>以&lt;/li>
&lt;li>内&lt;/li>
&lt;li>で&lt;/li>
&lt;li>表&lt;/li>
&lt;li>せ&lt;/li>
&lt;li>な&lt;/li>
&lt;li>い&lt;/li>
&lt;li>最&lt;/li>
&lt;li>小&lt;/li>
&lt;li>の&lt;/li>
&lt;li>整&lt;/li>
&lt;li>数&lt;/li>
&lt;/ol>
&lt;p>なんと、**たったの「16文字」**です。&lt;/p>
&lt;p>おかしなことになりました。
私たちは今、$X$ という数字を**「十九文字以内で表せない最小の整数」という「16文字の日本語」を使って表現してしまった**のです！&lt;/p>
&lt;div class="mermaid">graph TD
Define["定義：&lt;br>X = 19文字以内で表せない最小の整数"] --> CheckLength{"『十九文字以内で表せない最小の整数』&lt;br>の文字数は？"}
CheckLength -->|16文字である| Contradiction["矛盾！&lt;br>X は『16文字』で表せてしまった！"]
Contradiction --> Paradox["X は『19文字以内で表せない』のに&lt;br>『19文字以内（16文字）で表せる』"]
style Contradiction fill:#ff9999,stroke:#333
style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>$X$ は「19文字以内で表せない」はずの数字なのに、まさにその定義の言葉自体が「16文字（19文字以内）」で $X$ を完璧に表現してしまっています。
これが**「ベリーのパラドックス（Berry Paradox）」**です。&lt;/p>
&lt;hr>
&lt;h2 id="3-誰がこのパラドックスを作ったのか">3. 誰がこのパラドックスを作ったのか？
&lt;/h2>&lt;p>このパラドックスは、1904年にオックスフォード大学の図書館員であった&lt;strong>G.G. ベリー&lt;/strong>（G. G. Berry）という人物が考案しました。
それを、20世紀を代表する天才数学者・哲学者である&lt;strong>バートランド・ラッセル&lt;/strong>が自身の論文の中で紹介したことで、世界中に広まりました。&lt;/p>
&lt;p>（※英語の原論文では &amp;ldquo;The least integer not nameable in fewer than nineteen syllables&amp;rdquo;（19音節未満で名付けられない最小の整数）という表現が使われており、英語の音節数でパラドックスが成立するように作られています。）&lt;/p>
&lt;hr>
&lt;h2 id="4-なぜ矛盾が起きたのか">4. なぜ矛盾が起きたのか？
&lt;/h2>&lt;p>このパラドックスの根本的な原因は、私たちが普段使っている「自然言語（日本語や英語など）」の持つ&lt;strong>曖昧さ&lt;/strong>と&lt;strong>自己言及性&lt;/strong>にあります。&lt;/p>
&lt;h3 id="自然言語は数学の厳密さに耐えられない">自然言語は数学の厳密さに耐えられない
&lt;/h3>&lt;p>数学の世界において、「数字を定義する」というのは非常に厳密な作業です（方程式や記号を使います）。
しかし、ベリーのパラドックスでは、数学的な対象（整数）を、「表せる」「表せない」という人間の&lt;strong>日常言語&lt;/strong>を使って定義しようとしました。&lt;/p>
&lt;p>日常言語は非常に強力で柔軟ですが、その柔軟さゆえに「自分自身の文字数について言及する」といったアクロバティックなことができてしまいます。
その結果、「定義そのものが、定義のルールを破る」という自己矛盾（自己言及のパラドックス）を引き起こしてしまったのです。&lt;/p>
&lt;h3 id="名付けられるとはどういうことか">「名付けられる」とはどういうことか？
&lt;/h3>&lt;p>また、「16文字で表せる」という言葉の定義も曖昧です。
「19文字以内で表せない最小の整数」というフレーズは、特定の具体的な数字（例えば $987654321...$ のような数）を&lt;strong>直接指し示しているわけではありません&lt;/strong>。
単に「条件を満たす数字があるはずだ」と&lt;strong>間接的に記述しているだけ&lt;/strong>です。&lt;/p>
&lt;p>数学的には、「直接的に計算可能な形で表現すること」と、「間接的な条件を言葉で述べること」は明確に区別されなければなりません。この2つを混同して「16文字で表現できた！」と言い張っているところに、論理的なトリックが隠されています。&lt;/p>
&lt;hr>
&lt;h2 id="5-まとめと現代への影響">5. まとめと現代への影響
&lt;/h2>&lt;p>ベリーのパラドックスは、一見するとただの「言葉遊び」や「トンチ」のように思えます。
しかし、この問題は20世紀の数学者たちに**「日常言語を使って数学の基礎を築くことの危険性」**を深く認識させるきっかけとなりました。&lt;/p>
&lt;p>「言葉で数字を定義してはいけない。数学は完全に独立した厳密な記号だけで構築しなければならない」&lt;/p>
&lt;p>このパラドックスは、後の数学の歴史を変える「ゲーデルの不完全性定理（数学には絶対に証明できない真理が存在する）」や、コンピュータ科学における「コルモゴロフ複雑性（情報をどれだけ短く圧縮できるかという理論）」など、最先端の学問へと繋がっていく重要な道標となったのです。&lt;/p>
&lt;p>たった16文字の日本語が、数学の限界を暴き出した。それがベリーのパラドックスの美しさです。&lt;/p></description></item></channel></rss>