昨日ラジオで「2012年から議論が続いていましたが、この度数学界で認められました！！」って言ってたけどウソなの？
>>952
ウソだよ。掲載する予定が発表されたけど数学界では認められていない。 0954１３２人目の素数さん2020/04/04(土) 09:00:43.95ID:4vuXiGa5
やはり4月4日は数理解析研究所が暗黒面へ堕ちた記念日だった。
海外対日本みたいな構図にしたい人もいそうだけど国内の整数論研究者すらそれほど好意的ではないというのがまたね…
0956１３２人目の素数さん2020/04/04(土) 09:04:53.92ID:B/zbSgrn
>>907
>証明が正しいかどうかより
>証明の応用がどれだけあるかだよな
まさにその通り
フェルマー予想の解決は
非可換類体論やR＝Tなどの数学概念の進展をもたらした
「フェルマー予想が解けた」という権威、慰み、神輿の担ぎ上げ、
のような上っ面の肩書とは一切無縁に
純粋に数学そのものの更なる発展の興奮【のみ】を原動力として
沢山の活きのいい数学者がその後の進展作業に集中した 0957１３２人目の素数さん2020/04/04(土) 09:06:21.11ID:qqVllLrZ
natureの記事も参考にすると、この掲載のタイミングは、RIMSがIUTを前面に出して賭けにでていることが伺える。
最近でも助教と特任助教に望月氏の弟子が採用されたみたいだし、今年はRIMSでのIUT研究会が複数回開催されるし。
かなり政治的なものを感じたし、3日の発表は用意周到に準備されたと感じた。
acceptは2月上旬らしく、この頃は欧米でのコロナ大流行は一般に予見されていなかったので、さすがにコロナ騒ぎに便乗したわけではなさそうだけど。
一方、なぜ2年も採択を延期したのかが不明だ。論文が劇的に改良された感じもないし。
今年の年始にブログで吠えていたが、これに編集委員会がビビッて採択を決めたのかと勘ぐってしまう。
Thm3.11にはやたらたくさんのRemarkがついていて論理的に明快でないし、Cor3.12は系といいながら10ページ以上の激烈に非自明な証明がついているし。
きちんと編集していないだろ、と思う。
これでRIMSは今後数十年単位で著名な賞の受賞者なしになりそうだね。
騙すのは国内の一般人までが限界だろうし。
>>958
それだけど、実際の朝刊には望月さんのお人柄に関する加藤文元さんのコメントが掲載されてる。そこに焼肉の話が（笑）いつも完全に同じものを注文すると。 0961１３２人目の素数さん2020/04/04(土) 09:16:59.74ID:DZ3hypNA
>>935
それじゃあ証明してください
例題は
すべてのカラスは黒い ⇒ 少なくとも1羽の黒いカラスが存在する
です
僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから 0963１３２人目の素数さん2020/04/04(土) 09:28:44.94ID:8Oswo/OV
>>948
その判定基準は人間がつくるんだよ。AI過信しすぎ 転載
Inter-universal geometry と ABC 予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/924
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
https://twitter.com/DupuyTaylor/status/1246142127538614272?s=19
Max Lieblich
@algeom
6時間
返信先: @DupuyTaylor
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy
@DupuyTaylor
6時間
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
Max Lieblich
@algeom
1時間
返信先:
@DupuyTaylor
I assume when you mention “appeal to authority” you also include Fesenko’s bloviating and Mochizuki’s refusal to make himself clear.
（参考）
Max Lieblich
@algeom
Professor of Mathematics at the University of Washington
https://twitter.com/5chan_nel (5ch newer account) 0967１３２人目の素数さん2020/04/04(土) 09:35:55.42
>>912
>京大数理研の複数の教授が確認したってことは
>証明は正しいのでしょう
>さすがに小保方案件にはならないと思います
間違ってたら数理研解体なのでは 0968１３２人目の素数さん2020/04/04(土) 09:37:35.97ID:UMkIjQ8g
最終的にどう判断されらかはわからないけど、小保方さんみたいに発表して数日で破綻するような
お粗末な事態にはならんはず
>>912
柏原・玉川は理解していないと思うよ。望月の言い分をそのまま認めただけ。
IUTがだめだと確信できる理由の一つに、若い人の理解者がいないという点がある。
最先端の数学が理解されるのは、まず若い人から。
ワイルズが証明の穴を指摘されてた時、助け船を出したのはワイルズの弟子だった。
今回、望月を助ける若手が全く存在しない。
要するに、弟子たちは師匠を崇拝するだけで、誤りを指摘するなんてことはできないのだろう。結局のところアジアンの限界だ。
唯一シカゴ大学で博士号取った越川だけがショルツやコンラッズと同じ個所の疑問を呈しているが、無視されているｗ Dupuy かなりハイだね。
本当に本当に本当に初歩的なことだよ、ショルツ君
もっちー、ブログコメント読んでるんだな
一件早速返信してて、喜びがいかほどのものかよくわかる
おめでとうございます。
しかし明らか電波な妖精コメまでも天才数学者の目に触れてるのかと思うとゾッとするな
0972１３２人目の素数さん2020/04/04(土) 10:26:23.07ID:DqGScTxQ
>>944
もし○○予想が正しいなら△△は正しいみたいな論文は結構あるらしいよ 0973１３２人目の素数さん2020/04/04(土) 10:31:54.60ID:m90SM1JO
日本人の年功序列意識が数学界でも悪い方向に出てるんだね！
0974１３２人目の素数さん2020/04/04(土) 10:38:20.92ID:DqGScTxQ
>>961
それは証明できない
全称命題と一般に呼ばれるものは二種類ある
∀x∈X P(x)と∀x P(x)
∃x∈X P(x)と∃x P(x)
全称命題から存在命題が証明できるとは∀x P(x)から∃x P(x)は証明できることを言ってる
じゃあ∀x∈X P(x)から∃x∈X P(x)は証明できないのかよというと、君の言う通り証明できない
なぜかというと∀x∈X P(x)とは∀x(x∈X →P(x))の略記で∃x∈X P(x)は∃x(x∈X ∧P(x))の略記で中身の命題が実は違うからだ
反例としてはXが空集合の場合 0975１３２人目の素数さん2020/04/04(土) 10:41:36.57ID:F2JYhm1v
どこも逃げ恥がどうとか書いてなくてよかった
0976１３２人目の素数さん2020/04/04(土) 10:41:45.24ID:2Ri0X5Mp
予算、パフォーマンスのために状況が変わらずのアクセプトなら他言レベルじゃ済まない、小保方レベルのスキャンダル。
こいつら首をかけるだけの覚悟があってやってるのかな？
レフェリーが完全理解したというなら、それが誰かも公表すべきだろ。
少なくとも公平に判断できて第一級レベルのレフェリーが1人はいるはずだろ？
そういった人物が(レフェリーですとは名乗らないまでも)
完全に理解した、質問ならなんでもこい、と名乗りをあげれば
普及や彼らのいう「基本的な誤解」の解消も一気に進むはずなんだがなぁ。
このレベルの論文にアクセプトの判断を出したんだから、
少なくとも最深レベルの理解、確証と研究者生命を賭けられるだけの覚悟があったはずだろ？
レフェリーがF, H, Yとかだったらいい笑いもんだ
まあレフェリーレポートは今回の件については公開したほうがいいよね。
普通はそんなことしないっていうけど「特例を理由に公開時期未定」なのだから、
特例を理由にレフェリーレポートの公開も認めてもいいだろう。
0978１３２人目の素数さん2020/04/04(土) 10:44:59.52ID:CTVUpSZE
>>974
＞∀x P(x)から∃x P(x)は証明できる
これも、正しくは嘘
なぜなら対象が１つも存在しない場合も
¬∃x¬P(x)だから∀xP(x)が導ける 0979１３２人目の素数さん2020/04/04(土) 10:50:26.47ID:DZ3hypNA
>>974
>∀x P(x)から∃x P(x)
具体例は
A∧B ⇒ A∨B
これですか？
証明してください 0980１３２人目の素数さん2020/04/04(土) 10:53:52.24ID:CTVUpSZE
0981１３２人目の素数さん2020/04/04(土) 10:57:51.45ID:ZUFmsUYr
976
多分、実際はそうだろうね
0983１３２人目の素数さん2020/04/04(土) 11:02:38.65ID:DZ3hypNA
>>978
>なぜなら対象が１つも存在しない場合
¬(∃xP(x))等値∀x¬P(x)
存在が一つもないときの否定はすべてのカラスは黒くない
ですよね
いまそんな話はしていません 0984１３２人目の素数さん2020/04/04(土) 11:04:05.31ID:DZ3hypNA
>>983
あるカラスは存在せずかつ黒くない
という話ではありません
ある黒いカラスは存在しない
つまり黒いかどうかはどうでもよく
すべてのカラスは黒い
から
カラスは存在すること言えるか
という問題です
僕はできないと思います 0985１３２人目の素数さん2020/04/04(土) 11:14:31.87ID:6b44CEs/
>>949
統計学的に示されているのはモンゴメリー・オドリズコ予想の方では？
リーマン予想は統計学的に示し様が無いと思うけど。
>>944
リーマン予想が正しいか否かは今のところ誰にも分からない。
調べた10兆個のゼロ点に反例が無いという結果は無限個のゼロ点からみたらゼロに等しく何の根拠にもなっていない。それが数学というもの。 この表現は。。
＞望月教授の論文は、なぜ検証に７年半もかかったのか
＞編集委員会は昨日の会見で「墓場まで持っていく」と審査過程を明かしませんでした
0987１３２人目の素数さん2020/04/04(土) 11:28:09.96ID:CTVUpSZE
>>983
そもそも黒いカラスも黒くないカラスも存在しない場合
「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する
そういう話 >>986
墓場までもっていくって…
まるでもちーとｲｹﾅｲ関係でもあったかのような表現ですね すごいな
ど過疎スレだったのに、昨日の14時以降400近いれすがつくなんて
もちーもこのスレ見て溜飲下げてることだろう
0991１３２人目の素数さん2020/04/04(土) 11:42:44.20ID:DZ3hypNA
>>987
x：カラス
F：黒い
¬(∃xP(x))等値∀x¬P(x)
理解できるか？
今言ってるのは
∀xP(x) ⇒ ∃xP(x)
∀x¬P(x)ではない
ちなみに
∀xP(x)の否定は¬(∀xP(x))等値∃x¬P(x)
今の議論と全く関係がない これ柏原と玉川の会見みたら、具体的な影響は数十年後に出るとか言ってるのか。
これほんとに載らない可能性あるな。
0994１３２人目の素数さん2020/04/04(土) 12:12:56.83ID:CTVUpSZE
>>991
＞¬(∃xP(x))⇔∀x¬P(x)
そして¬∃x¬P(x)⇔∀xP(x)
つまり
(¬∃xP(x) ∧ ¬∃x¬P(x))⇔(∀x¬P(x) ∧ ∀xP(x))
∀xP(x)⇒∃xP(x) だとしたら 矛盾する
つまりウソ 0995１３２人目の素数さん2020/04/04(土) 12:13:44.04ID:DZ3hypNA
>>991
ああFじゃなくてPね
x：カラス
P：黒い 望月さんの論文は2月5日に受理されたが、掲載日は未定。"これは非常に長い原稿で、特集号になるので、どれくらいかかるかはわかりません」と柏原氏は言います。
数学の世界では、ジャーナルの承認印をもらっても、査読プロセスが終了するわけではないことが多い。
重要な結果が真に認められた定理になるのは、コミュニティがそれが正しいというコンセンサスに達した後であり、これは論文が正式に発表されてから何年も続く可能性があります。
Fumiharu Kato 加藤文元@FumiharuKato 48分
学術論文の査読過程を明かさないのは、普通のことだし、当然のことではないかと思いますけどね。
0998１３２人目の素数さん2020/04/04(土) 12:41:38.18ID:CTVUpSZE
>>997
今回の場合、隠ぺい工作といわれても仕方ないな 10011001Over 1000Thread
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 35日 18時間 8分 10秒
10021002Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php