フィッシュの巨大数論を読んで、ご本人のなかではすでに解決してるかも
ラヨ関数は1階の集合論を対角化して得られる関数であり、1階の集合論は1階の述語論理で
記述される。
ラヨ命名する論理式によってある変数a_0はある自然数nに決定される。
1階の述語論理の完全性により、ラヨ命名する論理式の元でa_0=nが真であること
、nでない自然数mについてa_0=mが偽であることがそれぞれ証明可能である。
要するにラヨ命名する論理式が理論的な公理の役割を果たしている。
1階述語論理の完全性が重要でZFCとかフォン・ノイマン宇宙の対角化とかいうのは
あまり重要でないような
いっそのこと証明不可能レベルなんだとふっきれて、証明できないけれどある自然数を決定している
論理式が存在すると言ってしまうのもありだと思う。
ビッゲドンは真理述語が定義不能だからこそ形式的に真理述語を導入することで
強力な表現を可能としているし、さらに階層を高くしていくことでもうくぁwせdrftg
なんだろう
階層を高くしていくことで
探検
巨大数探索スレッド12 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
335132人目の素数さん
2017/04/21(金) 16:36:26.68ID:MNjQ1S2A■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ [あしだまな★]
- 【野球】セ・リーグ T 6-2 G [4/26] 阪神6連勝!8回大山勝ち越し打、坂本2塁打など4得点 巨人連敗・田中瑛人リリーフ失敗 [鉄チーズ烏★]
- 【教育】なぜ「体育嫌い」は増える? 背景にホモソーシャル、性的少数者無視 [ぐれ★]
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★2 [蚤の市★]
- 日本、アジア最大の統合型リゾート(IR)施設がついに着工、経済効果1.1兆円/年、雇用創出9.3万人、1060億円/年 大阪に収入 [お断り★]
- 【ドジャース3連敗】今季2度目の3連敗...大谷翔平は無安打、山本由伸5回3失点で2敗目 パイレーツ・スキーンズ7回途中無失点9K [鉄チーズ烏★]
- 「存命のうちに全拉致被害者の救出を」家族会などが署名活動👈こいつら安倍のときなにやってたん?😲 [521921834]
- 【悲報】娘の運転🔰をパパが助手席から撮影👉なぜか炎上してしまう [394133584]
- ▶土曜お昼の宝鐘マリンすこすこスレ ★2
- 【悲報】東京終了まであと20分wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [904880432]
- 【実況】博衣こよりのえちえちクロノクロス🧪★6
- 海で溺れる少女を救出しようとしたイケメン、変わり果てた姿に…😰 [153490809]