[過去ログ] 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*