巨大数探索スレッド14at MATH巨大数探索スレッド14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト900:132人目の素数さん 18/12/31 13:12:42.82 5vcVYDjH.net つまり、ZFCのなかの一階述語論理で構成できるVαの上限Vでの真偽と、 oodleのモデルでの真偽は、 ZFCの中の一階述語論理では扱えないので、ZFCの中でreasonableな公理系を持つVを扱えるような二階の理論を導入する必要があるが、それだと構成不可能なほど強力であることが求められてしまう ということだろうか こういうのって何の分野の本を読めば勉強できるんだ モデル理論? 901:132人目の素数さん 18/12/31 13:41:44.74 9U+imPi1.net この分野だと2階集合論としてどの公理系を使うことが多いですか? 902:majimanji 19/01/03 12:00:40.61 gvMX8JKe.net このスレはゴミ箱だ。 嫌な広告、AA、リーマンの3つが、このスレをゴミ箱にしている。 Twitterやdiscordで研究した方がまだましだ。 903:132人目の素数さん 19/01/03 12:44:52.14 iPdLg+cc.net どのへんがリーマンなんだ? 904:132人目の素数さん 19/01/03 12:53:33.63 +sMFo9DY.net こういう世の中なんで、うまくいってる人でも 不満の当たり所探してるってのはあるような気も・・ 内実どんな職種でも楽観してないです 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch