  |
今年のGW、お前らがBBQだの旅行だの浮かれてる間、俺は一人で岩波文庫の『不完全性定理』と取っ組み合いをしていた。
正直、今までは「算術を含む公理系には、証明も反証もできない命題が存在する」っていう、ふわっとした知識しかなかった。
でも、それじゃ納得できなかったんだ。
「なんで数学っていう完璧な世界に、そんな穴があるんだ？」って。
で、連休5日間、モンスターエナジーをキメながら不完全性定理の核心、いわゆる「ゲーデル数化」と「対角線論法」を徹底的にシミュレーションした。
そしたら昨日、ついに「見えた」んだよ。論理の歯車がカチッと噛み合う音がした。
G(s) = 2^n1 * 3^n2 * 5^n3 * ...
こうすることで、数学について語る「メタ数学」を、数学そのものの中に閉じ込めた。
この発想がまず天才すぎる。
そして、俺が一番興奮したのがここだ。
∀x ￢Prf(x, ┌G┐) ⇔ G
これは、公理系の中で「証明不可能」であることを主張している。
もし証明可能なら偽のことを言っているから矛盾する。逆に証明可能なら、それは「 証明可能である」という嘘を証明したことになり、公理系が壊れる（ 無矛盾性の崩壊）。
さらに、この証明可能性を「算術化」した述語を使って、第二不完全性定理を導くプロセスも鳥肌モノだった。
Consis(T) → ￢Bew(┌0=1┐)
この一連の流れを追った瞬間、俺の脳内にパッヘルベルのカノンが流れたね。
数学は、自分自身が正しいことを、自分自身の力だけでは証明できない。
……え？ 「お前、GWになにやってんの？」って？いいか、俺たちの背後にはこの「不完全性」が横たわってるんだ。
ゲーデルはそれを教えてくれた。
カノンロックが未だにちゃんと弾けません…😟なんとかしたい
AI
Gに具体的な数字を当てはめるパートと無矛盾製の崩壊のパートが話が繋がっていないように見えるんですが
37
