- 1 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 10:09:06.84 ID:+cW2XWCC.net]
- IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/
Inter-universal geometry と ABC 予想 46
https://rio2016.5ch.net/test/read.cgi/math/1585967607/
- 238 名前：１３２人目の素数さん [2020/04/07(火) 15:58:48 ID:HKpWWrsN.net]
- >>226
チンパンジーにここでこう演技してくれって賄賂に５億円かかったってこと？
あいつらどんだけ人間やねん
- 239 名前：１３２人目の素数さん [2020/04/07(火) 16:00:20 ID:i1pK04EE.net]
- >>191
ごめん
どこにどのようなギャップがあるのか分かって議論してるの？
皆さんは
- 240 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:06:04 ID:fd35YpTC.net]
- 小山○也とか気軽にコメントしちゃって軽率すぎる
ノーコメントが一番賢いのにマスコミ来たら舞い上がっちゃってw
- 241 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:09:18 ID:iKfIzjyT.net]
- >>191
＞RIMSはここからどう立ち回るのが正解なのかね。
もはや正解はないな
「理解できないから掲載できない」と言えなかった時点でアウト
最悪 数理解析研がなくなるだろうな
確実に 次世代幾何学研究センターはなくなる
- 242 名前：１３２人目の素数さん [2020/04/07(火) 16:17:36 ID:HKpWWrsN.net]
- >>231
査読担当の数学者は？ｗ
- 243 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:04 ID:X5G/mu59.net]
- 実際8年もあって応用が全然出てこないのは事実
理解者が最初の4,5年で得た連中から増えてないのも事実
- 244 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:06 ID:8d5Fq5kz.net]
- だからプロセスは非公開なんだよ
この際「墓場に持っていく」の真意をどっか取材してくれよw
- 245 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:21:58 ID:9KomTawK.net]
- 京都大学がシュルツ氏をヘッドハンティングすればいい。
- 246 名前：１３２人目の素数さん [2020/04/07(火) 16:23:39 ID:X5G/mu59.net]
- それも奇妙だよな
馬鹿なショルツのせいで遅れたって言いたいけど
そんなこと言えないので墓場まで持っていくのか
不正しましたなんて言えないから墓場まで持っていくなのか
どいつもこいつもｗにおわせぶりだけは超一流だな
- 247 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:25:28 ID:9KomTawK.net]
- 望月さんもヘッドハンティングされそうな人なんだよな。
- 248 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:25:34 ID:vdBmxikH.net]
- >>236
それw
- 249 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:28:26 ID:2UneLpbq.net]
- 学部・研究科等の現況調査表 研究 平成28年6月 京都大学
https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_5_3.pdf
28．数理解析研究所 28-１
? 「研究の水準」の分析・判定 分析項目? 研究活動の状況
特に、過去５年間の大きなブレークスルーである「柏原予想の解決」や「ABC 予想」に
関する数論幾何学の展開に見られるように、分野融合的研究・新たな空間概念の構築を
キーワードに、新しい数学を創造することにより世界の数学史に残る業績を挙げている
ことは特筆に値する。
(
- 250 名前：水準) 期待される水準を上回る
(判断理由) 特に、望月新一による「ABC 予想」に関する論文は、これが発表された際に
国内の新聞報道のみならず、権威ある Nature の News（2012 年９月 10日）や
New York Times（2012 年９月 17 日）などにも取り上げられ、大きな話題となった。
? 「質の向上度」の分析 （２）分析項目? 研究成果の状況
本研究所は遠アーベル幾何等、双曲曲線の数論幾何の研究の中心であるが、望月新一に
よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は、特筆
すべき出来事である。当該論文は現在査読中であるが、望月新一が同理論の概要を解説した
業績番号１— (2)(2014)が、講究録別冊として刊行されている。玉川による代数曲線の数論
的基本群の l 進表現の研究（業績番号１—表(1)(2013)）、星による数体および p 進局所体
上でのセクション予想の反例の構成（業績番号１—局(3)(2010)）も、当研究所の数論幾何
の研究文化から生まれた、非常に重要な成果である。 [] - [ここ壊れてます]
- 251 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:28:43 ID:2UneLpbq.net]
- 中期目標の達成状況に関する評価結果 京都大学
平成29年6月 大学改革支援・学位授与機構
https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf
評価結果 （?） 研究に関する目標
２．中期目標の達成状況 （１）研究水準及び研究の成果等に関する目標
＜特記すべき点＞（優れた点）
○数理解析研究所における研究の推進
数理解析研究所において、「数論幾何の研究」の「宇宙際タイヒミューラー理論」
の構築とその結果としての ABC 予想に関する論文は、国内外の主要メディアで
取り上げられている。（現況分析結果）
(現況調査表の「IUT理論の構築とその結果abc予想が解決した」は削除された)
- 252 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:29:18 ID:2UneLpbq.net]
- 中央教育審議会大学分科会 大学院部会（第75回）議事録
平成27年5月13日（水曜日）10時～12時
warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1365902.htm
【岡本委員】
グローバルCOE不採択校と比較しての資料はあるのか，これ。それからもう1点，改善
定着化指標というようなもの，すなわちこれ改善を試みているわけで，5年間やって，
その後，これをどう定着，あと5年後に例えば同じことをやって，ちゃんとそれがどの程度
定着しているのかといったような，この計画はあるのかという，この2点をお願いします。
【藤田日本学術振興会課長】
申し訳ございません。不採択校との比較の方はできておらないという状況でございます。
また，経過後のフォローということにつきましても，今のところは予定はないという状況です。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
中央教育審議会大学分科会 大学院部会（第75回）配付資料
平成27年5月13日（水曜日）10時～12時
warp.ndl.go.jp/info:ndljp/pid/11293659/www.mext.go.jp/b_menu/shingi/chukyo/chukyo4/004/gijiroku/1360382.htm
資料5 グローバルCOEプログラム事後評価結果
研究成果例 G08 京都大学「グローバルCOEプログラム」数学のトップリーダーの育成
宇宙際タイヒミュラー理論 -数論におけるブレークスルー
宇宙際タイヒミュラー理論を用いることによってabc予想と呼ばれる数論の難問が解決する
ことが2012年に発表された。日本の主な全国紙は言うに及ばず、New York Times など
でも報道され、非専門家の間にも大きな話題 を提供している。宇宙際タイヒミュラー理論
は数理解析研究所の望月新一教授(GCOE事業推進者)の独創によるものであるが、 その
解説や応用には多くの若手研究者が関与している。
掲載論文等 Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I
(日本学術振興会課長はGCOEの経過後をフォローしないと言明したが京大G08はIUTを持ち出し事後評価結果を改変した)
- 253 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:32:15.54 ID:8d5Fq5kz.net]
- 柏原御大はindeterminacyを理解してるからな
- 254 名前：１３２人目の素数さん [2020/04/07(火) 16:35:21 ID:HKpWWrsN.net]
- Fumiharu Kato 加藤文元 @FumiharuKato 4月4日
50年代から60年代にかけてグロタンディークなどIHESの人々が
重要な論文や著作
- 255 名前：の多くをP.IHESから出版していたことを、
誰もおかしいとは思っていない。2010年代に望月さんなどの
RIMSの人々が、重要な論文をP.RIMSから出版しようとすることを、
おかしいと思う人は多いらしい。 [] - [ここ壊れてます]
- 256 名前：１３２人目の素数さん [2020/04/07(火) 16:37:48 ID:HKpWWrsN.net]
- 2012年の発表からこの8年間、モッチーは何を研究してきたの？
IUTそのものは8年前にほぼ完成してるわけでしょ
- 257 名前：１３２人目の素数さん [2020/04/07(火) 16:40:07 ID:iKfIzjyT.net]
- >>243
ＢンＧンも啓蒙書書いて一般人から金を毟り取る暇があるなら
ショルツに説明すればいいのに、なんでしないの？
と思う人は沢山いるんだろうな
- 258 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:40:08 ID:9KomTawK.net]
- IUT理論以外にも論文置いてあったよ。
- 259 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:42:17 ID:IsFAxPk3.net]
- IUTの専門書が一冊もないどころなABC予想の証明の真偽も固まらないうちに
一般書書いたりニコ動出たりできるBさんって一体何者なんだ
- 260 名前：１３２人目の素数さん [2020/04/07(火) 16:44:06 ID:iKfIzjyT.net]
- >>244
グロタンディクは才能が枯渇した（と自分では認めてはいないが）後、隠遁したけど
望月は同じ状況で「ポストモダン数学者」に変身したな
- 261 名前：１３２人目の素数さん [2020/04/07(火) 16:46:44 ID:iKfIzjyT.net]
- >>247
利に聡い人なんでしょう
数学の能力が枯渇した後の数学者の処世の一例ですね
詐欺を働く奴 詐欺の片棒担ぎで一儲け企む奴
- 262 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 16:49:52 ID:VfY0g9RH.net]
- ABC予想抜きでIUT論文掲載してお茶を濁すにアベノマスク2枚
で、世間にはABC予想が解けた（はず）と喧伝してごまかす。
京大はこの選択肢をとる。
で、ずっとバカにされる道を選ぶ
- 263 名前：１３２人目の素数さん [2020/04/07(火) 16:58:10 ID:I+3THr08.net]
- これミスったら湯川秀樹(笑)になるからな
重責だぞ
- 264 名前：１３２人目の素数さん [2020/04/07(火) 17:50:06.51 ID:H4f9B9uj.net]
- >>164
なんで?
その批判が不成立なら、不十分の根拠ないじゃん。
- 265 名前：１３２人目の素数さん [2020/04/07(火) 17:51:13.81 ID:H4f9B9uj.net]
- >>251
湯川秀樹は中間子論で物理学賞とってるし
とくにミスしてないが。
- 266 名前：１３２人目の素数さん [2020/04/07(火) 17:53:31.73 ID:H4f9B9uj.net]
- >>186
少なくとも数学の論文では、理解はともかく論理ミスが見つからないから
パスしてんだろ。
だから、論理ミス指摘してみろって。
- 267 名前：１３２人目の素数さん [2020/04/07(火) 17:56:24.47 ID:H4f9B9uj.net]
- >>179
全然ちゃうわ。
これは、真偽の決まる完全情報ゲームだ。
論文が提出されてるから、それ見て真偽と論拠を言えば
結論が出る。
本人は真と思っている。他者が偽というなら、論拠をあげればいい。
- 268 名前：１３２人目の素数さん [2020/04/07(火) 18:00:05.27 ID:iKfIzjyT.net]
- >>255
証明が正しい場合、正しいと返すプログラムは作れる
ただ、証明が正しくない場合、正しくないと返すようにはできない
これがゲーデルの不完全性定理
- 269 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:00:53.91 ID:JDudcgge.net]
- このスレにいる連中がどう逆立ちしたって
WoitのところのReplyのレベルに到底
及ばないわけだからいっそう下種に
行くってのもわかる
- 270 名前：１３２人目の素数さん [2020/04/07(火) 18:02:55.99 ID:H4f9B9uj.net]
- 理解できる人がほとんどいないというのは
コミュニティにとって、真偽不明という、状況の理由には
なりえても、偽であるという根拠にはならない。
偽であると主張してるのがシュルツだけなら
それを解決できれば、前進する。
まあ、理解者増やした方がいいとは思うけど、
新すぎるなら仕方ないかも。
- 271 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:04:42.37 ID:vdBmxikH.net]
- ゴミにゴミと言ってあげるボランティアの力は偉大だな
- 272 名前：１３２人目の素数さん [2020/04/07(火) 18:05:35.78 ID:iKfIzjyT.net]
- >>256
「証明が
- 273 名前：」はいいすぎか
「命題が」だな [] - [ここ壊れてます]
- 274 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:08:09.55 ID:2lhc5QZl.net]
- >>248
才能が枯渇した人間にPursuing Stacksが書けるわけない
- 275 名前：１３２人目の素数さん [2020/04/07(火) 18:16:04.79 ID:8d5Fq5kz.net]
- >>258
典型的な詐○師の論法w
- 276 名前：１３２人目の素数さん [2020/04/07(火) 18:16:24.09 ID:H4f9B9uj.net]
- >>260
論理過程の成立の真偽を言ってるから、不完全性定理とは
関係ないと思う。
不完全性定理は論理が完全なことが前提でしょ。
- 277 名前：１３２人目の素数さん [2020/04/07(火) 18:17:45.31 ID:H4f9B9uj.net]
- >>262
どこがや。
まったく騙しなんてない。
理解できないなら、そう言えばいいだけの話。
- 278 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:21:57.42 ID:vdBmxikH.net]
- 弟子がな
- 279 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:24:12.37 ID:8d5Fq5kz.net]
- >>264
論点は、それなりの数学者連中に正しく見えないってことだろ。一部の微妙な身内だけ理解したと主張してる
何で正しいに違いないから当面はグレーでも仕方ないみたいな話にしてんだw
- 280 名前：１３２人目の素数さん [2020/04/07(火) 18:29:35.82 ID:mg7kwOWZ.net]
- >>256
それは対象が全ての証明の場合、計算可能なアルゴリズムがないてだけの話だ
もしある具体的な証明が、証明となってないなら論理の飛躍（非証明的操作）があるよ
不完全性定理を知ったかするど素人は黙ってろ
- 281 名前：１３２人目の素数さん [2020/04/07(火) 18:30:35.84 ID:iKfIzjyT.net]
- >>263
いや、単に述語論理における命題の充足可能性判定と考えればいい
命題論理ならNPだが、述語論理の場合、決定不能問題
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C
- 282 名前：１３２人目の素数さん [2020/04/07(火) 18:31:55.52 ID:H4f9B9uj.net]
- >>266
論証に成功してないっていってるのはシュルツ以外にいるの?
理解できないと論証に失敗は全然ちゃうで。
そもそも、成功してると思ってる方が、失敗してると思ってる方より多いぞ。
外形的に叩くのは意味ないよ。
- 283 名前：１３２人目の素数さん [2020/04/07(火) 18:32:35.80 ID:iKfIzjyT.net]
- >>267
数学における証明は形式的に見た場合ギャップだらけだから
そのままでは形式的証明とはいえない
＞不完全性定理を知ったかするど素人は黙ってろ
それは自分自身にいいなよ
- 284 名前：１３２人目の素数さん [2020/04/07(火) 18:36:16.29 ID:iKfIzjyT.net]
- ID:H4f9B9uj
シュルツ（Schultze）ではなくショルツ（Scholtze）ね
多分語源は同じだと思うけどね
- 285 名前：１３２人目の素数さん [2020/04/07(火) 18:38:06.26 ID:mg7kwOWZ.net]
- >>270
>数学における証明は形式的に見た場合ギャップだらけだから
>そのままでは形式的証明とはいえない
は？だからなんだよ
不完全性定理知ったかおじさんは黙ってろ
証明ギャップ埋めるかどうかの話で不完全性定理が出てくるわけねえだろうが
- 286 名前：１３２人目の素数さん [2020/04/07(火) 18:38:36.62 ID:teGhHaNe.net]
- Peter SholzeとDupuyの議論はここ
https://www.math.columbia.edu/~woit/wordpress/?p=11709#comment-235940
- 287 名前：１３２人目の素数さん [2020/04/07(火) 18:40:18.09 ID:I+3THr08.net]
- 私の証明をミスは不完全性定理より正当化される( ｰ`дｰ´)ｷﾘｯ
- 288 名前：１３２人目の素数さん [2020/04/07(火) 18:41:26.05 ID:H4f9B9uj.net]
- >>270
なら尚更関係ないじゃん。
数学の証明は、実際に、その水準で行われてんだから。
正しいという判定ができるかどうかでしょ。
で、シュルツ以外は、照明に成功してないとはいってないんだから、
そこを解決できれば、理解者が少ないという状態であって、
証明が不成功という状態ではない。
- 289 名前：１３２人目の素数さん [2020/04/07(火) 18:42:48.64 ID:mg7kwOWZ.net]
- 不完全性定理知ってるてなら形式的証明の定義を何か一つ具体的に書いてみろ
- 290 名前：１３２人目の素数さん [2020/04/07(火) 18:42:53.29 ID:8d5Fq5kz.net]
- >>269
最後の一文で論外なのがわかった
ついでに、理解できない→正しいけど難しいだけ、にはならんからな？
- 291 名前：１３２人目の素数さん [2020/04/07(火) 18:47:57.03 ID:H4f9B9uj.net]
- >>277
お前が論外だわ
- 292 名前：１３２人目の素数さん [2020/04/07(火) 18:49:33.17 ID:iKfIzjyT.net]
- >>272
公理⇒定理 がトートロジーなら充足可能性判定は充足不能として停止する
そうでない場合手続きが止�
- 293 名前：ﾜらない可能性がある、ということ
論理知らないなら黙っときな 恥かくだけだよ [] - [ここ壊れてます]
- 294 名前：１３２人目の素数さん [2020/04/07(火) 18:51:54.88 ID:mg7kwOWZ.net]
- >>279
だからその不完全性定理の性質が今の望月ショルツの議論にどう関係すんの？
不完全性定理知るものなら無関係なことはすぐ分かるので、はっきりいって君の理解を疑ってる
だから形式的証明の正確な定義を一つ上げてみてとお願いしてるわけ
- 295 名前：１３２人目の素数さん [2020/04/07(火) 18:52:47.85 ID:iKfIzjyT.net]
- >>279の訂正
誤 公理⇒定理 がトートロジーなら、充足可能性判定は充足不能として停止する
正 公理⇒定理 がトートロジーなら、否定命題（公理∧￢停止）の充足可能性判定は充足不能として停止する
- 296 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 18:55:31.28 ID:VfY0g9RH.net]
- 不確定性定理の詐欺師的活用かｗ
やると思ってました。」
- 297 名前：１３２人目の素数さん [2020/04/07(火) 18:56:18.51 ID:iKfIzjyT.net]
- >>280
>>255に対するコメントとして書いた
つまり望月の補題に関して反例があるとしても
その反例を見つける手続きは一般的には停止しない
（反例があっても決して見つからない、という意味ではない）
- 298 名前：１３２人目の素数さん [2020/04/07(火) 18:56:40.16 ID:mg7kwOWZ.net]
- 一階述語だと面倒だというなら命題論理の形式的証明でもいいよ
- 299 名前：１３２人目の素数さん [2020/04/07(火) 18:59:38.07 ID:iKfIzjyT.net]
- 望月の補題が自然数論上真である可能性はもちろんある
しかし、論文でそのことが明らかになっていないなら無意味
つまりショルツの「成立しない」という指摘が誤りだとしても
そのことを以て即、望月の補題が真だという証拠にはならない
単に、ショルツは反例を提示できなかった、というだけのこと
- 300 名前：１３２人目の素数さん [2020/04/07(火) 19:00:04.56 ID:mg7kwOWZ.net]
- >>283
反例が見つからなくても証明ギャップがあるかどうかは「形式的」に分かります
反例がなくても形式証明の文法として正しいかどうかは計算可能です
だから全く補足になってなくバカを晒してるだけ
まあいいから命題論理でいいから形式的証明の定義書き起こすか、知ったかしてたこと謝りなよ
- 301 名前：１３２人目の素数さん [2020/04/07(火) 19:07:03.45 ID:iKfIzjyT.net]
- >>286
まったく証明がなくても「公理⇒定理」がトートロジーなら
否定命題の充足不能として有限ステップで分かります
これ豆な
https://ja.wikipedia.org/wiki/%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E3%81%AE%E6%96%B9%E6%B3%95
自動証明は根本的には上記の方法に基づいている
記事中には書いてないが、命題論理の場合、矛盾してる場合は止まる
だから「否定命題の矛盾」という形でトートロジーである場合の証明が求まる
しかし逆は止まらない
- 302 名前：１３２人目の素数さん [2020/04/07(火) 19:08:03.20 ID:TZiHq0ap.net]
- なんでもいいからさあ
学部生向けのまともな解説を
一から書いてくれる人暮春
- 303 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:09:03.18 ID:ElceEk/X.net]
- たしかに普通の数学の証明は非形式的だけど、補題3.12の証明と異なるのはやろうと思えば形式的にできるところ
3.12の証明はそもそも誰も形式的に翻訳できるレベルまで理解されるような証明になってないというのが現状
- 304 名前：１３２人目の素数さん [2020/04/07(火) 19:09:28.28 ID:mg7kwOWZ.net]
- >>287
いやだから、その一般論の性質の話をする意味て今ある？
もういいよ、命題論理の形式的証明の定義かけないし、君が新書読んだだけで分かった気になってる知ったかであることはわかったからさ
- 305 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:10:05.38 ID:8d5Fq5kz.net]
- >>278
論外は最後というか三行目な。Wikipediaの指摘も読めないとかw
あれはコミュニティの雰囲気と評価をちゃんと反映してんの
報道見た一般人な、お前の言う成功だと思うのが多数とかいうのは
- 306 名前：１３２人目の素数さん [2020/04/07(火) 19:12:50.17 ID:8d5Fq5kz.net]
- >>279
>>280
正しいと認識できない証明は正しいとして期待、仮定されるべきではないってだけの話じゃん
>>278みたいな池沼の論法はそれに抵触してる詭弁だわな
- 307 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:18:04.39 ID:4hCXgUOS.net]
- 言っちゃ悪いけど
数オリ金メダリストじゃない奴は天才とは言えないし
伸びしろもないよ
ペレルマンにしろショルツやタオにしろ皆んなメダリストだからね
- 308 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19
]
- [ここ壊れてます]
- 309 名前：:21:05.49 ID:FpDoFpVV.net mailto: 数学の天才はレベル低いなw []
- [ここ壊れてます]
- 310 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:23:44.81 ID:TSIs03bF.net]
- しょんべんちびるほど天才だろ
知り合いどころか俺が肉眼で見たことある奴すべてより頭いい
どっちかが間違っとるんだな
- 311 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:26:17.86 ID:X5G/mu59.net]
- 日本じゃ数学オリンピックは暇人がやるイメージだけど
外国じゃ結構名誉あるみたいね
- 312 名前：１３２人目の素数さん [2020/04/07(火) 19:27:42.21 ID:mg7kwOWZ.net]
- >>292
それはそれで正しいのだろうけど
形式的証明にすれば、ギャップがあるかどうか機械的に分かるんじゃねという話
- 313 名前：１３２人目の素数さん [2020/04/07(火) 19:29:27.47 ID:H4f9B9uj.net]
- >>289
どうなんすかね。査読者はその部分を立証とみてめてるんでしょ。
- 314 名前：１３２人目の素数さん [2020/04/07(火) 19:31:25.23 ID:iKfIzjyT.net]
- 望月とショルツの立場は対等ではない
ショルツは読む側だから間違ったとしても大したダメージはない
「書き方が悪い」というのもありだろう
一方、望月は書いた側だから間違ったら全てがパア
指摘の全てに対して答えられなければ負け
だから指摘に対して、いちいちムキになるのも分からないではない
とはいえ「読めばわかる」は負けたも同然だろう
- 315 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:35:31.38 ID:8d5Fq5kz.net]
- >>298
そこまでわかってんなら会見でプロセス公開して説明レポートまで出すに決まってる
要は単なる間違いではなくて、必要なデータが曖昧なんだよ。ちゃんと必要な論証を構成できてない
- 316 名前：１３２人目の素数さん [2020/04/07(火) 19:35:55.72 ID:H4f9B9uj.net]
- >>299
間違ってないなら、そうでしょ。
ほかに、いう人いないなら、理解できてないだけじゃねえの。
- 317 名前：１３２人目の素数さん [2020/04/07(火) 19:37:30.23 ID:mg7kwOWZ.net]
- >>299
負けじゃねえよ
数学知らん素人が知った口で数学界のことを語るな
- 318 名前：１３２人目の素数さん [2020/04/07(火) 19:37:43.66 ID:ssdGeT/a.net]
- H4f9B9uj
認めている人が多いとかじゃだめでしょ。数学者全員が認めないといけないのでは？
- 319 名前：１３２人目の素数さん [2020/04/07(火) 19:40:06.86 ID:H4f9B9uj.net]
- >>303
冗談ですよね。
数学者が全員理解できるとかいう理論しか
認められないなら、ほぼ現代数学全滅っすよ。
- 320 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:41:26.99 ID:ZvmRvOjK.net]
- もっちーは数オリ出なかったの？
- 321 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:42:02.20 ID:E3EgzeMo.net]
- 否定派はショルツ含めて反論したいならオフィシャルにやるならないと意味がない
アクセプトされ論文はギャップなく正しいと判断されたんだから
- 322 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:42:30.67 ID:mQdThExk.net]
- >>302
負けというか現状でIUTのギャップを埋めたらそいつの功績になるんだよね。
それを気にしてないんなら当人たちは間違ってるってわかってるんだろうな、と思う。
- 323 名前：１３２人目の素数さん [2020/04/07(火) 19:43:17.63 ID:mg7kwOWZ.net]
- 5chてアホでしかも知ったかの集まりだから救えない
不完全性定理も知ったかだったし、数学コミュニティついても当然知ったかなんだろうと思う
- 324 名前：１３２人目の素数さん [2020/04/07(火) 19:43:22.87 ID:+9tSKI6/.net]
- Joshi 致命的な勘違いを全世界に晒される
Taylor 反論できず敗走
IUT村の解体が始まるな。
- 325 名前：１３２人目の素数さん [2020/04/07(火) 19:43:37.74 ID:iKfIzjyT.net]
- >>302
じゃ、君、黙って
素人でしょ？
- 326 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:44:16.86 ID:kJC3SjkB.net]
- >>303
(〃ﾟ艸ﾟ)ﾌﾟｯ!
- 327 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:45:12.92 ID:0RNvK/+p.net]
- ワイルズがカッツに証明の穴を指摘されて焦ったのは、
そこを他人に埋められたら定理の名前が連名になるからなんだよね。
- 328 名前：１３２人目の素数さん [2020/04/07(火) 19:45:27.98 ID:mg7kwOWZ.net]
- >>310
俺は素人だけど君のように知ったかはしないよ
自分のわかる範囲でしか書いてない
- 329 名前：１３２人目の素数さん [2020/04/07(火) 19:45:55.51 ID:iKfIzjyT.net]
- >>307
＞現状でIUTのギャップを埋めたらそいつの功績になる
フェルマーの「定理」のギャップを埋めたワイルズの功績になるようなもんか
- 330 名前：１３２人目の素数さん [2020/04/07(火) 19:47:39.65 ID:iKfIzjyT.net]
- >>313
＞俺は素人だけど
やっぱりね
＞自分のわかる範囲でしか書いてない
じゃここに書いたらダメだね
「算数」の範囲をはるかに超えてるでしょ
- 331 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:47:46.86 ID:8d5Fq5kz.net]
- >>309
本当に終わるのはショルツに誰か明確に加担してからだわな
今んとこ、おかしいから受け入れはないよってレベルで済んでる
- 332 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:49:04.57 ID:CCI9CStK.net]
- 難解な書き方をしているのは何か理由があるはずだよ
論文はIUT理論についての説明なのであって、abc予想を証明しているわけではないとかなら、どちらもおかしくはない
望月はabc予想を証明したと発言してるのか？
- 333 名前：１３２人目の素数さん [2020/04/07(火) 19:50:38.66 ID:mg7kwOWZ.net]
- >>307
ならねえよ
ギャップの大きさによるわ
ペレルマンの証明には多少のギャップがあって中国人がそれ埋めて最終的な証明は自分だと主張したけど受け入れられなかっただろ
当然それは数学界にとっては前進したからいいことだけど、名前残るかどうかはギャップの大きさによるわ
- 334 名前：１３２人目の素数さん [2020/04/07(火) 19:52:04.38 ID:mg7kwOWZ.net]
- >>315
もう内容ないことで煽るしかできなくなってしまったんだね
君の不完全性定理の不理解をみんなの前で暴いて、恥かかせてごめんね？
- 335 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:53:23.02 ID:8d5Fq5kz.net]
- ついでに数オリについて客観的に言っておくと、モチベーションや家庭環境の問題があるから
むしろ数オリに出ずに業績出した奴こそ真の天才とも言えるだろうな
タオは両親が医者に教師、ショルツも文化的には多分上流だと思う
- 336 名前：１３２人目の素数さん [2020/04/07(火) 19:53:48.09 ID:iKfIzjyT.net]
- ＞難解な書き方をしているのは何か理由があるはずだよ
理由
１．本当に必要
２．グロタンディクみたいに粋がってみた
３．実は無内容なのを隠蔽した
４．何等かの精神的な病が進行している
１はなさそうだ
２が疑われるが、実は３かもしれない
しかしそんなのは白状できないから
いよいよヤバくなったら４だということにして
山奥の病院にブチ込まれる可能性大
この国では都合の悪いことは全て闇に葬られる
- 337 名前：１３２人目の素数さん [2020/04/07(火) 19:55:07.48 ID:rx19SrZa.net]
- 理由なんてなく難解にしかやれないだけかと
ラマヌジャンほどではないにしても直感的な人で理論もできるが煮詰めるのは難しいか苦痛なんだろう
イチローが自分は天才ではない、なぜなら○○だからだ、みたいなをいってたが
○○は、ヒットが打てる理由を説明できるから、とかそんな感じだが
- 338 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 19:55:22.75 ID:uwj+3Ycr.net]
- >>318
現状のギャップの大きさはそれくらいあるぞ。
なんせ理解してるのが外部にひとりもいないからな。
|
 |
