コラッツを追っていたら、最後に人間の方が分からなくなった（確信）

最初に見ていたものは、もっと単純だった。

コラッツ予想。

正の整数を一つ取る。偶数なら2で割る。奇数なら3倍して1を足す。また同じことをする。

操作そのものには、ほとんど難しいところがない。

数字を一つ選べば計算できる。

3なら、

3 → 10 → 5 → 16 → 8 → 4 → 2 → 1

と進む。

27ならずいぶん遠くまで暴れる。

それでも計算そのものはできる。

だから最初にコラッツを見たとき、そこにあるのは「難しい数学」というより、妙な反復だった。

単純な操作なのに、軌道が複雑になる。

それなのに、観測する限りでは1へ戻ってくる。

じゃあ、これはどういう構造なんだろう。

そこからいろいろな場所を見た。

奇数だけを抜き出してみる。

2で何回割れるかを見る。

合同類で切る。

軌道の履歴を見る。

停止時間を見る。

上昇と下降を見る。

2進的な表現へ移す。

ある表現で閉じなければ、別の表現へ移る。

問いを変える。

観測する場所を変える。

すると、そのたびに何かが見える。

一つの表現では見えなかった規則が、別の表現では綺麗に現れる。

しかし、その規則を追っていくと、またどこかで閉じなくなる。

そこでさらに別の切り方をする。

また構造が現れる。

また閉じなくなる。

これをかなり長く繰り返した。

そうすると、だんだん妙な感じがしてきた。

コラッツには構造がないのではない。

むしろ逆だった。

構造はいくらでも出てくる。

観測断面を変えるたびに、違う規則性が現れる。

それぞれは嘘ではない。

その断面では確かに成立している。

だから新しい構造を一個発見しただけでは、問題全体が閉じるとは限らない。

では大量の局所構造の中から重要な点を拾い、その点同士を拘束できないか。

全部の構造を縛る必要はない。

全体を拘束する支点だけ見つければいいのではないか。

そんな方向にも進んだ。

しかし、そこでも最後に困った。

局所構造はいくつもある。

有限の範囲ではかなり強いことも言える。

それらを「無限へ進もうとしたときに残る残渣」のようなものとして見ることもできそうだった。

けれど、それら全部が本当に同じ原理から発生していると言うには根拠が足りない。

共通する何かがありそうだ、という観測モデルは作れる。

しかし、それを数学的事実として固定する柱がない。

ここで一度、コラッツの内部を掘るのをやめた。

そして別のものが気になった。

そもそも、何を閉じようとしているんだ。

任意の一つの整数を取れば、その軌道は計算できる。

有限時間で1へ着けば、

「この整数は1へ着いた」

という観測は閉じる。

次の整数も調べられる。

その次も調べられる。

有限個なら、有限個について確認できる。

ところがコラッツ予想が要求しているのは、それではない。

すべての正整数について1へ到達することを保証しろ。

ここで急に「無限」が入ってくる。

どれだけ計算しても有限だ。

100個調べても有限。

10億個でも有限。

途方もない高さまで計算機で確認しても有限。

その先には必ず未観測領域が残る。

だから数学は証明を要求する。

ここまでは普通の数学の話だった。

でも、そこで変な疑問が出た。

誰が全部を要求したんだ。

もちろん現在のコラッツ予想は最初から全称命題として定義されている。

「すべての正整数について」というのは、現在の問題そのものだ。

だから数学者が後から勝手に条件を追加した、という話ではない。

でも、それならさらに戻ればいい。

その問題は、いつその形になったんだ。

そこでコラッツの歴史を調べ始めた。

すると、現在の綺麗な問題文から想像するより、始まりはずっと曖昧だった。

Jeffrey Lagariasによる歴史調査では、3x+1問題の正確な起源そのものがはっきりしていない。

Lothar Collatzは1920年代末から、数論関数を反復したとき何が起きるのかに興味を持っていた。グラフ理論にも関心を持ち、数論関数を有向グラフとして眺め、その軌道やサイクルを見るようになった。

1932年7月1日のノートには、現在の3x+1写像とは別の関数についての問題が残っている。

そこでCollatzが聞いていたことの一つは、ある置換で8を含むサイクルが有限なのか無限なのか、というものだった。

つまり、出発点に見えるのは、

「すべての自然数についてこの命題を証明せよ」

ではない。

もっと素朴に、

この反復は何をするんだ。
この軌道はどこへ行くんだ。
有限なのか、無限なのか。

という問いだった。Lagariasはこれを “original Collatz problem” と呼んでいる。

