[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
49(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)17:23:54.11 ID:PmfdHnoP(4/9) AAS
つづき
このようにして、ソロヴェイは、ZFC (ツェルメロ-フランケル集合論と選択公理を加えたもの)からの非測定集合の存在の証明において、少なくともアクセス不可能な基数の存在が ZFC と一致するという前提のもとで、選択公理が不可欠であることを示しました。
Statement
ZF はツェルメロ-フランケル集合論を表し、 DC は従属選択公理を表します。
ソロヴェイの定理は以下の通りである。到達不可能な基数の存在を仮定すると、適切な強制拡大V [ G ]の ZF + DC の内部モデルが存在し、任意の実数集合はルベーグ可測であり、完全集合性を持ち、ベール性を持つ。
Construction
Solovay は、アクセス不可能な基数 κ を含む ZFC の モデルMから始めて、2 つのステップでモデルを構築しました。
最初のステップは、κ 未満のすべての基数を ω に縮約する強制の概念の一般集合Gを追加することにより、 Mのレヴィ縮約 M [ G ]をとることです。すると、 M [ G ] は、順序数の可算列上で定義可能なすべての実数集合がルベーグ可測であり、ベール集合の性質と完全集合の性質を持つという性質を持つ ZFC のモデルになります。(これには、すべての定義可能集合と射影的実数集合が含まれます。ただし、タルスキの定義不可能性定理に関連する理由により、定義可能な実数集合の概念は集合論の言語で定義できませんが、可算な順序数の可算列上で定義可能な実数集合の概念は定義できます。)
省3
133: 11/04(火)09:11:18.11 ID:Afdq/ab6(6/32) AAS
批判するだけなら楽ちん
あべがー たかいちがー って吠えてりゃいいだけ
145(1): 11/04(火)10:37:19.11 ID:0lysHLYN(3/13) AAS
チベットやウイグルの人口も知らん奴が馬鹿騒ぎする
408(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)10:02:10.11 ID:yoeUrdl8(1/13) AAS
>>407
>アホは数学板から消えてくれ
>臭くてかなわん
ふっふ、ほっほ
それ、君自身だよ
１）数学科のオチコボレさんは、場末の5ch数学板を 数学会の代用と勘違い
２）ここは、場末の5ch数学便所板だよ
３）”臭くてかなわん”？ 便所板で？ じゃあ、5ch数学板で 「まともなスレ」ってどれよ
三つあげろ。無いでしょ！ｗ ；ｐ）
アホが、便所板で
省2
428(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/07(金)17:10:16.11 ID:yoeUrdl8(9/13) AAS
>>419
>> This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.”
>> ここで ”radical simplifications”が、ストローマンでアウト！
>どうしてそう判断できたのでしょう？
「どうしてそう判断できた」？ なにを仰るウサギさん ；ｐ）
１）ショルツエ自身が、”radical simplifications”やってますと 自白しているｗ
２）下記のワイルズ フェルマーの最終定理の例を、百回音読してね
３）証明へのダメ出しは、”ギャップを指摘すること”！ それ以外にはありえない！！（反例提示を除いては）
もし、”radical simplifications”を許すならば
今から ど素人の私が、ワイルズ証明を ”radical simplifications”と称して 書きなおして「矛盾起きた」とできるぜよｗ
省8
444: 死狂幻調教大師S.A.D.@月と六ベンツ 11/07(金)18:28:37.11 ID:AosDg46d(5/16) AAS
タッチ疑惑と世間知らず。
459: 11/07(金)19:18:09.11 ID:Wa1lajrV(8/9) AAS
>>438
>実際、日本人数学者で 望月IUTを否定する数学者は、皆無です
>フランス人数学者においても同様です
受け入れている数学者も望月さんの周りの人以外にほとんど居ないようですね
先日の学会講演でも
大変よい機会であったにもかかわらず
言及は一切無く幻滅しました
周りの人達もだんだん離れて行っているのでしょうか？
477(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)09:23:39.11 ID:P9qVEF++(3/25) AAS
つづき
(参考)
外部ﾘﾝｸ:zbmath.org
zbMATH Reviewer: Peter Scholze (Bonn)
Mochizuki, Shinichi
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
(抜粋)
Finally, let me briefly summarize the content of the individual papers. In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content.
“Why ABC is still a conjecture” [外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de] that discusses the issues in slightly more detail.
省8
501: 11/08(土)11:46:34.11 ID:ZuSEB9pS(9/21) AAS
>>496
まーたセタがしったかしてアホなこと言っとる
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
>もし ”人が 純粋な述語論理のみで思考するならば・・”だが
述語論理に限らん。命題論理でも同じだ。
>具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス
>これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい
>そして、集合論における ラッセルのパラドックス に 繋がっている
>だが、古代から近世において
省5
558(1): 11/09(日)08:00:47.11 ID:CA6TFgJW(9/64) AAS
アナトリアの住民が昔ギリシャ語、今トルコ語をしゃべってる時点で
言語とか民族としてのアイデンティティとかいうものは
遺伝形質でもなんでもないということがわかる
人が生きるのにアイデンティティは要らない 最低、食料があればいい
645: 11/09(日)17:03:05.11 ID:CA6TFgJW(36/64) AAS
ピダハン―― 「言語本能」を超える文化と世界観 単行本 – 2012/3/23
ダニエル・L・エヴェレット (著), 屋代 通子 (翻訳)
5つ星のうち4.7 300個の評価
著者のピダハン研究を、認知科学者S・ピンカーは「パーティーに投げ込まれた爆弾」と評した。
ピダハンはアマゾンの奥地に暮らす少数民族。
四〇〇人を割るという彼らの文化が、チョムスキー以来の言語学のパラダイムである「言語本能」論を揺るがす論争を巻き起こしたという。
本書はピダハンの言語とユニークな認知世界を描きだす科学ノンフィクション。
それを三〇年がかりで調べた著者自身の奮闘ぶりも交え、ユーモアたっぷりに語られる。
驚きあり笑いありで読み進むうち、私たち自身に巣食う西欧的な普遍幻想が根底から崩れはじめる。
省9
802(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/12(水)10:03:32.11 ID:ALZYQ4aC(2/9) AAS
>>799
巡回ご苦労様です
”ばかばかしい”
ダメ出しが でました （＾＾
913: 11/14(金)15:40:56.11 ID:HQmSSxuC(6/12) AAS
>>909
病院コワイの？
928: 11/14(金)18:01:22.11 ID:KYW6999v(5/5) AAS
小地域順位
1 静岡県 浜松市 狩宿(約50人)
2 広島県 廿日市市 地御前(約30人)
3 新潟県 佐渡市 春日(約30人)
4 静岡県 浜松市 三和(約20人)
5 静岡県 浜松市 奥山(約10人)
6 和歌山県 紀の川市 西野山(約10人)
6 静岡県 浜松市 初生町(約10人)
6 静岡県 浜松市 西山町(約10人)
6 東京都 八王子市 中野上町(約10人)
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s