[過去ﾛｸﾞ] Inter-universal geometryとABC予想(シン応援スレ) 90 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
3(3): 04/19(日)23:03 ID:sZwIiKAd(3/41) AAS
つづき
(参考)
応援スレ67 2chｽﾚ:math
>【検証】どうして望月新一はICM2022で何の賞もなかったの？
>「100%の自信をもって」アクセプトしたんだよね？
>「アリの這い出る隙間もないほど完璧な」査読を行ったんだよね？
１）囲碁将棋に例えると、難しい詰将棋があるとして、囲碁の人に説明しても理解されないが如し
（あるいは、逆に将棋の人に難しい詰碁を説明するが如し）
（一つ一つのロジックは単純でも、数十手以上とか長手数になると、その道のプロ以外には理解が難しいってこと）
２）21世紀の数学は専門が細分化されているから、遠アーベルというゲームのルールに疎いおっさん（ショルツェ氏）は
省11
26: 04/19(日)23:18 ID:sZwIiKAd(26/41) AAS
つづき
外部ﾘﾝｸ:zen.ac.jp
プレスリリース ZEN大学 2026/03/31
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
―世界3大学による国際共同研究として始動―
x.com/ math_jin/
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
youtube.com
省30
519(1): 04/29(水)10:17 ID:2S4u84TC(4/20) AAS
>>518
>有理数のコーシー列（Cauchy sequence）と選択公理（Axiom of Choice）の主な関係は、実数の構成（完備化）における「可算選択公理」の必要性にあります
>3. なぜ選択公理が必要か？
>有理コーシー列で実数を定義しようとしても、適切に収束する列 {an} を作ることができない。
はい、大間違いです。
有理コーシー列全体の集合X上の同値関係〜を「{an}〜{bn}⇔lim[n→∞](an-bn)=0」で定義し、商集合X/〜上の加法・乗法・全順序・極限を適当に定義すればX/〜が完備順序体であることを示せる。
上記において何らの選択公理も不要。
サルは考えてからものを言おうな。口から出まかせじゃ一生畜生界のままだぞ。
718: 05/02(土)08:55 ID:ZQVChVf0(3/11) AAS
>>714
>3）ここを批判しているのが、下記のAlexander Pruss氏の mathoverflow
> coin flip なら {0,1}だが、実数 ri∈Rでは then guess πとなって dumb strategy だと
What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.
Alexander Pruss Dec 19, 2013 at 15:05
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.265s*