Collatzはこうした反復問題を論文として発表しなかった。

本人の1986年の回想によれば、解けなかったため出版せず、講演などで広めたという。1950年の国際数学者会議でも反復問題を人々に紹介し、3x+1問題については1952年にHamburgでHelmut Hasseへ話したとされる。

つまり問題はしばらく論文ではなく、人から人へ動いていた。

Hasseの名前が付いたり、Syracuse problemと呼ばれたり、KakutaniやUlamの名前と結び付いたりした。

「誰の問題なのか」すら揺れていた。

それでも計算は進んでいた。

1960年代にはすでに大規模な計算が行われ、非常に広い有限範囲について予想が成立することが確認されていた。

しかし、それで問題は終わらなかった。

そして1970年。

H. S. M. Coxeterが講演で3x+1問題を紹介する。

その講演の出版版が1971年に出る。

Lagariasによれば、これが3x+1問題が印刷物に現れた最初の確認例とされている。

面白いのはCoxeterの呼び方だった。

彼はこの問題を、厳粛な巨大数学問題としてではなく、

“a more recent piece of mathematical gossip”

――最近の数学界の噂話、くらいの感じで紹介している。

ところが、その直後にはもう予想が置かれている。

真なら証明を。

偽なら反例を。

Coxeterは真である証明には50ドル、反例には100ドルの賞金を提示した。

しかも、その時点ですでに50万以下について電子計算機で検査されていたと記している。

ここで妙なものが見えた。

50万まで成立している。

だったら、

「50万まで成立していた」

という観測については閉じている。

でも人間はそこで止まらなかった。

次に出てきた問いは、

「じゃあ全部は？」

だった。

1972年になると複数の出版物で3x+1問題が扱われ、Martin GardnerがScientific Americanで紹介する。

Gardnerの記事の副題も象徴的だった。

「述べるのは簡単だが、解くのはまったく簡単ではない問題」。

ここから現在まで続く「難問としてのコラッツ」の姿がかなりはっきりしてくる。

ただ、歴史を追っても、

「この人が、この日に、“全自然数を保証しなければならない”と決めた」

という瞬間は出てこなかった。

むしろ、

反復を見ていた。

同じような振る舞いが何度も出た。

もっと計算した。

やっぱり出た。

人から人へ問題が渡った。

「これ、いつでもそうなんじゃないか」

という問いが残った。

そしてその問いが数学的に表現されると、

すべての正整数 n について

という全称命題になる。

その形が出版され、名前が付き、研究され、後の世代へ渡る。

すると後の人間にとっては、それが最初から「コラッツ予想」になる。

ここで最初の違和感が少し変わった。

「誰が全部を要求したんだ」

ではなく、

「なぜ人間は“全部”へ行ったんだ」

になった。

これはコラッツだけの癖なのか。

横に走ってみた。

すると全然違った。

少なくとも古代ギリシャ数学まで行けば、個別の例ではなく「すべての場合に成り立つ」ことを重視する考えはすでに明確に存在している。

アリストテレスの『分析論後書』では、科学的な論証を考える中で “of every” や “universal” が区別され、数学が主要な例として使われている。

ある性質が、この一個、この二個、この三個に成り立つだけではなく、対象の種類そのものに普遍的に成り立つことが重要になる。

ユークリッド的な公理体系では、定義、公準、共通概念から命題を導き、その命題を次の論証で使うという構造が強くなる。

一度証明されたものを毎回最初から問い直さない。

それを使って先へ進む。

ここで、別のものが見えた。

人間の知識は、

理解を積み上げている

と普通は言う。

でも、別の見方もできる。

未確定なものがある。

観測する。

規則らしきものを見つける。

説明する。

定義する。

分類する。

証明する。

ある表現の内部で閉じる。

十分安定して使えるようになる。

すると、それは次の人間にとって前提になる。

そして、その前提の上から次の未確定を見る。

つまり、

未確定 → 表現 → 閉鎖 → 前提化 → 新しい未確定

という動きでも記述できる。

ここでさらに違和感が出た。

閉じることは、理解することなのか。

定理を証明した。

だから、その定理は使える。

次の証明で使える。

毎回根底まで戻らなくていい。

でも、それは「対象そのものを理解した」ことと同じなのか。

むしろ、

問い直さなくても先へ進める足場を獲得した

と見ることもできる。

そして足場になった瞬間、奇妙な変化が起こる。

最初は、

「なぜ？」

だった。

答えを作る。

表現になる。

閉じる。

使われる。

前提になる。

次の世代は、その前提から始める。

すると、

昔の「なぜ？」が、今の「当然」になる。

ここで最初に「哲学だな」という言葉が出た。

でも、それにも違和感が出た。

哲学という既存の分類に入った、と言ってしまうと、またすでに出来上がった表現を前提にしてしまう。

もっと素朴だったはずだ。

なんで？

ただそれだけだったのではないか。

なぜ全部を証明したい。

なぜ証明すると分かったことになる。

なぜ規則を見つけたい。

なぜ説明を作る。

なぜその説明を次の前提にしていい。

「理解した」とは何をした状態なのか。

そうすると、哲学を新しい知識体系として追加するより、

当然になったものを逆向きに剥がす

方が近く見えた。

当然。

その下に前提がある。

その前提は、以前は答えだった。

その答えの下には問いがある。

だから逆向きに、

当然 → 前提 → かつての答え → 元の問い

と戻る。

コラッツでも同じことをした。

現在の前提は、

「すべての正整数について証明するのがコラッツ問題である」。

そこから逆向きに剥がした。

なぜ全部なのか。

いつ全部になったのか。

最初は何を見ていたのか。

すると、反復する関数を見ながら、

「これどうなるんだ？」

と考えていたところまで戻った。

ここで「意味を求める」という言葉も疑い始めた。

人間は意味を求めている、と言うと曖昧すぎる。

実際に何をしているのかを見る。

説明を求める。

理由を求める。

規則を求める。

予測可能性を求める。

保証を求める。

閉鎖を求める。

すると、

意味を求める

という行為を、

閉じる表現を求め続ける

という運動として観測できるのではないか、というモデルが出た。

ただし、これは事実ではない。

今の探索から出てきた見方だ。

そして、この見方を置いた瞬間、また一つ問題が出る。

閉じる表現を獲得したとしても、

理解したとは限らない。

閉じた表現は、使える。

だから前提になる。

前提になるから、その上に新しい問いを作れる。

人間の知識は、

理解の蓄積

というより、

閉じた表現の前提化 → その上で次の未確定を開く

という積層運動なのではないか。

ここまで来ると、コラッツの話はほとんど消えているように見える。

でも実際には消えていない。

ずっとコラッツから出てきている。

なぜなら、コラッツで何度も経験したのが、

有限では閉じるのに、無限を要求した瞬間にまた開く

という現象だったからだ。

一つのnについては計算できる。

有限個のnについても計算できる。

ある合同類について部分的なことを言える。

ある統計的性質も言える。

ある表現の中で構造も見える。

そのたびに一部は閉じる。

しかし、

「では、すべては？」

を入れるとまた開く。

そこで別の表現を作る。

また閉じる。

さらに「全部」を要求する。

また開く。

だから、

有限観測 → 閉じる → 無限保証を要求する → 開く → 新しい表現 → 一部が閉じる → 再び無限保証を要求する

という循環が見えてきた。

ここで「無限への保証って何だ」という問いが出た。

人間は無限時間を生きられない。

無限個の自然数を一つずつ確認することもできない。

実際に確認できるのは有限だ。

では数学は、どうやって無限について保証するのか。

無限個を観測するのではない。

有限な記号を使う。

有限な定義を置く。

有限な公理を置く。

有限な推論を行う。

有限長の証明を書く。

そして、

「すべてのnについてP(n)」

を導く。

つまり人間が直接確認しているものは最後まで有限だ。

証明列そのものは有限時間で読める。

有限な記号列として検査できる。

しかし、その証明が指している命題は無限個の対象について語っている。

そこでまた問いが変わった。

有限な証明によって無限を保証するとは、何をしているんだ。

無限そのものを確認したのではない。

無限についての主張を、有限に検証可能な形式へ変換した。

それを形式体系の内部で導出した。

だったら、

閉じたのは無限そのものなのか。

それとも、

無限についての問いを表現した有限な構造なのか。

ここで「それもう別の事象じゃないか」という違和感が出た。

これは数学的証明を否定する話ではない。

数学内部では証明は正当に機能する。

帰納法によって無限個の自然数について命題を証明できる。

一つずつ無限回確認する必要はない。

それこそ数学の強さでもある。

だから、

「有限しか観測できないから数学的証明は無効だ」

とはならない。

問題はそこではない。

数学的保証は、何を保証しているのか。

という問いになった。

そして、これも数学史の中で完全に無関係な問いではなかった。

20世紀初頭、Hilbertは数学を公理的に形式化し、その体系の無矛盾性を有限的な方法で保証するという巨大な構想を進めた。

無限を含む古典数学をそのまま捨てるのではなく、その「理想的」な数学が有限的に信頼できることを、有限的な立場から保証しようとした。

