数学基礎論・数理論理学 その19
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、 https://rio2016.5ch.net/test/read.cgi/math/1474357543/ もし素因数分解とその解の検算が、「どちらにも指数時間かかる」のならそれはEXPTIMEで、 【悲報】数学板の住人x+1を変数だと思ってた https://web.sfc.keio.ac.jp/ ~hagino/logic16/07.pdf y＝x のグラフを左に1移動させる ⇒ (実)変数を含む公式に、定数(それがたとえ虚数でも)を代入しても さて、虚数は、 >>118 で述べた ∀x∈ℕ.∃(x+1).x<x+1 ───① >>127 よ。早朝から、何を戯けた言霊を言ってるのぢゃ エスプレッソ1杯は30ミリリットル⇒ 構成可能宇宙LがZFCのモデルになるとWikipediaに書かれているけど ZFC+宇宙の公理(？)という理論の中でのモデルということだろう クラスで付番されたクラスの”組”とか考えてもいいの？ >>136 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%EF%BC%9D%E3%83%99%E3%83%AB%E3%83%8A%E3%82%A4%E3%82%B9%EF%BC%9D%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96 https://en.wikipedia.org/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory >>138 >>137 の通りだが、補足しておくと、なんでクラスを制限するのか？ https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_ (%E9%9B%86%E5%90%88%E8%AB%96) 追加引用しておきます https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_ (%E9%9B%86%E5%90%88%E8%AB%96) https://ja.wikipedia.org/wiki/%E5%9C%8F_ (%E6%95%B0%E5%AD%A6) >>139 補足 https://fuchino.ddo.jp/misc/cohenx.pdf >>140 >>142 https://ja.wikipedia.org/wiki/%E8%B6%85%E7%8F%BE%E5%AE%9F%E6%95%B0 https://en.wikipedia.org/wiki/Surreal_number 誤 基礎論屋 正 ド素人： これは正しい ”クラスのクラス”で、このスレの全文検索をしたが、おサルさんの上記カキコ以外ヒットせずですよ >>146 まあ、素人どうしで蘊蓄を語り合うの図かな ；ｐ） >>150 >>149 >>147 >>152 >>154 未だに箱入り無数目の問題で自称基礎論婆と罵倒合戦してるんだろｗ >>153 >>158 >>156 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません 練習問題にしてはハードすぎないか？ >>105 
