フィッシュの巨大数論を読んで、ご本人のなかではすでに解決してるかも
ラヨ関数は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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「今日は解放の日だ」相互関税砲発射、世界の株式市場に激震 米ハイテク7銘柄、約112兆円失う [おっさん友の会★]
- 【フジテレビ】親会社の大株主・ダルトンが声明 清水社長ら5人の取締役に退任要求… 「経営刷新にはほど遠い」「株主として許し難い」 [冬月記者★]
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 ★5 [Hitzeschleier★]
- 2025/04/03(木) 23:02:09.38 ID:xJTaPh440<> 最近襲われなくなったね <>
- トランプ関税 日本24%、中国34%、台湾32%、韓国30%、EU20%、英国10%など [パンナ・コッタ★]
- 【国際】マクロン大統領「アメリカ人は貧困化するだろう」 [ぐれ★]
- 株価の急落を喜ぶトランプ支持者の声が相次ぐ「効いてる証拠だ」「投資家は労働者階級から金を奪い続けてきた」 [281145569]
- 【史上最低のオリンピック】 東京五輪談合事件、電通などに30億円の課徴金 [476729448]
- 【悲報】トランプ米大統領「今日は米国民の解放の日だ!」→米ハイテク株が112兆円失われてしまう [354616885]
- YouTubeで毎月10万くらいを稼ぐ方法
- ドル145www石破どうすんのきれ [357222248]
- ドラッグストア「コスモス」の無断駐車騒動、決着。共同駐車場だったことが判明したのでコスモスの完全敗北 [744361492]