問題点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に到達不能基数も存在しない」にはなりません。
ここを区別せず「巨大基数」という一括りにしているのが問題です。
スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
■ このスレッドは過去ログ倉庫に格納されています
656132人目の素数さん
2026/09/17(木) 16:25:56.91ID:aitTp+2z■ このスレッドは過去ログ倉庫に格納されています
ニュース
- Youtube、「家族系YouTuber」を相次ぎ「収益化停止」する動き、収益化再申請も認めず、弁護士の見解は [お断り★]
- 【ドパ親】高齢の親の“YouTube依存”に頭を抱える家族…精神科医「孤独な高齢者ほどのめり込みやすい」社会学者「1対1の没入感がある」 [煮卵★]
- 【野球】日本ハム、レイエスと4年63億円で契約延長へ 年俸15億円超え 「歴史的」大型契約で残留… NPB史上最大クラスか [冬月記者★]
- トランプ米大統領、民主党が勝利すれば「1929年のような大恐慌」が起こると警告 11月3日の中間選挙 債務40兆ドル ★2 [お断り★]
- 【GMO攻撃】北朝鮮ハッカーか 複数の痕跡、政府に報告 ★2 [煮卵★]
- 【全文掲載】全国民に「事前防災徹底のための緊急要請」 細野防災大臣 「水・食料、携帯用トイレ等の備蓄」など [ぐれ★]
- 【画像】新幹線、女さん「イヤァーー!指定席で隣の席に男の人座ってる!!ムリ!絶対無理!!」 [743999204]
- 明日10時仙台駅爆破する
- 5ch運営、荒らしスクリプトは規制しないくせに避難所告知スレは即削除する ★7 [344747625]
- 【画像】「既知コンテンツ反芻おじさん」とかいう悲しき生き物……………
- 細野豪志大臣「カスコラァ! 災害になったら公助に頼らず10日ぐらい生き延びんかーい!!!!!」 [592058334]
- 【正論】ひろゆき「日本と中国は仲良くするべきなのにそれを言うと何故か叩かれる」