フィッシュの巨大数論を読んで、ご本人のなかではすでに解決してるかも
ラヨ関数は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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フジテレビ第三者委員会報告に記載「タレントU」 各局は実名を把握・共有で「使う局ナシ」 [Ailuropoda melanoleuca★]
- トランプ氏、FRB議長へ「金利を下げろ」と投稿 株価急落で焦りか ★2 [蚤の市★]
- トランプ米大統領声明 「中国はパニックに陥った」 ★2 [お断り★]
- たこ焼き1個80円→90円で「売上9割減」も変わらぬ味守る店、 “激安のイメージ”に反論 「昭和の時代にたこ焼きが安かった理由は…」 [煮卵★]
- 世界同時株安、関税不況を懸念 時価総額500兆円超消失 [蚤の市★]
- 石破総理「最近はミャクミャクがいないと落ち着かない」「不思議な精神状態」 [煮卵★]
- 【実況】博衣こよりのえちえちクロノトリガー🧪
- トランプ、AliExpressやTemuの商品に1個25ドルまたは30%のスペシャル関税をかけると発表😂 [249548894]
- 【朗報】アメリカ人、気づく「トランプはペンギンしかいない無人島にも関税を課したのにロシアは関税0ってどういうこと?🤔」 [705549419]
- 孤独な男性は休日何したらいいんだよ?
- 女さん「髪の毛ノーセットの中年男性見てると『あっこいつまともな社会人経験ないんだな』って思ってしまう」10万いいね [739066632]
- 【朗報】トランプ氏大反論「私は意図的に市場を崩壊させているだけだ。経済がわかってないわけではない」 [517459952]