[過去ログ] Interーuniversal geometryとABC予想(応用スレ)51 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
615: 2021/02/17(水)13:15:08.21 ID:mkFOjzrY(13/23) AAS
>>608
>ショルツェ氏のように、
>ドツボに嵌まって、
>ドボンになる場合もある。
自分と同じ「日本人」である望月新一を礼賛したいために
どうしても非日本人であるショルツを
ドツボに嵌めてドボンさせたいみたいだね
世界の数論幾何学者は
望月よりショルツェのほうが
筋が通ってると思ってる
省8
623(2): 2021/02/17(水)14:15:29.21 ID:530kLp8E(3/4) AAS
>>612
追加
>もちろん、ショルツ自身がそんなこと把握している
>つまり、Cor 3.12の証明が証明になっておらず、その上で、Cor 3.12は成り立たないだろうという説明をしているだけ
a)「Cor 3.12の証明が証明になっておらず」と見える
b)「Cor 3.12は成り立たないだろう」(IUTは、オレサマのモノドロミーに矛盾するので不成立)
a)とb)は、繋がっているかも
つまり、b)のショルツェ氏の”オレサマのモノドロミー”というのが、結構普遍かつ常識的なもので、
望月IUTは、ご自身が説明しているように、いままでの常識を超越した理論なんだわ
で、天才ではあるけれども、ある意味優等生のショルツ先生だから
省2
787(1): 2021/02/19(金)15:35:50.21 ID:46Fge3L7(42/101) AAS
>>783-784
公理はただの前提だ
どんな「前提」を置くかは、趣味の問題
エンターテインメントが分からない奴は学問に興味持っても空しいだけ
学問は・・・エンターテインメントなんだよ
自衛隊の殺人業、強姦業とかいう犯罪業とは違う
877(1): 2021/02/19(金)22:16:14.21 ID:46Fge3L7(84/101) AAS
>>876
>エタール射と標数、完備性など適切に設定した圏を与えれば良い。
そう思ってるなら、君は数学が全く分かってない
馬鹿プログラマは数学に一切興味持つなw
961(1): 2021/02/20(土)11:22:59.21 ID:c8yOLip1(45/65) AAS
>>952
>選択公理の虚をついた仕事なんじゃないのか。
いまだに「選択公理」を排除したがる態度の理由が分からない
選択関数が構築できないなら意味がない、といいたいようだが
それは「具体的に計算できないものは無矛盾であっても無意味」
ということかい?
986(1): 2021/02/20(土)12:22:13.21 ID:+Wu9Px2F(16/21) AAS
>>984
誤植レベルのミスではない。
照井の本は、論理(日本語)がおかしかったので俺はそっと閉じた。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.206s*