  |
はてなキーワード: 不完全性定理とは
今年のGW、お前らがBBQだの旅行だの浮かれてる間、俺は一人で岩波文庫の『不完全性定理』と取っ組み合いをしていた。
正直、今までは「算術を含む公理系には、証明も反証もできない命題が存在する」っていう、ふわっとした知識しかなかった。
でも、それじゃ納得できなかったんだ。
「なんで数学っていう完璧な世界に、そんな穴があるんだ？」って。
で、連休5日間、モンスターエナジーをキメながら不完全性定理の核心、いわゆる「ゲーデル数化」と「対角線論法」を徹底的にシミュレーションした。
そしたら昨日、ついに「見えた」んだよ。論理の歯車がカチッと噛み合う音がした。
G(s) = 2^n1 * 3^n2 * 5^n3 * ...
こうすることで、数学について語る「メタ数学」を、数学そのものの中に閉じ込めた。
この発想がまず天才すぎる。
そして、俺が一番興奮したのがここだ。
∀x ￢Prf(x, ┌G┐) ⇔ G
これは、公理系の中で「証明不可能」であることを主張している。
もし証明可能なら偽のことを言っているから矛盾する。逆に証明可能なら、それは「 証明可能である」という嘘を証明したことになり、公理系が壊れる（ 無矛盾性の崩壊）。
さらに、この証明可能性を「算術化」した述語を使って、第二不完全性定理を導くプロセスも鳥肌モノだった。
Consis(T) → ￢Bew(┌0=1┐)
この一連の流れを追った瞬間、俺の脳内にパッヘルベルのカノンが流れたね。
数学は、自分自身が正しいことを、自分自身の力だけでは証明できない。
……え？ 「お前、GWになにやってんの？」って？いいか、俺たちの背後にはこの「不完全性」が横たわってるんだ。
ゲーデルはそれを教えてくれた。
流石にヤバいでしょ。
だってAIを「なんでも解決してくれる魔法の杖」だと思ってて、その裏にある計算複雑性理論の絶望すら知らないって、もうそれ「脳みその半分をクラウドに投げてます」って自己紹介してるのと同じじゃん。
どんなにニューラルネットワークが深層化しても、背後には厳然たる数学的限界がある。
例えば最適化問題。
AI万能主義の男は「AIなら最適な答えをすぐ出せる」と信じ込んでる。
NP問題を効率的な時間で解くアルゴリズムなんて現代数学の誰も見つけてない。
もし巡回セールスマン問題やナップサック問題の真の最適解をAIが瞬時に出せると本気で思ってるなら、それはもう科学じゃなくて宗教。
それを全部ディープラーニングがなんとなくそれっぽい答えにまとめてるのを、正解だと思い込んで満足してるのちょっと怖いよ。
もちろんLLMが悪いわけじゃない。TransformerのAttention機構は革命的だしツールとして成立してるのは認める。
でもそれって統計的な確率で選ばれた「次に来るもっともらしい単語」の羅列であって、そこに知性があるわけじゃないでしょ。
なのにイーロン・マスクの発言を切り抜きで読んで「もう人間いらないでしょ」とか、サム・アルトマンのインタビュー見て「AGI来るじゃん」とか、雰囲気で語ってるの、ほんと無理。
一度も不完全性定理や停止性問題という限界点を知らないまま、「AIがあれば全知全能になれる」って言うの、雑だよ。
モデルの重み、バイアス、そして勾配消失問題をどう乗り越えてきたか。それを知って初めてああ、AIってここまで綱渡りで計算してるんだって分かる。
それすらスキップして「プロンプト叩けば答えが出るじゃん」って。
分かってないよ。全然分かってない。
知性って“出力結果”じゃなくて、その“推論プロセス”の苦悩だから。
それを知らないまま「AIで全部解決」って言ってるの、履歴書に「ゲーデル？知らないです」って書いてるのと同じ。
超弦理論は通常10次元の1次元的対象の量子化と説明されるが、これは既に古い。
現代的理解では、弦は基本ではない。基本なのは場の圏（∞-圏）であり、弦はそのホモトピー的影として現れる。
より正確には、量子重力を記述する対象は対称モノイド安定∞-圏上の双対可能対象の完全双対化であり、これが拡張TQFTとして実装される。
コボルディズム仮説はその骨組みにすぎない。問題は、その∞-圏が何であるかだ。
現在の焦点は、時空は幾何ではなく安定∞-圏のスペクトラム圏として再構成できるか？
つまり時空とは manifold ではなく、Spec(Perf(C)) のような「導来圏のスペクトル的実現」である可能性。
ここで Perf(C) はあるE∞-環スペクトラム上の完全加群圏。
このとき重力は metric ではなく、双対性の破れとして定義される。
次に、ミラー対称性のさらに奥。通常のホモロジカルミラー対称性は DbCoh(X) ≅ Fuk(Y)という導来圏の同値だが、究極的には「ミラー対称性 = Koszul双対性の高次圏版」と見るべきだという流れがある。
ここで重要なのは、弦の世界面はもはや2次元ではない可能性だ。
p進弦理論や派生代数幾何の視点では、世界面は導来スタック上のマッピング空間として扱われる。
すると弦理論の摂動展開は mapping stack Map(Σ, X) のホモトピー型の展開になる。
ここで Σ は通常のリーマン面ではなく、スペクトラルスタック。
この時点で面積という概念は消える。
問題はユニタリ性は本質か、それともホモトピー的整合性の影か？という点。
通常の量子論はヒルベルト空間とユニタリ群 U(H) を前提にするが、もし基本構造が安定∞-圏なら、ユニタリ性は三角構造と双対性から派生する2次的構造に過ぎない可能性がある。
M理論の11次元は幾何的次元ではなく、スペクトル系列の収束段階を表している可能性。
具体的には、AdS/CFT は等価性ではなく、圏の圏の自己双対性の特殊例であり、重力は境界の自己双対性の不完全性として生じる。
するとブラックホールエントロピーは導来自己準同型環の自己交差数になる。
もしかすると物理法則は安定∞-圏の分類問題そのものかもしれない。
つまり宇宙は分類不可能性の極限構造であり、物理法則はその不完全性定理。
真空は選ばれるのではなく、分類不能なスペクトルの局所切断に過ぎない。
ここまで来ると、もはやウィッテン級の数学物理学者でも定式化できていない地帯に入る。
弦か？場か？圏か？スペクトラムか？それとも双対性そのものか？
だが、抽象数学と超弦理論の接点は、明らかに「幾何の消滅」「圏論化」「ホモトピー化」「双対性の一次化」へ向かっている。
もし可能なら、それはZFCの中ではなく、高次トポス論の内部言語で書かれるはずだ。
一般人のよくある言い回しとして「大学の数学科でやっているのは数学ではなく哲学だ」というものがあります。これは実態を誤解したものと考えます。数学と哲学の論理構造や依拠する原理の違いに着目し、どのように誤解であると言えるかを解説してください。
---
多くの人が「大学の数学科は“哲学的なこと”をしている」と感じるのは、次のような体験的印象に基づいています。
**抽象度の高さ**
学校数学は数値計算や図形、方程式など具体的な操作が多いですが、大学では集合・位相・群・環などの抽象概念が中心になります。実体がない記号を扱うため、「思弁的で現実離れしている」という印象を受けやすい。
**証明の重視**
高校までの数学では、公式や定理を使って問題を解くことが主でした。大学数学では定理を“証明する”こと自体が中心になります。演繹的に進むため、哲学の論証と混同されやすい。
**直感に反する結果**
カントール集合やゲーデルの不完全性定理など、常識を裏切る結論に出会うと「これはもはや哲学では？」と感じがちです。
---
数学ではまず**公理系**（集合論・論理体系など）を定め、そこから**形式的に定義と定理を導く**ことが中心です。
証明は論理的整合性のもとに、有限の推論ステップで厳密に完結します。
「真偽」は定められた公理系の内部で決まる（たとえば ZFC の下での定理かどうか）。
哲学では「公理」や「定義」の選び方自体が主要な思考対象です。
例：真理とは何か、存在とは何か、数学の基盤は何に依拠するか。
推論自体は論理を用いますが、**議論の目的は推論よりも前提や概念の意味を吟味すること**にあります。
証明可能性よりも「概念的・認識論的な一貫性」を探ります。
### 要するに：
数学は**選んだ前提の内部で閉じた演繹体系**。
哲学は**前提や体系そのものを開かれた問いとして扱う**。
---
数学 哲学 ----- ---------------- ---------------- 基盤 公理・定義・形式論理 推論＋概念分析・経験・メタ理論 真理の基準 公理系内の定理性 妥当性・合理性・批判的検討 方法 定義→補題→定理→系の形式的構築 問題設定→概念批判→異論との対話 ゴール 内部一貫性と定理の発見 前提の吟味と概念の明確化 ---
数学の抽象化は「より多くの具体例を統一的に扱う」ための道具です。たとえば群論は「対称性」という実際的な現象を一般化しています。現実逃避ではなく応用力の拡張です。
哲学的議論は自然言語の意味に依存しますが、数学の証明は形式言語に還元可能なレベルまで精密化されます。
哲学は「数学の基礎は何か」「無限とは何か」を問うかもしれませんが、数学科の学生が行うのは、すでに受け入れた公理体系の中で定理を立てる作業です。
---
## 5. まとめ
抽象度の高さや証明重視の新鮮さを「哲学的」と感じているに過ぎない
実際には**数学は厳密な公理体系の中での定理の探求**であり、前提の批判や概念の意味そのものを問う哲学とは方法も目標も異なる
一般相対性理論は、その多大な成功にもかかわらず、特異点が存在するため、完全な理論としては不完全です。
量子重力理論は、計算アルゴリズムを通じて量子的な自由度から時空が一貫して出現する、完全な理論となる可能性を広く信じられていますが、私たちはこの目標が根本的に達成不可能であることを示します。
ゲーデルの定理は、計算アルゴリズムに基づくどんな理論も、完全かつ無矛盾であることはできないと確立しています。
一方、タルスキの不完全性定理は、量子重力理論、あるいはどんな計算論的枠組みであっても、真なる命題の完全に矛盾しない内部決定は不可能であることを示しています。
チャイティンの不完全性定理は、この結論をさらに裏付け、どんな計算論的理論にも本質的な限界があることを明らかにしています。
私たちは、物理システムの記述に対するいくつかの可能性のある影響について議論し、非アルゴリズム的アプローチが「万物の理論」には不可欠であると指摘します。
文S：「システムXは文Sの正しさを証明するのに十分な能力を持っていない。」
＞＞
文SはシステムXの中で証明できるのだろうか？できるとすると、システムXの中には文Sの証明があり、かつその文はそんな証明はないと主張していることになる。これは、システムXがひどい自己矛盾に陥っているときだけ起こりうることである。したがって、無矛盾な形式システム（「定理」を生成する機械）を問題にしているかぎり、文SはシステムXの中で証明できないということになる。
そして、これは文Sの主張そのものだから、文Sは正しいと結論することになる。正しいが、システムXの中では証明できないというわけである。
＞＞
つまり、システムXがどんなに強力で柔軟であっても、無矛盾であるかぎり、システムXのなかには必ず到達することのできない真理があるということである。もしも真理こそが私たちの望むものであるとすると、それらすべてを含むような形式システムは存在しないということになる。どんな形式システムを与えられても、必要に応じていつでも、そのシステムにはふくまれない真理を私たちは作ることができて、「やーい、やーい」と嘲るように、その真理を見せびらかすことができるというわけである。
この主張は感情的な誇張ではなく、認知の健全性に対する論理的帰結である。
抽象数学や理論物理は、脳に対する最も高密度で高精度な刺激の一種であり、それを回避するという選択は、自らの知的免疫系の機能停止を意味する。
無限、非可算性、共形対称性、10次元時空などの対象を真剣に扱うということは、直感という低解像度の誤認知から脱却し、抽象的な構造体を精密に操作する技能を獲得するプロセスだ。
これを通過しない脳は、言語と経験則に寄生するだけの思考様式に堕する。
精神の荒廃とは、主観の快・不快を唯一の判断基準とし、世界を構造体としてではなく連想記憶の連鎖としてしか捉えられない状態を指す。
抽象的対象と真剣に向き合うことでしか、人間は「自己を相対化する知性」を獲得できない。
たとえば、ゲーデルの不完全性定理やホモロジー論を真面目に理解しようとする過程で、人間の思考装置の限界と構造が自覚される。
逆に、それらに一切触れない精神は、自己中心的な認知モデルから一歩も出ることができず、やがて世界は「感情でしか捉えられない不安定なノイズ」と化す。
抽象性は単なる知的遊戯ではない。無意味に見える記号操作の中に、現実の物理法則を予見する構造が隠されていることを、ヒルベルト空間や量子場の理論が証明している。
つまり、抽象数学や超弦理論を理解しようとしないことは、世界を構造的に捉え直すチャンスを永久に手放すということに等しい。
精神の堕落は知的怠惰から始まる。日々の思考が、線形性と可視化可能性の範囲に閉じ込められ、非可視の構造や反直感的な対象に対して「分からないから無意味だ」という態度を取るようになったとき、その精神は既に荒廃の途上にある。
抽象思考は贅沢品ではなく、生存に必要なメタ認知機構のトレーニングである。
数学的宇宙仮説（Mathematical Universe Hypothesis, MUH）は、マックス・テグマークが提唱する「物理的実在が数学的構造そのものである」という大胆な命題から発展した理論的枠組みである[1][6]。本報告では、arXivや学術機関ドメインに基づく最新の研究動向を分析し、この仮説が直面する理論的課題と観測的可能性を包括的に検討する。
テグマークのMUHは、外部実在仮説（External Reality Hypothesis, ERH）を基盤としている[1]。ERHが「人間の認識から独立した物理的実在の存在」を前提とするのに対し、MUHはこれを「数学的構造の客観的実在性」へと拡張する。近年の議論では、この関係性がゲーデルの不完全性定理との関連で再解釈されている。2024年の研究[2]では、ブラックホール熱力学との類推から、宇宙のエントロピーと数学的構造の決定可能性が議論され、非加法エントロピー（Tsallisエントロピー）を用いた宇宙モデルが提案されている。
従来のMUH批判に対応する形で、テグマークは計算可能性の概念を理論に組み込んでいる[6]。2019年の論文[1]では、ゲーデル的に完全（完全に決定可能）な数学的構造のみが物理的実在を持つとする修正仮説が提示されている。このアプローチは、宇宙の初期条件の単純性を説明すると共に、観測可能な物理法則の計算複雑性を制限する理論的根拠として機能する[3]。
MUHに基づく多宇宙論は、4つのレベルに分類される[4]。レベルⅠ（空間的無限宇宙）、レベルⅡ（インフレーション的バブル宇宙）、レベルⅢ（量子多世界）、レベルⅣ（数学的構造の多様性）である。最新の展開では、ブラックホールの情報パラドックス解決策として提案されるホログラフィック原理が、レベルⅣ多宇宙の数学的記述と整合する可能性が指摘されている[2]。
Barrowらが提唱する修正エントロピー（∆-エントロピー）を用いた宇宙モデル[2]は、MUHの数学的構造に新たな解釈を付与する。このモデルでは、時空の量子ゆらぎがエントロピーの非加法性によって記述され、観測データ（宇宙マイクロ波背景放射や重力レンズ効果）との整合性が検証されている[2]。特にダークマター分布の理論予測と観測結果の比較から、数学的構造の「計算可能領域」が具体的な物理量として抽出可能であることが示唆されている。
2024年の研究[2]では、PeVスケールのダークマターと高エネルギー宇宙ニュートリノの関連性が議論されている。IceCube観測所のデータ解析から、Tsallisエントロピーパラメータδ≃3/2が示唆される事実は、MUHが予測する数学的構造の特定のクラス（非加法統計力学系）と現実宇宙の対応関係を裏付ける可能性がある[2]。
宇宙マイクロ波背景放射（CMB）の偏光データをMUHの枠組みで再解釈する試みが進展している[2]。特に、Bモード偏光の非ガウス性統計解析から、初期量子ゆらぎの数学的構造における対称性の破れパターンが、レベルⅣ多宇宙の存在確率分布と矛盾しないことが示されている。
Academia.eduの批判的論文[3]が指摘するように、MUHは数学的対象と物理的実在の同一視に関する伝統的な哲学的問題を内包する。2024年の議論では、カントの超越論的観念論との対比が活発化しており、数学的構造の「内的実在性」と「外的実在性」の区別が理論の一貫性を保つ鍵とされている[4]。
SchmidhuberやHutらが指摘するゲーデルの不完全性定理との矛盾[6]に対し、テグマークは「計算可能で決定可能な構造のみが物理的実在を持つ」という制限を課すことで反論している[1][6]。この制約下では、自己言及的なパラドックスを生じさせる数学的構造が物理的宇宙として実現されないため、観測宇宙の論理的整合性が保たれるとされる。
MUHのレベルⅣ多宇宙は、弦理論のランドスケープ問題と数学的構造の多様性という点で深い関連を持つ[1]。最近の研究では、カルビ-ヤウ多様体のトポロジー的安定性が、数学的宇宙の「生存可能条件」として再解釈されている。特に、超対称性の自発的破れメカニズムが、数学的構造の選択原理として機能する可能性が議論されている[2]。
時空の離散構造を仮定するループ量子重力理論は、MUHの数学的実在論と親和性が高い[2]。2024年の論文では、スピンネットワークの組み合わせ論的構造が、レベルⅣ多宇宙における「計算可能な数学的オブジェクト」の具体例として分析されている。ここでは、プランクスケールの時空幾何が群論的対称性によって記述されることが、MUHの予測と一致すると指摘されている。
MUHが提唱する「自己意識部分構造（SAS）」概念[6]について、近年は量子脳理論との関連性が注目されている[3]。特に、オルロッキ量子モデルとの比較から、意識現象の数学的記述可能性が議論されている。ただし、この拡張解釈は哲学的自由意志の問題を新たに引き起こすため、理論的慎重さが求められる段階にある。
汎用人工知能（AGI）の開発が進む現代において、MUHは機械知性の存在論的基盤を提供する可能性がある[3]。数学的構造内で「意識」を定義するSAS理論は、シンギュラリティ後の知性体の物理的実在性について、従来の物質主義的枠組みを超えた議論を可能にする。
MUHの観点から、無次元物理定数（微細構造定数α≈1/137など）の数値が数学的構造の必然性から説明される可能性が探られている[1]。特に、保型関数理論やモジュラー対称性を用いた定数値の導出試みが、レベルⅣ多宇宙における「典型的な」数学的構造の特性と関連付けられている。
近年の観測データに基づき、宇宙加速膨張の原因となるダークエネルギーが、数学的構造の位相欠陥としてモデル化されるケースが増えている[2]。Barrowモデルにおける∆-パラメータの観測的制約（∆≲10^-4）は、MUHが想定する数学的宇宙の「滑らかさ」と密接に関連している。
MUHが提起する根本的問題は、数学的真理の認識可能性に関する伝統的哲学問題を物理学へ移植した点にある[3][4]。2024年の時点で、この問題に対する決定的解決策は見出されていないが、計算複雑性理論と量子情報理論の融合が新たな突破口を開くと期待されている[2]。
今後の重要課題は、MUHから導出可能な検証可能な予測の具体化である。現在の主要なアプローチは、(1)初期宇宙の量子ゆらぎパターンの数学的構造分析、(2)高エネルギー宇宙線の異常事象の統計的検証、(3)量子重力効果の間接的観測を通じた時空離散性の検出、の3方向で進展している[2][6]。
数学的宇宙仮説は、その野心的なスコープにもかかわらず、近年の理論物理学と数学の交差点で着実な進展を遂げている。ブラックホール熱力学との接続[2]、計算可能性制約の導入[1][6]、観測データとの整合性検証[2]など、従来の哲学的議論を超えた具体的な研究プログラムが展開されつつある。しかしながら、数学的実在論の認識論的基盤[3][4]やゲーデル問題[6]といった根本的な課題は未解決のままであり、これらに対する理論的突破口が今後の発展の鍵を握る。特に、量子重力理論の完成がMUHの検証可能性に決定的な役割を果たすと予測される。
Citations:
[1] http://www.arxiv.org/pdf/0704.0646v1.pdf
[2] https://arxiv.org/pdf/2403.09797.pdf
[3] https://www.academia.edu/38333889/Max_Tegmark_Our_Universe_is_Not_Mathematical
[4] https://inquire.jp/2019/05/07/review_mathematical_universe/
[6] https://en.wikipedia.org/wiki/Mathematical_universe_hypothesis
俺はね、やっぱり哲学も純粋数学も役に立たねぇなって思っちまうんだよな。
だが、その瞬間、パラドクスに陥る。この思考自体が哲学的命題であり、その論理構造は数学的基盤に依拠している。
クソッ、頭の中で超弦理論とカラビ・ヤウ多様体が交錯し始めやがった。
11次元の時空間で、プランク長のスケールでの量子重力効果を考慮すると、存在そのものが確率的な様相を呈し、ハイゼンベルクの不確定性原理が存在論にまで拡張される。
昨日なんざ、スーパーでリンゴ買ってて、突如としてペアノの公理系からZFC集合論に至る数学基礎論の系譜が脳裏に浮かんだ。
そして、ゲーデルの不完全性定理とコーエンの強制法を経て、continuum hypothesisの独立性にまで思考が飛躍。
これって、日常的現実と数学的抽象の境界の曖昧さを示唆してんじゃねぇのか？
帰り道、ガキどもがニーチェの永劫回帰について議論してんの聞こえてきて、思わず「お前ら、ウィトゲンシュタインの『論理哲学論考』読んだか？言語の限界が世界の限界だぞ！」って叫んじまった。
だが同時に、後期ウィトゲンシュタインの言語ゲーム理論も考慮に入れねぇとな。
あぁ、またフッサールの現象学的還元とハイデガーの存在論的差異の狭間で思考が揺れ動いてきやがる。
哲学者どもは、こんな認識論的アポリアの中でメシ食ってんのか。
数学者連中だって、ラングランズ・プログラムの壮大な構想の中で、数論幾何と保型形式の深遠な関係に魅了されてるんだろうな。
正直、俺もそんな純粋知性の探求に身を捧げられる連中が羨ましい。
日々の下らねぇ現実に囚われてりゃ、位相幾何学におけるポアンカレ予想の証明やら、P≠NP問題の解決なんて夢のまた夢だからよ。
ったく、人生ってのは、まるでリーマンゼータ関数の非自明な零点の分布みてぇだな。
複雑で、規則性を秘めてそうで捉えどころがねぇ。
でも、その美しさと深遠さに魅了されずにはいられねぇ。
くそっ、また「Principia Mathematica」と「存在と時間」を同時に読み返したくなってきやがった。
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
数の概念は文化や歴史によって変化してきた。古代ギリシアでは、1は数ではなく単位とされていたが、現代では自然数の集合 N の最小の要素とされている。
数の概念は哲学的な問題を引き起こすことがある。無限や超準数といった数は直観に反する性質を持つ。例えば、無限は自分自身に加えても変わらないという性質を持つ（∞+∞=∞）。超準数もまた通常の数の演算法則が成り立たない（ω+1≠1+ω）。
数は実在するのか、それとも人間の心の産物なのかという存在論的な問いもある。数の実在主義は、数は客観的な実在であり、人間の心とは独立して存在すると考える。数の構成主義は、数は人間の心の産物であり、人間の言語や思考に依存して存在すると考える。プラトニズムは、数はイデア界に存在する普遍的な実在であると考える。ピタゴラス主義は、数は万物の根源であると考える。論理主義は、数は論理的な体系から導き出されるものであると考える。
数の概念は数学の基礎付けにも関わる。数学の公理や定理は、数の概念に基づいて構築されているが、その正当性や完全性には限界がある。ゲーデルの不完全性定理は、数の概念を用いた形式体系には矛盾しないが証明できない命題が存在することを示した。
数の概念は、かつて客観的な現実を表すものと考えられていたが、量子論の発展により、数はより複雑で主観的なものである可能性が高まった。古典物理学では、数は物理量と一致していたが、量子論では、数は物理量とは別の抽象的な概念として使われている。
自我や自由意識と同様に、数の本質はまだ解明されていない。しかし、量子コンピューターは数の概念を利用して作られており、数は物理システムを表現する有効なツールであることは、どのレイヤー、スケールにおいても明らかである。
数の概念は私たちの知識や理解を拡張するものであり、同時に私たちの疑問や不確実性を増やすものでもある。
数の概念は、私たちの世界に対する見方を変える力を持っている。(どやああああ)
————————-
現代の数学者のほとんどは形式化された数学の体系であるツェルメロ-フレンケル集合論ZFCを使っています.
言及されている通り, ゲーデルの不完全性定理によってZFCが無矛盾であるならばZFCは自身の無矛盾性を証明することができません. ZFCが矛盾している可能性はあります. ZFCの無矛盾性に関しては, 一方でZFCを用いて多くの数学者が数学をしている中でまだ矛盾が見つかってないという傍証もあります.
仮に矛盾が見つかってしまった場合, その後の方向性はいくつか考えられます:
1. その矛盾の証明をよく調べて, その原因を取り除いてZFCより弱い新たな数学体系を構築する.
これに関しては普段の数学をする際にフルでZFCを使っているわけではないので, 合理的なZFCより弱い体系を見つけることができればこれまでの数学を続けることができるかも知れません.
この場合は数学がどうなるか想像がつきません. 数学にとって大打撃になると思います.
他にもZFC以外の別の数学の形式的な基礎づけを与えようという動きもあります. またZFCより改善させるような新しい体系, 公理形を見つける方向の研究もあります.
↓なんかchatgptっぽくね？
ゲーデルの第1不完全性定理は、形式的な論理体系内での数学の特定の命題に関して「証明できない」ということを示しています。この定理によれば、ある論理体系内で自己言及的な命題を含む場合、その命題が真か偽かを証明することはできないということを意味します。
つまり、ゲーデルの第1不完全性定理は、「この命題は証明できない」という命題を考えた場合、それが真か偽かを判断できないことを指摘しています。したがって、特定の命題が「証明できない」ということは、その命題が現実には真か偽かになっているかどうかを示すものではありません。
ゲーデルの第1不完全性定理は、形式的な論理体系の限界を示すものであり、数学や論理学の基本的な性質を理解する上で重要な結果です。しかし、この定理が特定の命題の真偽を示すものではないため、その命題が現実に真か偽かを判断するためには、他の手段や情報が必要です。
ウィトゲンシュタインの思想とゲーデルの不完全性定理には、いくつかの類似点があるかもしれません、それぞれ異なる観点から論理と数学にアプローチしています。
ウィトゲンシュタインの「論理空間」の概念は、言語や記号による表現の枠組みや制約を強調し、言語や論理の限界について考察しています。彼は「言語ゲーム」という概念を導入し、言葉や文脈の中での意味の理解に注目しました。ウィトゲンシュタインの主張は、言語や論理の使用が特定の文脈やルールに従って行われることを強調し、その文脈やルールから外れた場合、意味が崩壊する可能性があるというものです。
一方、ゲーデルの不完全性定理は、数学的な形式的論理体系に焦点を当て、その体系内での命題と証明可能性について論じました。この定理は、特定の命題がその論理体系内で証明できないことを示し、論理体系の限界を示唆しています。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13286033693
世間では「明るいこと」に比べて「後ろ暗いこと」への理解が浅い。浅すぎると思う。
そもそもいつからこんなに、明るさや賑やかさが正義とされ始めたのだろう。そして明るさを「楽しい」と変換する安直な人が増えたのだろう。
「性質」と「それがもたらす感情」は別物なのに、ごく当たり前のようにいっしょくたにされすぎである。自分の中できちんと「楽しい」に変換されたなら全く構わない。し、社訓や集団のスローガンに沿っていっしょくたになる場合は往々にしてあるから仕方ない。
けれどよく考えずに、よりによってその場の空気なんかで「楽しい」としているのはいただけない。
後述するように、思考を放棄すると自分のためにならないからだ。
明るく賑やかなものに触れると楽しい。後ろ暗いものに触れると気が滅入るし嫌だ。だから暗さは人生に必要ない。Q.E.D。
ここまで解いてペンを置く人たちが意外と多くて恐怖をおぼえる。はたしてそんなに簡単に証明できるものなんでしょうか。まだ終了のチャイム鳴ってませんよ。まだまだ考える時間はたくさんありますよ。ゲーデルの不完全性定理みたく証明できないということを証明しても間違いじゃないんだから、もうちょっと考えましょうよー！
情報が増えSNSが普及し、みんなが広く「人と比べる」ことを始めてから、世の中ではグッとわかりやすいものへの評価が高まった。
わかりやすいというのは、説明しやすいということだ。「楽しい」はわかりやすい。他者との濃密なコミュニケーション。よろこび。平和。笑顔。健康。皮肉にも先人たちのブランディングのおかげで、個人に沿ったものかは別として楽しいシチュエーションなんて山ほどあげられる。フェス。海。BBQ。友人とのランチ。家族との食事。etc……。
それに比べて「気が滅入る」「嫌」はどうだ。「楽しい」ほどポンポンシチュエーションが出る人は少ない気がする。
それは人によって全く違う形をしているのと、「嫌なことなんて忘れて、楽しいことだけ考えないと人生もったいないですよ♪」というひとつの考えが蔓延しているからだ。
はたしてそれがみんなに適応する考えなのだろうか。楽しいことだけで自己が形成されているわけなんてないのに、臭いものに蓋をしてしまったとき、ひずみが生まれないだろうか。そしてそのひずみは、今すぐでなくても時間をかけてゆっくりと自分を苦しめたり、あるいは自分が無意識に他者を攻撃する原因になったりしないだろうか。
私の母はもう還暦になるが、家の中でひとりでボケてツッコんで、永遠に喋り続けている陽気な関西人だ。器用で頭の回転が速く、生活力も抜群に高い。何をやらせても80〜120点でこなせるタイプで、どこでも重宝されて生きてきた。
母は子供時代、友達と遊ぶことを許されなかった。共働きの両親の代わりに家事を引き受け、弟の面倒をみた。ランドセルを放り出して遊びにいきたいのをずっと我慢して、結婚して家を出るまで一生懸命家族に尽くしてきた。
年月は流れ、両親も母も歳を取った。いざ相続に関する話が出たとき、母の親、つまり私の祖父母は露骨に弟を贔屓したそうだ。
母は当時50代だったが、そこから何年も「男尊女卑精神が染み付いた両親」と向き合うことになった。
『思えばずっと、あの家が嫌いだった。ずっと、両親の弟贔屓が嫌だった。でも、嫌ってしまったら「嫌な家庭に生まれた人間」になってしまうから考えないようにしていた。年老いた親を嫌うひどい人間になりたくない』……。
さめざめと泣く母を見て「別に実の親のこと嫌っててもいいじゃん。そういう自分を認めていいじゃん。『私はあの人たちを嫌いで理解できない』ってことを自分で理解しておけばいいじゃん」と言った。
これは言わなかったけれど「私は絶対に自分の中の『暗い部分』や『何かを嫌う理由』と向き合っておこう」と思った。
私は母と違って生活力もなければ大抵のことが40〜50点しかできないし、場合によっては0点も当たり前、でもある特定の条件が重なると涼しい顔で200点を叩き出せる、そういうタイプの人間なのでより一層そう思う。
これは私の持論だが、これから先もずっと自分の弱い部分や後ろ暗さ、悲しみや憎しみについて考えなければならないと思う（楽しいことなんて放っておいても無意識に考える）。
「ずっとトラウマを抱えるな」「いい大人なんだから忘れろ」「うじうじするな」「そんなこと考えて人生楽しい？」とかなんとか言ってくる人がいる。けれど、そもそも簡単に忘れられないからトラウマなのだし、「いい大人」なんて曖昧な言葉が理由になることなんてないし、うじうじしているのではなく向き合っているのだし、人生は広い目で見ると楽しいけどピンポイントで見ると全然楽しくない、そういうものだと思ってます。
勘違いされたくないから強調するが「『暗い部分』や『何かを嫌う理由』と向き合って昇華し、キラキラすっきりと生きていこう♪」という能天気なことを言っているわけではない。無理無理、それは私には無理。ずっと私は暗いもん抱え続けて生きているし、嫌なもんは嫌なまま。
その理由を言葉で説明できるようにしておくと「本当に無理なこと」を避けられる。客観視できるまで噛み砕いておくと「これに関しては私のバランス感覚がおかしいのだな、人を選んで主張しよう」「これは今いる環境によって自己がブレてしまって起きている事象だから、あまり気にしないでおこう」と判断ができる。
自分を知るという槍、客観視点という盾で戦うしかない。転生したらきっとチート主人公になれるのだから、今世ではとりあえず、武器を持って立ち上がろうと思う。
1946年ごろのプリンストン高等研究所で天才が実在だの知性の限界だのの話をする日常物語。主な主人公はフォン・ノイマン、クルト・ゲーデル、アインシュタインの三人。
肝心なのは、実在の人物が登場するが、これは物語であってドキュメンタリーではないこと。
彼らの会話内容や経歴には元ネタがあるにせよ、要するに著者の妄想である。
メイン主人公のフォン・ノイマンはプリン☆ストン高等研究所の数学教授。アカデミアでは知らない人はいない超天才。最近は計算機開発にご執心。フォン・ノイマンちゃんは天気予報をやってみたい！
クルト・ゲーデルは不完全性定理を発表した当代随一の論理学者、にして奇人。最近は教授になりたくてしょうがない。
世界的アイドル アルバート・アインシュタインさんは、ここでは時代に取り残された古典物理学者。つまり金看板ですよ金看板。
あとはオッペンハイマーとかワイルとか、なんか色々出てきて、不確定性原理とかヒルベルトプログラムとか知性とか認知とかの話をしながら和やかに穏やかに日々が流れる。
クルト・ゲーデルが教授に昇進し、フォン・ノイマンの計算機開発が採択され、アインシュタインは主人公格なのに影が薄いまま物語は幕を閉じる。
気晴らしにはちょうど良いが内容が適当っぽくて人には勧めにくい。
図書館には娘を連れて行ったわけだが、本当に久しぶりだ。紙の娯楽本を読むのも久々だ。
年のせいか読書ヂカラが衰えてきたな、なんて思うこともあるのだが、この本はすいすい読めた。
どうもやはり紙の本は、Kindleとは違う。読んでいるときの脳のモードとか没入感が違う。
なんでだろうね。
