ガロア第一論文と乗数イデアル他関連資料スレ12 (906ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
6: 01/01(水)10:03:18.05 ID:2b7XvZNh(6/10) AAS
つづき
10おまけ：個人的な考え
ここでは、80年代から現在にいたるまで極小モデル理論で重要な位置を占めているX-論法と、最近の新しい議論について個人的な意見を少し書いてみたい。通常の論文などには書かない個人的な印象である。あくまで私の考えである。X-論法の最もすばらしい点は、その強力さにあると思う。広中の特異点解消定理と係数を揺するという小細工をつかうことにより、様々な結果を川又–Viehweg消滅定理の応用として示すことが出来るのである。
最後に少しネタをばらしておく。[F1]と[F2]で対数的標準対に対する評価付きの固定点自由性の問題を扱った。これらは川又対数的末端対に対する結果の完全な焼き直しである。数学的には大した結果ではないと思う。[F1]と[F2]はKoll´ar氏やAngehrn氏とSiu氏の議論の手直しに過ぎない。ただし、[F1]と[F2]での試行錯誤が今回の[F6]につながったので、そういう意味では[F1]と[F2]は私にとっては非常に価値があった。結局のところ、やっぱりいろいろやってみないとダメだな、と改めて思った。以上。
藤野修先生は、令和５年 大阪科学賞を受賞されています
おめでとうございます
(参考)
//osaka-prize.ostec.or.jp/41-1
第４１回（令和５年度）
大阪科学賞（OSAKA SCIENCE PRIZE）受賞者の横顔
省17
18: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/05(日)23:04:21.05 ID:y/tQADnI(4/4) AAS
>>11-14
ID:nP9DtqA0 は、御大か
夜の巡回ご苦労さまです
>>11と>>12は
箱入り無数目スレのオチコボレさんの二人か
あほづら ご苦労さまです
72: 01/08(水)13:35:14.05 ID:Y1LzUWiu(6/6) AAS
>彼のコピペが無きゃ新しい知識を仕入れることができない
これはどこから導けたわけ？
102(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/10(金)21:18:23.05 ID:NmRCi1sD(1/3) AAS
>>99-101
(引用開始)
対角線論法は、可算整列ができないと
使えないのでは？
選択公理 vs 整列可能定理
と同様に
可算選択公理 vs 可算整列可能定理
となると思うが
(引用終り)
まず、先へ進もうねｗ ；ｐ）
省38
311: 01/15(水)18:52:47.05 ID:zEkLeAcw(11/13) AAS
>>302-305
コピペは無駄
いくらコピペを重ねても「仮定は証明不要」すら身に付かないことが実証されてしまったから
407(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/18(土)19:49:39.05 ID:yCcyDMub(8/12) AAS
>>400
(引用開始)
私は見ず知らずの他人に構って
あたかも小中高の教師の如く頻繁に他人を比較する
貴様のような教師根性の持ち主が大嫌いなのだ
貴様は世間が数学の得意な人ばかりで
構成されている訳ではないことが分からないから、
>>1におサルっていわれているんだよw
このアホ
(引用終り)
省3
451(1): 01/19(日)17:56:58.05 ID:xK12QWtu(11/18) AAS
>>449
大学１年レベルの線型代数も出来ないのか
行列式と連立方程式の解法なんて
小学生にとっての九九と同じだろ
おまえ、全然理解してないのか
だったら数学は諦めろ 絶対無理だから
580(1): 01/25(土)05:13:04.05 ID:AIirwIxg(2/8) AAS
>>574
>いま、基礎論の教科書を書いているとすると、
>整列可能定理の証明前に、
>任意集合Aが なんらかの濃度を持つ
>という集合の濃度の章（or 節）を、
>すでに書いているかどうか（書けるかどうか）
？
順序数の全体が集合でないことを証明しておけば
整列定理で上限がない場合
Aが順序数の全体を”部分”として含むので
省2
636(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/26(日)15:01:23.05 ID:57hfZFiX(7/17) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
>>633
>f(A∖{aξ∣ξ<α}) ってことは A∖{aξ∣ξ<α} はfの定義域の元だろ？
>君が言うように定義域の元が定義域なら x∈x だから正則性公理に反するぞｗ
ふっふ、ほっほ
何を言っているのか、意味不明ですよ
Jech の証明>>631 に イチャモンつけているの？
『定義域の元が定義域なら x∈x だから正則性公理に反する』？？
省21
639(1): 01/26(日)15:48:53.05 ID:b1A8rVdb(16/24) AAS
>>638
>うん、そうだよ それがどうしたの？
わろた
|2^A|>|A|はカントールが証明済み 「それがどうしたの？」に尽きるねｗ 雑談くんまた公開処刑されちゃったねｗ
674(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:20:51.05 ID:CtxJncrm(3/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ご苦労様です。
>>668-670
>それは P(A)-Φから要素を選ぶ選択関数fそのまま
それ、”選択”という日常語に 流されている
選択公理は、無限集合族を定義域とする関数だから、特別に公理が必要だ
”P(A)-Φ”という 定義域が ただ一つならば、置換公理の関数で間に合う
省22
687: 01/27(月)16:04:57.05 ID:LSdHrjXv(1) AAS
だったら何も書くな
742: 01/28(火)15:19:06.05 ID:SFFxcmct(14/28) AAS
>>734
>血の巡りの悪い人がいるね
それが君
>それ>>730に書いたけど Aが可算だとするよ
>そうすると、選択関数の定義域を、P' (＝Aのべき集合から空集合を除いた集合)
>で考えても良いが
じゃ終了
>問題は そのままでは そもそも 順序数での添え字付けがないってことだ
使わない添え字がなんで要るの？ 馬鹿なの？
>（そして もし 添え字付けすれば Aより一つランク上の無限の順序数の添え字要）
省9
789: 01/29(水)16:11:36.05 ID:BOFoeGBB(7/10) AAS
>>784
おサルさんは理解してないだろうけど
>Aから一つずつ Aの要素を取り出して
というナイーブな考えが通用するのはAが有限集合のときだけ。
つまりおサルさんは選択公理を無意識に自明なものとみなしてしまっている。
おサルさんはカントールがそうしていたことをしばしば口にするが、実はおサルさん自身だったｗ
876: 01/31(金)06:59:14.05 ID:uxf2uT9e(7/8) AAS
●ルは自分が数学を理解するだけの能力があると思い込んでるようだが
残念ながらそれは嘘である
彼はいまだに大学１年の４月の挫折の原因を正しく認識できておらず
したがって壁を乗り越えることができない
欠陥（論理に対する無理解）を認識し
これを乗り越える努力（具体的には論理の理解）を行わない限り
どれほど数学書をチラ見流し見したところで何も理解できないだろう
論理を理解することがチラとか流しとかいう残念な状態からの脱却
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.215s*