[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
52(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)17:38:28.55 ID:PmfdHnoP(6/9) AAS
>>48-50 補足
(引用開始)
外部ﾘﾝｸ:en.wikipedia.org
Solovay model
Statement
ZF はツェルメロ-フランケル集合論を表し、 DC は従属選択公理を表します。
ソロヴェイの定理は以下の通りである。到達不可能な基数の存在を仮定すると、適切な強制拡大V [ G ]の ZF + DC の内部モデルが存在し、任意の実数集合はルベーグ可測であり、完全集合性を持ち、ベール性を持つ。
Complements
Finally, Shelah (1984) showed that consistency of an inaccessible cardinal is also necessary for constructing a model in which all sets of reals are Lebesgue measurable. More precisely he showed that if every Σ13 set of reals is measurable then the first uncountable cardinal ℵ1 is inaccessible in the constructible universe, so that the condition about an inaccessible cardinal cannot be dropped from Solovay's theorem. Shelah also showed that the Σ13 condition is close to the best possible by constructing a model (without using an inaccessible cardinal) in which all Δ13 sets of reals are measurable. See Raisonnier (1984) and Stern (1985) and Miller (1989) for expositions of Shelah's result.
シェラとウッディン (1990) は、超コンパクト基数が存在する場合、 L ( R )内の実数のすべての集合（実数によって生成される構成可能集合）はルベーグ可測であり、ベール性を持つことを示した。これには、あらゆる「reasonably definable」実数集合が含まれる。後に、超コンパクト基数の使用は大幅に弱められ、無限個のウッディン基数と、それらすべてより上に可測基数を持つものだけになることが示された。
省12
70(2): 11/03(月)16:14:04.55 ID:u7vdmd1+(3/14) AAS
>>63
>人は、ZFCの外で思考している（思考できる）
↑素人の妄想 その１
前提なしに意味のある論理的思考はできない
これ豆な
>それに加えて、人の思考は 一階述語論理に縛られない
↑素人の妄想 その２
人の論理的思考は、一階述語論理＋「公理の集まり」という公理系で表せる
省13
106: 11/04(火)04:53:24.55 ID:NexgTmN4(2/2) AAS
セタな
どこまでもどこまでも頭悪い
279: 11/05(水)19:16:08.55 ID:3HT78/hG(3/19) AAS
日本の国名も日本国の推古女帝が日出処の天子として中国に知らしめたのが中国にとっての始まりだ。
大嘘吐き野郎が。
中国ではこれに習い、武則天が日本と我が国の国号を改めたんだよ！
無知蒙昧の間抜け野郎が。
464(2): 11/08(土)01:57:29.55 ID:rzEyvxdc(1) AAS
イタリア語版は充実してなかったっけ？
481(2): 11/08(土)09:43:44.55 ID:hP1E8Bup(4/11) AAS
>>479
>現代数学で 圏論が重要だと 例の数学者・加藤文元先生も 仰っていますです ハイ （＾＾
圏論は重要ですよ？
あなたに聞いたのは
>>472
>>>圏論のロジック（矢印図）の方が重要だと思うよ
>>>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>>「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
>>これもどこかに書かれていたのでしょうか？
>>あるいはあなた独自の解釈？
省6
656: 11/09(日)17:46:29.55 ID:Gd/zJ3yt(2/9) AAS
望月先生は正直基礎論の話ならほんとに学部生レベルしかない
数論では天才なのかもしれないが、天才なら基礎論の勉強しなくてもいいわけではない、という事を自ら証明した事になるわな。ヒルベルト、ゲーデル、カントール、チューリング、数学の歴史に大きく名を残す大天才たちと比べれば流石に足元にも及ばん。
結局数学史に名を残す級の天才と小天才の差は偉大な先人の偉業にキチンと畏敬の年を持ってその成果をまずキチンと引き継ぐ気持ちを持てているかどうか、やろな
まぁ望月先生はこっち側の人やったって事やな。
765(1): 11/11(火)14:09:40.55 ID:SNA+12OI(1/2) AAS
「www」は、ネットスラングとして「笑い」を意味します。具体的には、文章の終わりに「w」を付けることで笑いの感情を表現します。また、「www」は「World Wide Web」の略称でもあり、インターネットの入口を指します。文脈によって意味が異なるため、使用する際には注意が必要です
857: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)16:15:54.55 ID:QECWbxG/(6/7) AAS
>>856 補足
(引用開始)
外部ﾘﾝｸ[htm]:www.saiensu.co.jp
複素多様体論講義 - サイエンス社
saiensu.co.jp
辻元著
2020/03/10 —
16.2 コンパクトリーマン面上のリーマン-ロッホの定理 . . . . . . . . . . . . . . . . . . 165.
16.3 ...
18.2 有限性定理と上半連続性定理 .
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s