[過去ログ] Inter-universal geometry と ABC 予想 45 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
943: 2020/04/04(土)07:33 ID:F2JYhm1v(1/2) AAS
これ使って定理とか作れるの?
944(4): 2020/04/04(土)07:39 ID:aagsVubg(1) AAS
リーマン予想も、ABC予想も証明は難しいけど結果はかなり確からしく正しいんだろ?
かなり正しいならその性質をそのまま利用するではダメなのか?
それともどちらの予想も現実の応用には役に立たないの?
誰か教えて!
945: 2020/04/04(土)07:49 ID:/J3tjZ2w(1/2) AAS
>>867
>複数の査読者に論文の再検証を依頼す
複数の査読者が独立に同じものを読んで独立に太鼓判押したってことでしょ?
946: 2020/04/04(土)08:01 ID:/h4JQoSm(1) AAS
これ、毅先生のとことかコメント求めに誰か来るだろ
一体どう答えるのか
947: 2020/04/04(土)08:14 ID:/J3tjZ2w(2/2) AAS
>>944
確からしいではダメというのが数学のスタンス
948(1): 2020/04/04(土)08:19 ID:FneZDOy/(2/2) AAS
AIに判定させればいいじゃん。もう、人間より頭いいでしょ。やっぱ、プライドが許さないかな
949(1): 2020/04/04(土)08:22 ID:CQxmQuCH(2/2) AAS
>>944
数値シュミレーションとか数理工学寄りだと、リーマンは成り立つものとして
やっているケースもある。統計学的に成り立っているという論文もある。
950(1): 2020/04/04(土)08:28 ID:+x3q6j2c(1/2) AAS
今朝の日経朝刊記事はは冷静だったよ。焼肉のことは書かれてたけど。
手放しで「証明された」とは書いていない。検証はこれから、という書き方。
951: 2020/04/04(土)08:31 ID:lymwxVZG(1/2) AAS
AIに判定させたらまず間違いなく正しいかどうか判断するのに必要な情報が記載されてないってオチになるだろ
952(1): 2020/04/04(土)08:57 ID:m90SM1JO(1/2) AAS
昨日ラジオで「2012年から議論が続いていましたが、この度数学界で認められました!!」って言ってたけどウソなの?
953: 2020/04/04(土)08:58 ID:tyB0DUit(1/4) AAS
>>952
ウソだよ。掲載する予定が発表されたけど数学界では認められていない。
954: 2020/04/04(土)09:00 ID:4vuXiGa5(1) AAS
やはり4月4日は数理解析研究所が暗黒面へ堕ちた記念日だった。
955: 2020/04/04(土)09:00 ID:lymwxVZG(2/2) AAS
海外対日本みたいな構図にしたい人もいそうだけど国内の整数論研究者すらそれほど好意的ではないというのがまたね…
956: 2020/04/04(土)09:04 ID:B/zbSgrn(8/8) AAS
>>907
>証明が正しいかどうかより
>証明の応用がどれだけあるかだよな
まさにその通り
フェルマー予想の解決は
非可換類体論やR=Tなどの数学概念の進展をもたらした
「フェルマー予想が解けた」という権威、慰み、神輿の担ぎ上げ、
のような上っ面の肩書とは一切無縁に
純粋に数学そのものの更なる発展の興奮【のみ】を原動力として
沢山の活きのいい数学者がその後の進展作業に集中した
957: 2020/04/04(土)09:06 ID:qqVllLrZ(2/2) AAS
natureの記事も参考にすると、この掲載のタイミングは、RIMSがIUTを前面に出して賭けにでていることが伺える。
最近でも助教と特任助教に望月氏の弟子が採用されたみたいだし、今年はRIMSでのIUT研究会が複数回開催されるし。
かなり政治的なものを感じたし、3日の発表は用意周到に準備されたと感じた。
acceptは2月上旬らしく、この頃は欧米でのコロナ大流行は一般に予見されていなかったので、さすがにコロナ騒ぎに便乗したわけではなさそうだけど。
一方、なぜ2年も採択を延期したのかが不明だ。論文が劇的に改良された感じもないし。
今年の年始にブログで吠えていたが、これに編集委員会がビビッて採択を決めたのかと勘ぐってしまう。
Thm3.11にはやたらたくさんのRemarkがついていて論理的に明快でないし、Cor3.12は系といいながら10ページ以上の激烈に非自明な証明がついているし。
きちんと編集していないだろ、と思う。
958(1): 2020/04/04(土)09:06 ID:jKMXNy5G(1) AAS
>>950
オンライン版はこれかな 一番慎重な書き方
他紙は全面的に京大の発表にのっかってるのが多い
外部リンク:www.nikkei.com
959: 2020/04/04(土)09:11 ID:tyB0DUit(2/4) AAS
これでRIMSは今後数十年単位で著名な賞の受賞者なしになりそうだね。
騙すのは国内の一般人までが限界だろうし。
960: 2020/04/04(土)09:15 ID:+x3q6j2c(2/2) AAS
>>958
それだけど、実際の朝刊には望月さんのお人柄に関する加藤文元さんのコメントが掲載されてる。そこに焼肉の話が(笑)いつも完全に同じものを注文すると。
961(1): 2020/04/04(土)09:16 ID:DZ3hypNA(1/6) AAS
>>935
それじゃあ証明してください
例題は
すべてのカラスは黒い ⇒ 少なくとも1羽の黒いカラスが存在する
です
僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから
962: 2020/04/04(土)09:17 ID:b0JveV7W(1) AAS
もっちー、ゆびがきれい
上下前次1-新書関写板覧索設栞歴
あと 40 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.157s*