>>332
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
考えるのはいいけど、君、包含関係の列になる理由を分かってる? ただの受け売り? それは勉強とは言わないよ
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で
だから間違いだと何度言わせるの? 間違いと指摘されてるんだから最低でも指摘が正しいかくらい確認しなよ 君の性格からして俺様数学やりたいんだろうけどさ
>この順に大きくなり
包含関係の列になる理由を理解してる?
>Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
Vκはκを含まないよ。Vκ:=∪[λ<κ]Vλ だから仮にそうでないとするとλ<κであるようなVλのいずれかがκを持っていることになる。
何も考えずに妄想語るのは数学とは呼べないよ。
>・Voは、到達不能基数を全く含まない 通常基数の宇宙
ある到達不能基数κに対して、一般に「o<κであるような到達不能基数oは無い」は言えない。それが言えるのはκが最小の到達不能基数のときだけ。
「通常」なる馬鹿語は使わない方が良い。君の中の「通常」が他人にとっても「通常」である根拠は1ミリも無い。
Vの階層は階層であって宇宙とは呼ばない。宇宙とは全体という意味だから。
>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾(∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立)
まずVk+1は集合であって、集合単体に矛盾も無矛盾も無い。
Vk+1が、ある理論のモデルである場合もモデル単体に矛盾も無矛盾も無いが、モデルが存在する理論は完全性定理により無矛盾。
君がどういう意味で「Vk+1が無矛盾」と言ってるのか不明なので主張全体としても何を言ってるのか不明。
>・κの存在証明が不可能は、良いだろう
良くない。
何の仮定も無しにはいかなる命題も証明できないことは理解できる?
ある命題の証明可能性を語るときどんな仮定(公理)からかを言わなければ意味を為さない。君の発言はナンセンス。
もう初歩の初歩の初歩からダメ。一から勉強してください。数学を手っ取り早く理解する近道なんてありません。
ニュース
- 【AI】アンソロピック、AIの「人類存亡リスク」警告 IPO目論見書 ★2 [ぐれ★]
- 【三国志】曹操でも諸葛亮でもない…「続きを見たかった人物」ナンバー1とは? [湛然★]
- トイザらス、日本事業撤退 ドンキ買収、国内150店 [おっさん友の会★]
- 「特定技能」外国人、過去最多の44万人 半年前から13.8%増 6月末時点 [首都圏の虎★]
- 玉川徹氏、アジア大会の金メダルに喜ぶ日本人を分析「GDPで負けている。だからトップになれたら嬉しいと思う状況にあるのでは」★2 [muffin★]
- 『ミヤネ屋』の後番組『ニュースto』 MCは村上信五、黒木千晶 レギュラーに黒谷友香、石原伸晃、アンミカら…ミヤネ屋からの残留も多数 [冬月記者★]