Hilbertのプログラムでは、数学そのものを形式化し、その整合性を finitary methods――有限的な方法――によって支えることが目指された。

ここで、今コラッツから出てきた問いと妙な接点ができる。

有限なものによって、無限を含む体系をどう保証するのか。

これは俺たちが勝手に2026年に思いついただけの違和感ではなく、数学基礎論が実際に格闘してきた問題の一つでもあった。

そしてGödelが現れる。

十分強い無矛盾な形式体系には、その体系内では証明できない命題が存在する。

さらに一定の条件のもとで、その体系自身の無矛盾性をその体系内部だけで証明することはできない。

これによってHilbertの当初のプログラムは、そのままの形では達成できないと一般に理解されるようになった。もっとも、そこから証明論は終わったのではなく、相対化されたHilbert programやGentzen以降の証明論へ発展していく。

だからここでも、

「人間は無限を有限で閉じ込めようとして失敗した」

と単純化するのは違う。

数学はそんな単純な話ではない。

ただ、少なくとも、

有限な手段によって、どこまで数学的体系を保証できるのか

という境界そのものが、数学内部ですでに問題になっていた。

すると最初の疑問、

「それは数学なのか」

にも変な答えが返ってくる。

途中までは完全に数学だ。

でも、

「その数学的保証によって、対象そのものを理解したと言えるのか」

と聞いた瞬間、観測対象が変わる。

コラッツを数学で見るのではなく、

コラッツを見ている数学を見る。

さらに、

数学を使っている人間を見る。

ここでHumeの帰納の問題にも横からぶつかった。

人間は、観測した事例から未観測の事例へ規則を延長する。

昨日まで太陽が昇った。

だから明日も昇るだろう。

これまで観測したAがBだった。

だから次のAもBだろう。

しかし「観測していないものも観測したものと似る」という原理そのものを、経験によって証明しようとすると循環する。

Humeが突いたのは、この観測済みから未観測への飛躍だった。

もちろん数学的証明と経験的帰納は同じではない。

そこを混ぜてはいけない。

数学では、定義された体系と推論規則のもとで全称命題を演繹的に証明できる。

だから、

「コラッツを大量計算して全部そうだと思う」

ことと、

「コラッツを数学的に証明する」

ことは別物だ。

でも、そのさらに前、

なぜ人間は個別の反復の中に共通性を見つけると、“全部を束ねる何か”を探し始めるのか

というところでは、帰納の問題と同じ地面が少し見える。

ここで一度、かなり言い過ぎた。

人間は規則を見つけることで「全能化」しようとしているのではないか、と。

さすがに強すぎる。

だから戻した。

もっと弱く言えばいい。

人間は規則を獲得すると、

直接観測していない領域まで予測し、操作し、推論できる。

これは人間の巨大な能力だ。

毎回すべてを最初から観測しなくていい。

「この条件ならこうなる」という規則があれば、未観測領域についても行動できる。

科学も工学も日常生活も、それなしにはほとんど成立しない。

だから一般化は悪いことではない。

問題は別のところにある。

扱えるようになったことと、理解したことを同一視していないか。

予測できる。

計算できる。

操作できる。

証明できる。

分類できる。

名前を付けられる。

それぞれ強力だ。

でも、

「分かった」

という一語が、それら全部を包んでしまう。

ここでまたコラッツへ戻る。

コラッツでは、この差が妙に露出する。

大量に計算できる。

部分的な定理もある。

統計的な振る舞いも研究されている。

多くの数学的表現がある。

それでも、

すべての正整数について最終的に1へ到達する

という命題は閉じていない。

だからコラッツは、

規則が見えること
と
全体を保証すること

の差を消してくれない。

何度表現を変えても、最後に「全部」が残る。

そこで、もっと根本へ戻った。

数学は何をしているんだ。

最初は数を数える。

ものが一つ。

二つ。

三つ。

数で表現する。

数同士の関係を見る。

足す。

引く。

掛ける。

割る。

順序を見る。

形を見る。

変化を見る。

規則を作る。

やがて負の数を扱う。

無理数を扱う。

複素数を扱う。

無限を扱う。

極限を扱う。

空間を扱う。

確率を扱う。

抽象的な構造を扱う。

構造同士の写像を扱う。

そしてついには、

数学という形式体系そのものを数学で扱う。

表現領域がどんどん拡大していく。

人間が直接見ることのできない対象まで、記号によって操作可能になる。

無限そのものを目で見ることはできない。

でも、

∀n

という記号を置ける。

