不完全性定理で「有理数か無理数か判定不能な定数」は存在するのか｜理論的限界と実在例の解説

数学基礎論や計算理論に触れると、「ある定数が有理数か無理数かすら判定できない可能性はあるのか？」という疑問が生じることがあります。本記事では、不完全性定理や計算可能性の観点から、この問いがどのように扱われるのかを整理します。

まず「判定できない定数」とは何か

ここでいう「判定できない定数」とは、その値が有理数か無理数かを証明できないような実数を指します。

ただしこれは「値が分からない数」ではなく、「ある体系（公理系）内で性質が証明できない数」という意味です。

重要なのは、存在そのものではなく“証明可能性”の問題だという点です。

ゲーデルの不完全性定理は「十分に強い形式体系では、真であっても証明できない命題が存在する」ことを示します。

しかしこれは主に自然数論や形式的命題に関するものであり、直接的に「実数の性質」を扱うものではありません。

そのため、不完全性定理だけから「有理数かどうかが決定不能な定数」が自動的に出るわけではありません。

実数には「計算可能な数」と「計算不能な数」が存在します。

例えば円周率やeは計算可能ですが、ほとんどの実数は非計算可能であり、その多くは性質の判定も困難です。

しかし、非計算可能だからといって「有理か無理かが証明不能」とは限りません。

現在の数学では、「特定の公理系のもとで有理性が証明不能な具体的定数」が明確に知られているわけではありません。

ただし、集合論や論理学の枠組みでは、ある性質が独立命題になる例は多数存在します。

そのため、理論的には“作りうる可能性”はありますが、自然な定数としては確認されていません。

結論として、そのような定数は論理的には排除されていません。

特定の公理系に依存する形で「有理か無理かが決定不能な数」が構成される可能性はあります。

ただしそれは非常に人工的な構成に限られ、通常の数学的定数とは性質が異なります。

不完全性定理は「真でも証明できない命題の存在」を示しますが、それが直接「有理・無理の判定不能な定数」を意味するわけではありません。

現在知られている自然な定数でそのような例はなく、主に理論上の可能性の問題です。

数学的には“あり得るが未確認かつ構成的”という位置づけになります。