[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
654
(2): 2020/05/14(木)09:37 ID:yUsAr7Ai(1/17) AAS
>>640
>可能性は、3つ
>1.ショルツのいうように、IUTは全然ダメ。箸にも棒にもかからない。修正不能
>2.多少ギャップはあるが、成立しており、修正可能
>3.パーフェクトに成立している

その3つではないな

A.IUT理論の前提は無矛盾であり、系3.12の十分条件となっている
省16
655: 2020/05/14(木)09:49 ID:yUsAr7Ai(2/17) AAS
>>651
Joyalのspeciesは望月のspeciesとは無関係ですよ
言葉だけで検索するとドツボにはまります
664: 2020/05/14(木)11:45 ID:yUsAr7Ai(3/17) AAS
>>658
>私ら

「私は」ですね

「自分以外の仲間がいる」というのは妄想なので薬を飲みましょう

>世の中を現実的にしか見ませんので

「私も」ですよ
省33
665: 2020/05/14(木)11:59 ID:yUsAr7Ai(4/17) AAS
じゃ、今度は、こっちから反撃

論点7.もしIUT理論が間違ってたとしたら?

そりゃもう大騒ぎさw

え?プロがよってたかって査読してミスが見つけられなかった?
世界の柏原が出席したあの記者会見は茶番?
SSレポートに対する「∧と∨の取り違え」の反論は何だったの?

そしてきっとこんな本が出る
省2
667: 2020/05/14(木)12:06 ID:yUsAr7Ai(5/17) AAS
>>663
>「(査読過程は)墓場まで持っていく」

メロドラマ風展開

T川「「な、いいだろ?」といってムリヤリ・・・」
M月「何云ってるんだ!君も合意の上だっただろ」

ワイドショーMC「この展開、どう思いますか?ゲストの新垣結衣さん」
新垣結衣   「なんか気持ち悪いですね。数学者ってもっとロマンチックな人かと思ってました」
省2
670: 2020/05/14(木)14:18 ID:yUsAr7Ai(6/17) AAS
>>669
>G玉川:「望月論文は正しいと思ってもらって良いです」
>(”G玉川”は、未定義用語とする)

B玉川ではなく?

今後の魔展開

PSルツ「IUT論文の矛盾を証明したので論文書いた!」
M月S一「ガッデェェェェェム!!!」
省3
675: 2020/05/14(木)15:54 ID:yUsAr7Ai(7/17) AAS
>>673
「無矛盾で完全な数学」の夢がゲーデルの不完全性定理によって
打ち砕かれた後のヒルベルトの落胆は察するに余りある
685: 2020/05/14(木)17:42 ID:yUsAr7Ai(8/17) AAS
>>678
訳も分からずは無意味な間投詞なので省きますw

>「数学者の特性]
>1.証明を読みたがる

証明は単なる正当性の証拠ではなく
重要な情報を持ちますから
読むのは当然です
省10
687: 2020/05/14(木)17:52 ID:yUsAr7Ai(9/17) AAS
>>678
訳がわからんからは無意味な間投詞なので省きますw

>「工学系の特性」
>1.証明などは ななめ読みw

そもそも読まないし、読んだって論理が分らないから理解できない

>2.厳密性よりも 全体の流れで 成否を判断する

そもそも流れ以前に
省12
688: 2020/05/14(木)17:56 ID:yUsAr7Ai(10/17) AAS
>>678
>IUTの証明は、私は 読む気は全く無く ただ眺めています

壁の染みを眺めるようなものだね

>(なお、眺めているだけで、分かることも多い)

分かった気になるのと分かるのは違うね

>だれかが エグゼクティブサマリーレポートを書いてくれたときに、それが読めるように
省2
689: 2020/05/14(木)18:01 ID:yUsAr7Ai(11/17) AAS
IUTどころか19世紀の数論やら保型関数ですら
工学系にとっては無用なものだろう
691
(1): 2020/05/14(木)19:03 ID:yUsAr7Ai(12/17) AAS
>>690
式を計算するだけの数学ユーザーと
数学を作る数学研究者は全然違う
695: 2020/05/14(木)19:19 ID:yUsAr7Ai(13/17) AAS
>>692-693
感情的ですな

望月新一本人?
696
(1): 2020/05/14(木)19:33 ID:yUsAr7Ai(14/17) AAS
>>694
>PDEの理屈証明なしに使ってるクオンツ

タブロー法を「充足不能なら必ず閉じる」証明抜きに使ってる奴
みたいな感じか

IUTもそういう馬鹿チョンで使えるものがあるなら
素人でも関心をもつ意味がありそうだが
・・・まあ、ないだろうな
697: 2020/05/14(木)19:56 ID:yUsAr7Ai(15/17) AAS
例えばABC予想について

c<K(ε)rad(abc)^(1+ε)

となるK(ε)を具体的に求められる、
というなら(実用性はともかく)
素人にも食いつく余地がありそうだ
702
(1): 2020/05/14(木)20:46 ID:yUsAr7Ai(16/17) AAS
一番のアンチは見当違いな応援で贔屓の引き倒ししてる人じゃないかな
719: 2020/05/14(木)22:02 ID:yUsAr7Ai(17/17) AAS
vu4SAa7Pは贔屓の引き倒し型アンチですね

応援するフリして足を引っ張るなんて悪辣ですね
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s