無限の概念を語る — カントールから集合論の地平へ — Epoche C2
場面設定： プリンストン高等研究所の庭、夏の午後。アメリカ人数学哲学者カプラン教授(60代女性、ゲーデルとアインシュタインの遺産研究者)とインド人純粋数学者シャルマ博士(40代男性、集合論)。緑陰のベンチに座り、コーヒーを片手に語り合う。 シャルマ博士、私の最初の問いはいつも同じ — 「無限とは何ですか」。学生は『際限なく続くこと』と答える。これはアリストテレス的な可能無限です。カントールの蛮勇は、それを『現実態の対象』にしたことにある。 教授、東洋哲学の補助線を引かせてください。漢訳の『無限』は明らかに潜在無限の含意で使われた。仏教の『無量』は宗教言語に近い。カントールの一手は、宗教語を数学的対象に転換した世俗化革命と推察されます。 鋭い指摘です。カントールの最初の衝撃は、自然数と有理数の濃度が等しいこと — 対角列挙で一対一対応がつく。エレガントだが反直観的な結論です。 次の手、対角線論法による実数の非可算性証明。「全列挙を仮定し、対角を 1 ずらすだけでリストにない実数を作る」 — 帰謬法の見事な使用例です。可算無限 ℵ₀ と非可算無限 𝔠 の二段階の濃度階層がここに姿を現す。 カントール自身は両者の間に他の濃度がないと信じた — 連続体仮説 (CH)。1900 年のヒルベルト 23 問題の第 1 問が CH だったのは、数学界全体がこの問題の重さを認識していた証左です。 そして解決が 20 世紀最大の哲学的衝撃を生む — ゲーデル (1940) は CH が ZFC と矛盾しないことを示し、コーエン (1963) は CH の否定も矛盾しないことを示した。CH は ZFC からは決定不能。アポリアの典型です。 数学的プラトニズムを取れば CH には決まった真偽値があり、ZFC ではそれを捉えきれていない — 公理の不足。形式主義を取れば、CH は単に異なる体系で異なる真偽値を持つ命題に過ぎず、『どちらが本当か』という問い自体が無意味になる。 私は中庸を試みます。CH の真偽は『大基数公理』のような自然な拡張のもとで決定されるか — Hugh Woodin の研究は巨大基数のもとで CH が偽になることを示唆します。プラトニズムを保ちつつ ZFC の解像度を認める立場です。 そこに構成主義の視点を加えましょう — ブラウワーの直観主義は、構成できないものを実在と認めない。彼らにとって非可算無限は数学的フィクションです。三派(実在論・構成主義・形式主義)の射程は、どれも完全には他を覆えない。 アブラハム・ロビンソンの超準解析は別の道を示しました — ライプニッツの無限小を、超準モデル論で正当化する。これは『可能無限と現実無限の対立』を超える、第四の道とも言えます。 哲学者として一つ言わせてください — 無限を扱うことは、人間の有限性を逆照射する作業です。デカルトは『有限な存在に無限の観念がある』ことを神の存在証明に使った — 第三省察です。なぜ我々は無限を考えられるのかは、認知科学の未解問題でもある。 ヴィトゲンシュタインは『数学は無限を扱うのではなく、無限という記号を操作している』と言った。形式主義の極限です。半分は正しい — 我々が扱うのは『無限についての証明可能な命題』です。 そして証明可能性自体がゲーデルの不完全性定理で限界を持つ。集合論は自分自身の無矛盾性を ZFC 内では証明できない。無限を扱う言語自体が、自分の正当性を完全には保証できないという構造的限界。 学部 4 年から大学院 1 年でこれを伝える意義は、『数学は完結したシステムではない』という認識を学生に与えることにあります。学ぶとは未完の探究の現在地に立つことだ。 解説： C2 多視点併存の典型。実在論・構成主義・形式主義の三派を並列に展開し、それぞれの射程の限界を露呈させる。落ちは『無限を扱う言語自体が、自己の正当性を完全には保証できない』というゲーデル的アポリアに着地。 参考文献 Cantor, G. (1874). "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen." Journal für die Reine und Angewandte Mathematik , 77, 258-262. Wallace, D. F. (2003). Everything and More: A Compact History of Infinity . New York: W. W. Norton. Gödel, K. (1940). The Consistency of the Continuum Hypothesis . Princeton University Press. Cohen, P. J. (1966). Set Theory and the Continuum Hypothesis . New York: W. A. Benjamin.