An Intuitionistic Glance at Primes

あなたは、膨大な数字の山を「単元（The Unit）」、「素数（The Primes）」、「合成数（The Composites）」という3つの異なる箱に仕分けようとしている探偵だと想像してください。ほとんどの人はこれを単なる数学のゲームだと考えていますが、2026年7月にミラン・ロスコ（Milan Rosko）によって書かれたこの論文は、より深い問いを投げかけています。「単に推測するのではなく、ある数字が特定の箱に属することを、私たちは実際にどのように証明するのか？」

この論文は、「直観主義論理（直観主義的論理）」の世界（「なんとなく正しい」と言うのではなく、必ずその根拠を示す必要がある厳格な思考スタイル）においては、ある数字が「合成数」であることを証明する方法は、「素数」であることを証明する方法とは全く異なるのだと主張しています。

2つの探偵スタイル：発見か、それとも全件調査か

数字の「6」について考えてみましょう。それが「合成数」であることを証明するには、単に、それを作る掛け合わせのペアを一つ見つければよいのです。あなたは「これだ！2かける3は6だ！」と叫びます。あなたは「ポジティブな証人（positive witness）」を見つけたのです。証拠を見つけたのです。これは「存在論的（existential）」な探索と呼ばれます。それは失くした鍵を見つけるようなものです。一度見つけてしまえば、仕事は完了です。

次に、「5」を見てみましょう。それが「素数」であることを証明するには、単に「友達（因数）」を見つけるだけでは不十分です。他の数字（1とその数自身以外）との組み合わせが「存在しない」ことを証明しなければなりません。あり得るすべての数字のペアをすべてチェックし、そのどれもが機能しないことを示さなければならないのです。あなたは全件調査を行う必要があります。論文ではこれを「有界な反駁（bounded refutation）」と呼んでいます。あなたは、内部的な因数分解の「欠如」を示すことによって、素数を証明しているのです。

大きな発見： この論文は、あなたがどの数字を選んだとしても、それがどの箱に入るかを常に決定できることを証明しています。推測する必要はありません。有限の探索を実行するだけです。もし因数のペアが見つかれば、それは合成数です。もしその数までのあらゆる可能なペアをチェックして何も見つからなければ、それは素数です。「単元（1）」は、どちらの箱にも当てはまらない特別なケースです。

「キャッチャー」ゲームとふるい

論文では、「有限のキャッチャー（Finite Catcher）」と呼ばれる楽しいゲームを紹介しています。いくつかの特定の数字（例えば2と3）で作られた網を想像してください。合成数をその網に投げ込みます。もしその数が2と3で作られているなら（例：6や12）、網はそれを捕らえます。しかし、もし「25」のような数字を投げたらどうなるでしょうか？網は外れてしまいます！なぜなら、25は5で作られており、あなたの網には5が入っていないからです。

論文は、「ユークリッド的脱出（Euclidean Escape）」と呼ばれる巧妙なトリックを紹介しています。どんなに大きな網を作ったとしても、その穴をすり抜けてしまう数字を常に構築することができます。これは、有限の網で全ての合成数を捕まえることは不可能であることを証明しています。

では、どうすればそれらをすべて捕まえられるのでしょうか？論文は「再帰的ふるい（Recursive Sieve）」という手法を説明しています。

1. 空の網を用意する。
2. 数字を投げ込む。最初に「生き残った（すり抜けた）」数字は 2 です。
3. 2が生き残ったので、2は素数であることがわかります。そこで、2を私たちの網に追加します。
4. 次に、新しい網（2の倍数を捕まえる網）に数字を投げます。次に生き残ったのは 3 です。3を網に追加します。
5. これを繰り返します。次に生き残るのは 5、次に 7 と続いていきます。

このプロセスによって、素数のリストが一つずつ構築されていきます。論文は、最初の $k$ 個の素数で作られた網を常にすり抜ける最初の合成数は、次の素数の平方（例：$5^2 = 25$）であることを証明しています。

論文が否定していること（「ノーゴー・ゾーン」）

この論文は、自らが主張しないことについても非常に慎重です。

• 「素数ではない」ことが、数字の「1」に対して自動的に「合成数」を意味するという考えを否定しています。 この厳格な論理において、1は独自の特別なカテゴリーです。「それは素数ではないのだから、合成数に違いない」と言うことはできません。それはどちらでもありません。
• あらゆる数学的真理を即座に決定できる、たった一つの「完璧なユニバーサル・マシン」が存在するという考えに異議を唱えています。 論文は、ライスの定理（Rice's Theorem） という有名な結果を用いて、特定の数字（「25は合成数か？」など）をチェックすることはできても、コードを見るだけで「あらゆる可能な数字のパターン（例：『無限に多くの双子素数が存在するのか？』など）の真偽を決定する」単一のマシンを構築することはできないことを示しています。
• ある数学体系の中で数字が素数であることを証明することと、私たちが現実世界で使う「実数」と一致することを証明することは別物である、という考えを退けています。 論文は、ゲームの「ルール（構文/syntax）」と、ゲームの「意味（意味論/semantics）」を区別しています。コンピュータはルールを完璧に実行してある数字が素数であることを証明できますが、それだけで、コンピュータが現実世界の「素数」の意味を理解していることにはなりません。それには、さらなる解釈のステップが必要なのです。

私たちはどの程度確信できるのか？

この論文は、単なるシミュレーションや示唆ではなく、数学的に証明されています。

• 数字の分類（1、素数、合成数）は**決定可能（decidable）**です。これは、どのような数字を入力しても必ず正しい答えを出す、保証されたステップ・バイ・ステップのレシピが存在することを意味します。
• 「ふるい」の手法は**構成的（constructive）**です。単に「素数が存在する」と言っているのではなく、どのようにして素数を一つずつ構築していくかを具体的に示しています。
• 論文が議論している限界（ユニバーサル・マシンが全てのパターンを決定できないことなど）は、確立された論理（ゲーデルの不完全性定理やライスの定理）に基づいた厳密な証明です。

素数の「ミラージュ（蜃気楼）」

論文は美しい比喩で締めくくられています。合成数は、数字を掛け合わせることで作られる「堅固な壁」のようなものです。そして素数は、その壁にある「穴」なのです。

• 合成数は、それをつなぎとめている「レンガ（因数）」が見えるため、簡単に見つけることができます。
• 素数は、それが「何ではないか」によって定義されます。それは、どのレンガも適合しない「穴」なのです。

論文はこう結論づけています。個々の穴が本当に穴であるかどうかをチェックすることは容易ですが（探索が有限であるため）、それら全ての穴が描く「パターン」は謎なのです。私たちは壁の小さな断片を検証することはできますが、穴がどこにあるかという無限のパターンは、単一の単純なルールでは捉えきれない「ミラージュ（蜃気楼）」であり続けているのです。

要するに、私たちは個々の数字を照らし出すための完璧で実用的な懐中電灯を持っています。しかし、数字という無限の森全体の地図については、全く別の物語があり、この論文は、私たちの懐中電灯で証明できることと、美しくも証明されない謎として残るものとの境界線を明確に引いているのです。