問題点1
「L はグロタンディーク宇宙 U を否定している」は明確におかしい
最も大きな問題は、>>565以降の
「まとめると Lは、強到達不能基数κのグロタンディーク宇宙Uを否定している」
という主張です。
これは、
「Lというモデルの中で巨大基数について何が成り立つか」と、
「V=Lという公理を採用した場合に何が成り立つか」を
かなり混同しています。
実際、本人が引用している資料自身が、
L is a standard inner model of ZFC
と言っています。
さらに引用している説明には、
L が「可測基数が存在する」という命題を満たさない、
という話があります。
ここで重要なのは、
「Lでは可測基数が可測基数として存在しない」
「Lには巨大基数が一切存在しない」
「Lはグロタンディーク宇宙を否定する」
は全部別の命題だということです。
例えば、κ が V で強到達不能なら、通常、κ が L においても強到達不能である可能性を排除できません。
少なくとも「Lはグロタンディーク宇宙を否定する」という結論は、引用した資料からは出ません。
むしろ、本人が引用したWikipediaの文章は、
可測基数が存在するなら L では「可測基数が存在する」が成立しない
という可測基数についての話です。
これを「だから L には巨大基数が存在しえない」と一般化してしまうのは誤りです。
本人自身が>>646で、
「つまり、ゲーデルの構成可能宇宙 L 内には巨大基数は存在しえない」
と一般化しています。
これはかなり重要な数学的誤りです。
何が正しいか
例えば、
「まとめると Lは、強到達不能基数κのグロタンディーク宇宙Uを否定している」
L is a standard inner model of ZFC
ここで重要なのは、
「Lでは可測基数が可測基数として存在しない」
「Lには巨大基数が一切存在しない」
「Lはグロタンディーク宇宙を否定する」
到達不能基数
可測基数
Woodin基数
その他の巨大基数
はそれぞれ性質が違います。
特に 「Lに可測基数が存在しない」から「Lに到達不能基数も存在しない」にはなりません。
ここを区別せず「巨大基数」という一括りにしているのが問題です。
ニュース
- 「今まで何だったん」堀大輔氏 配信終了後に「ショートスリーパー」表記を削除→「睡眠時間は自由」に変更でネット騒然 ★2 [Ailuropoda melanoleuca★]
- 【次のパンデミックでワクチンを打ちますか?】日本人2万人以上を調査 「必ず・おそらく接種する」53.1% ★4 [煮卵★]
- 「POPOPO」サービス終了 開始から約半年 川上量生氏が全額出資 庵野秀明氏、GACKT氏、ひろゆき氏らが取締役として参加 [煮卵★]
- 「逮捕してよ」「露出狂キモッ」 公然わいせつ懸念の声… 水球の選手たちが『上半身裸のブーメランパンツ姿』で渋谷を闊歩 激怒の声 [冬月記者★]
- 小野田紀美大臣「フロント」から4列目へ 今回は「黒のモーニング」でひな壇撮影 [少考さん★]
- 川口バイク男性死亡、トルコ国籍男に異例の実刑判決 1年6月さいたま地裁「危険な運転」 [少考さん★]
- 【急募】なぜ日本人は「左翼」が嫌いなのか ★2 [339035499]
- JCだけど質問ある?
- 【朗報】スヤスヤJSのおねしょタイム到来
- 👊😅👊夜長のまったりダブパンハウス🌃🏡
- ジャップスタバ、売却wwwwwwwwwwwwお荷物だった… [668024367]
- 15歳の女の子です。今起きたんですが下腹部に違和感が・・・