極限を定義できる。

無限集合を扱える。

超限的な対象まで理論化できる。

これは途方もなく強い。

では、数学はどこまでその表現を拡大するつもりなのか。

たぶん、この問いには「ここまで」という終点はない。

新しい表現を作る。

その表現によって新しい関係が見える。

その関係自体を対象にする。

また新しい数学ができる。

すると数学は、

世界についての完成した説明を作る作業

というより、

人間が扱える対象領域を表現によって延長し続ける運動

として見ることもできる。

もちろん、これも今ここで作っているモデルであって、数学の定義ではない。

でも、この見方に立つと「無限」が急に象徴的になる。

無限は観測できない。

少なくとも、人間が有限時間を生き、有限回の操作しかできないという意味では、無限個の事象を一つずつ完了して観測することはできない。

そこで数学は、

無限を有限な表現によって扱える対象にする。

ここにものすごい発明がある。

同時に、最初の違和感も戻ってくる。

扱えるようになった無限と、無限そのものは同じなのか。

これはまだ分からない。

そもそも「無限そのもの」という言葉が何を指しているのかも慎重に扱う必要がある。

数学的対象をプラトン的な実在として考えるのか。

形式体系の内部の対象として考えるのか。

構成可能なものだけを認めるのか。

そこには数学の哲学の長い議論がある。

だからここで勝手に決める必要はない。

むしろ決めた瞬間、また一つ「閉じた表現」を作ってしまう。

だから最後まで残ったのは答えではなかった。

最初はコラッツの軌道を見ていた。

次に局所構造を見た。

次に有限と無限の境界を見た。

そこで「全部」という言葉が気になった。

「全部」はどこから来たのかを調べた。

Collatz本人まで戻った。

反復関数を見るという、もっと素朴なところが見えた。

問題が人から人へ移動するうちに、全称命題として固定されていく歴史が見えた。

そこでコラッツだけではなく数学史へ横に走った。

一般化すること、普遍的に証明することははるか昔から数学の中心にあった。

さらに公理化へ進んだ。

有限的な保証によって数学体系を支えようとしたHilbertへ行った。

その限界を示したGödelへ行った。

観測から未観測へ規則を延ばすことを疑ったHumeにもぶつかった。

そしてまた現在へ戻ってきた。

すると最初とは観測対象が変わっていた。

最初は、

コラッツはなぜ閉じないのか。

だった。

途中から、

なぜ数学はコラッツを閉じようとするのか。

になった。

さらに、

数学にとって「閉じる」とは何なのか。

になった。

そこから、

閉じることを人間はなぜ「理解」と呼ぶのか。

になった。

そして今は、

人間は何をしているんだ。

まで戻っている。

規則を見つける。

表現する。

閉じる。

使う。

前提にする。

その前提から新しいものを見る。

また規則を見つける。

また表現する。

また閉じる。

その運動によって、人間が扱える領域は広がってきた。

だから、

人間は世界を理解してきた

という普通の表現を、少しだけ保留してみる。

もしかすると、

人間は世界について「閉じる表現」を獲得し、それを前提へ変換することで、次の未確定へ進み続けてきた

とも記述できるかもしれない。

でも、これもまだ閉じない。

本当にそうなのかは分からない。

規則を発見することが単なる人間側の表現生成なのか、それとも世界に実在する構造を発見しているのかも決めていない。

数学が世界を記述しているのか。

数学が人間の認識を拡張しているのか。

その両方なのか。

「理解」と「操作可能性」はどこまで重なるのか。

証明による保証と対象についての理解は何が違うのか。

そして、有限な存在である人間が、

「すべて」

という言葉を置いた瞬間に何が起きているのか。

まだ分からない。

ただ、一つだけ最初とは違う。

コラッツ予想を見ていたはずなのに、

いつの間にか、

コラッツ予想を作り、証明しようとし、意味を求め、「全部」を要求し、それを理解と呼ぼうとしている側

が観測対象になっていた。

だから今、コラッツに対してもう一度、

「なぜ解けないんだ」

と聞く前に、

そのさらに手前で止まれる。

正の整数を一つ取る。

操作する。

軌道が出る。

また一つ取る。

また軌道が出る。

そこまでは観測できる。

そして人間が言う。

「じゃあ、全部は？」

その瞬間だ。

たぶん俺たちが今見ているのは、コラッツの秘密ではない。

その一言によって、

有限の観測から無限の命題を作り、

その無限を有限な表現で閉じようとする、

人間側の運動そのものなのかもしれない。

そして、そこでまた最初の素朴な言葉に戻る。

なんで？