X
トップページ⇒数学
1002コメント356KB
Inter-universal geometry と ABC 予想 45
レス数が950を超えています。1000を超えると書き込みができなくなります。
0893１３２人目の素数さん
垢版 |
2020/04/04(土) 01:05:00.67ID:B/zbSgrn
>>891
>久々に見たけどこのあってるかはどうでもいい基地外まだいるんだ
↑
異議があるのに根拠を言えないバカ
0894１３２人目の素数さん
垢版 |
2020/04/04(土) 01:09:24.09ID:B/zbSgrn
>>884
>yahooニュースコメントの手放しの讃称の多さよ
>一方で海外ではまだまだ懐疑的な見方も強いことに触れてるコメントの少なさよ
> 国際学術誌といっても京大のしかも流石に査読からは外されてるとはいえ自身が
>編集長の雑誌であることについて言及してるのもわずか

ダメだ、まだ「合ってるかどうか厨」は消えそうにないな・・・
IUTが【数学の景色を変えてくれる見通し】を与えてない事が低評価の真の原因なのに
「外部の人が合ってると検証してないから数学会が騒いでくれないんだ」
と勘違いしてる
0895１３２人目の素数さん
垢版 |
2020/04/04(土) 01:11:19.36ID:1pkLE+3X
くそ、51にしてもっちーのイケメンぶりが全世界に晒されて女子人気が出てしまうｸﾞﾇﾇﾇ
0896１３２人目の素数さん
垢版 |
2020/04/04(土) 01:13:46.93ID:GN4om10T
海外では望月さんの悪い噂しか聞かんかったな
0897１３２人目の素数さん
垢版 |
2020/04/04(土) 01:16:31.62ID:pmTrKGmv
>>894
ちげえよ　そんな話じゃないから

数学ひいては学問に興味ない人多いんだなって話

俺はABC予想があっているかどうか自体は全く問題にしてないよ
あの報道だけ見てあの反応する人の感覚についていけないなと言うだけ
0898１３２人目の素数さん
垢版 |
2020/04/04(土) 01:17:27.92ID:B/zbSgrn
合ってるかどうかでお祭り騒ぎするってのは受験勉強的と言うかスポーツ競技的発想
数学は具体的な新しい景色を提供するところに驚きと驚嘆がある
0899１３２人目の素数さん
垢版 |
2020/04/04(土) 01:19:07.94ID:B/zbSgrn
>>897
>数学ひいては学問に興味ない人多いんだなって話

そこは禿げ上がるほど同意
オリンピックのメダルみたいにただ権威に興味あるだけ
中身はどうでもいい
0900１３２人目の素数さん
垢版 |
2020/04/04(土) 01:19:22.80ID:edwvB7uj
>>886
「それは初歩的な勘違いでそもそも問題点の指摘になってない」と当初から理解陣営が言い続け、面倒くさいところ懇切に何本も説明をしまくっているものに、

「一つくらい反論してみろよ」から「何を言おうが海外では全否定されている、に違いないｷﾘｯ」そして「小出しに修正しやがって　意味ねえわっ」、
と小出しにすり替え修正し続けている涙目の馬鹿らのことな
0901１３２人目の素数さん
垢版 |
2020/04/04(土) 01:21:59.34ID:K5yZQ4IA
アビガンに興味があってyahooみたら
アビガンよりも中国企業にパクられるな！とか韓国に薬を渡すな！とかそういう話ばかりしてる
yahooってそういうところよ
株で富士フイルムの掲示板見に行ってもそうだから。株とか関係ない。
0902１３２人目の素数さん
垢版 |
2020/04/04(土) 01:23:45.45ID:K5yZQ4IA
>>900
そこまで言って君は理解できたの？
0903１３２人目の素数さん
垢版 |
2020/04/04(土) 01:25:52.93ID:pmTrKGmv
yahooニュースはニュースにコメントする場じゃなくて単に自分の言いたいこと言うところだからね

まあそういう自分もこんな書き込みしてる時点で彼らと同レベルだけど我慢できなかったわ
0904１３２人目の素数さん
垢版 |
2020/04/04(土) 01:33:04.10ID:RSRL4rRm
全称命題から存在命題が導出できることについて議論して欲しい
俺はできないと思う
なぜなら
全称命題には存在性がないからだ
0905１３２人目の素数さん
垢版 |
2020/04/04(土) 01:40:49.32ID:CQxmQuCH
>>867
この朝日の石倉とかいう記者もひどいな。
長年取材してきたなら、ショルツの指摘が「どのように」関係なかったのかが
一番重要なのに、あっさりかわしていて。
ヤフコメ民と同レベルだよ。ジャーナリストが厳しい質問できずにどうするんだ。
京大のちょうちん持ちかよ
0907１３２人目の素数さん
垢版 |
2020/04/04(土) 01:47:45.62
証明が正しいかどうかより
証明の応用がどれだけあるかだよな
0908１３２人目の素数さん
垢版 |
2020/04/04(土) 01:58:54.31ID:qqVllLrZ
玉川氏はIUTを理解したということか？
フェセンコ氏も？
0909粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/04(土) 02:19:50.42ID:RfvpWQnt
ん？ABC予想は認証されても強力な公理に成るだけ？広がらんのか？
他の有名懸賞問題にも有効そうじゃが。其れはまた其の先の話で？
分野としての進化は得られても、学問としての分野新生には至らんって云う事なんか？
0910１３２人目の素数さん
垢版 |
2020/04/04(土) 02:34:11.35ID:5FK85vU/
このスレにIUT理論を理解している人間は1人もいないから今なら任意の尤もらしい嘘が武器になるぞ！君も虚構でマウントを取ろう！
0911１３２人目の素数さん
垢版 |
2020/04/04(土) 02:48:48.37ID:CxthggVA
そのうち「ABC予想解けました！」
っていう素人がワンサカ出現するんだろうな
0912１３２人目の素数さん
垢版 |
2020/04/04(土) 02:58:47.56ID:vePGlEFh
京大数理研の複数の教授が確認したってことは
証明は正しいのでしょう
さすがに小保方案件にはならないと思います
0914１３２人目の素数さん
垢版 |
2020/04/04(土) 03:19:41.90ID:L4HeMhZI
Woitが早速更新しているわけだが、これ個人的に聴くところでは西海岸の数論幾何学者でも似たような
感想らしい。実はIUTを読んでる人は海外にも意外に多いんだけど、勿論理解できてないし納得してもいない
後はタオの感想が楽しみだな。まあ刺激的な発言はしないだろうけど、ねじれは認識してるわけだし

>>887
色々別の要因で疲れているしやり合う気はない。しかし、ホッジ理論やアラケロフ理論とIUTの関係は
望月や星を眺めただけではわからない。そんなに簡単じゃない
ABC予想については、問題自体を抽象的な構造で見ると既成の数論幾何学には言語としてはっきりない
問題だと一目でわかるものだからな。普通のスキーム論だとABCが述べてる数論的に細かい情報を扱えない
細かく切り離せない
多項式の有理関数の場合とはもう全く違う。ABCにアラケロフ理論は通用しないし、アラケロフ理論に対して
関数の世界では有用なホッジ理論も代数体の大域では存在しない。わけわかめだらけの問題なわけだ
そこでIUTの答えは、コホモロジー理論を放棄して特殊な一般化を実現することだったわけだ
（なら何故モチーフ論的？）

繰り返すが、抽象化して翻訳する時点でABC予想が構造的な（深い）難問なのはほとんど明白よ
それに文句があるなら別にいいよ。もう特に言いたいことはないし
0916１３２人目の素数さん
垢版 |
2020/04/04(土) 03:34:06.91ID:vePGlEFh
望月教授はニコラテスラ、フォンノイマン、アルベルトアインシュタインに匹敵する天才です
0917１３２人目の素数さん
垢版 |
2020/04/04(土) 03:45:17.00ID:sczCJwx0
加藤文元の解説を読んだ程度だが、IUTが成立してるなら
あの説明だと応用範囲めっちゃ広そうで強力な武器になりそうだけど

そう思えるように加藤が言ってるだけなのかもしれないけど
0918１３２人目の素数さん
垢版 |
2020/04/04(土) 03:50:36.79ID:IdQuTQEq
またしょうもないお手盛りカンファでナンデが2/3cに定数3/2かけてフェルマーがーとかやんねやろ
アホらしゅうてやっとられんわ
0920１３２人目の素数さん
垢版 |
2020/04/04(土) 04:08:20.03ID:LwZa0TXp
シェルツもフレンケルもABC予想証明されて自身の研究分野の価値が無くなっちゃうから認めないだろうね
0921１３２人目の素数さん
垢版 |
2020/04/04(土) 04:16:08.66ID:oceOoELU
2020年04月04日
　・（論文）修正版を更新（修正箇所のリスト）：
　　The Mathematics of Mutually Alien Copies: from Gaussian Integrals to
　　　　Inter-universal Teichmuller Theory.
　・（論文）修正版を更新（修正箇所のリスト）：
　　Inter-universal Teichmuller Theory I: Construction of Hodge Theaters.
　　Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic
　　　　Evaluation.
　　Inter-universal Teichmuller Theory III: Canonical Splittings of
　　　　the Log-theta-lattice.
　　Inter-universal Teichmuller Theory IV: Log-volume Computations
　　　　and Set-theoretic Foundations.
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
0922１３２人目の素数さん
垢版 |
2020/04/04(土) 04:17:05.74ID:oceOoELU
Inter-universal Teichmuller Theory I
------------------------------------
・Corrected a misprint ("termniology" ---> "terminology") in the portion entitled "Monoids and Categories" of \S 0

・Corrected a misprint ("compatiblity" ---> "compatibility") in Remark 4.9.3, (ii)

・Updated the Bibliographical entries for [IUTchII], [IUTchIII], [IUTchIV]


Inter-universal Teichmuller Theory II
-------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchIII], [IUTchIV]


Inter-universal Teichmuller Theory III
--------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchII], [IUTchIV]


Inter-universal Teichmuller Theory IV
-------------------------------------
・Updated the Bibliographical entries for [IUTchI], [IUTchII], [IUTchIII]

http://www.kurims.kyoto-u.ac.jp/~motizuki/2020-04-04-iu-teich-revisions.txt
0925１３２人目の素数さん
垢版 |
2020/04/04(土) 04:35:19.58ID:h+A2fTjB
望月陣営の8年間
ABC予想は証明されましたっ！
↓
反論
↓
実はABC予想は全て証明されてなくて弱いABC予想は証明されました！
↓
反論
↓
ABC予想が証明されてなくてもIUT理論は画期的な理論です(涙目
0926１３２人目の素数さん
垢版 |
2020/04/04(土) 04:38:05.85ID:JTy4JxBH
もちは証明証明ちゅう割には3.12がなにを指したとかゆわんからな
わかっとらんのちゃうか
0927１３２人目の素数さん
垢版 |
2020/04/04(土) 04:38:30.30ID:DiL3D1t9
>>925
弱いabc予想
ではなくて、
一般的なabc予想、ね

フェルマー導くのは変形版abc予想だから
0928１３２人目の素数さん
垢版 |
2020/04/04(土) 04:39:46.40ID:JTy4JxBH
具体例よう出さんちゅうこっちゃ
前からゆわれとるよに
0929１３２人目の素数さん
垢版 |
2020/04/04(土) 04:46:38.18ID:oEv2ickP
海外ではフィールズ賞のScholze や Stix が致命的な欠陥を指摘した、と流布されたため、否定的な意見が広まっているが、
少なくとも理解者の間では、以下の意見のようにScholze側の初歩的な理解不足による「誤解」から間違った理解が拡散されてしまった、というのが真相のようだ。

だってよwwww
https://twitter.com/math_jin/status/1246152685578903552?s=19
https://twitter.com/5chan_nel (5ch newer account)
0932１３２人目の素数さん
垢版 |
2020/04/04(土) 05:14:17.71ID:nKUnlUzu
「ABC予想」証明した望月教授に「フィールズ賞の1つや2つでは足りない」と関係者
ファルテインクス抜いたショルツ抜いたルーリー抜いた
偉業過ぎて泣けてくるな
0933１３２人目の素数さん
垢版 |
2020/04/04(土) 05:30:37.75ID:MMQWjYsG
jinの悲願は達成された。
もうjinは役目終わりだろ？　まだなんかやんの？
なんかでかい賞取るまでか。
0934１３２人目の素数さん
垢版 |
2020/04/04(土) 05:34:51.72ID:zOyj5mW2
他の海外勢も誤解した部分を説明する論文出すみたいだからもう証明は確定やな

もう根回ししてたんだろ
0935１３２人目の素数さん
垢版 |
2020/04/04(土) 05:36:23.47ID:LCAgYmGz
>>904
一階述語論理では全称命題から存在命題が証明できる
一階述語論理の正統性は完全性定理かなと思う
0936１３２人目の素数さん
垢版 |
2020/04/04(土) 05:52:11.54ID:qaUmRFBJ
ながーいながーい証明

疲れるほどながーい
あきれるほどながーい

そんな証明、本当に証明されたのかどうか
誰が証明するんだ？
0937１３２人目の素数さん
垢版 |
2020/04/04(土) 05:57:31.65ID:zOyj5mW2
海外勢がアップしたPDFも誤解の部分を既存の数学で馴染みやすい記法で説明しとるしもうSSも文句つけれんやろ

数日以内には白旗あげるよ
0939１３２人目の素数さん
垢版 |
2020/04/04(土) 06:13:31.46ID:zOyj5mW2
年齢制限をモッチーのために一時的に撤廃してのフィールズ賞受賞、ノーベル物理学賞、ブレイクスルー賞、クレイ研究所からのミレニアム検証問題のペレルマン辞退分の賞金授与あたりはありえるんでないかな
0940１３２人目の素数さん
垢版 |
2020/04/04(土) 06:16:08.99ID:zOyj5mW2
IUT理論とABC定理を使ってリーマン予想が証明される日も近いに違いない
0942１３２人目の素数さん
垢版 |
2020/04/04(土) 07:28:05.73ID:FneZDOy/
ノーベル賞もらえますか？
0943１３２人目の素数さん
垢版 |
2020/04/04(土) 07:33:49.87ID:F2JYhm1v
これ使って定理とか作れるの？
0944１３２人目の素数さん
垢版 |
2020/04/04(土) 07:39:58.28ID:aagsVubg
リーマン予想も、ABC予想も証明は難しいけど結果はかなり確からしく正しいんだろ？
かなり正しいならその性質をそのまま利用するではダメなのか？
それともどちらの予想も現実の応用には役に立たないの？
誰か教えて！
0945１３２人目の素数さん
垢版 |
2020/04/04(土) 07:49:08.48ID:/J3tjZ2w
>>867
>複数の査読者に論文の再検証を依頼す
複数の査読者が独立に同じものを読んで独立に太鼓判押したってことでしょ？
0946１３２人目の素数さん
垢版 |
2020/04/04(土) 08:01:03.31ID:/h4JQoSm
これ、毅先生のとことかコメント求めに誰か来るだろ
一体どう答えるのか
0947１３２人目の素数さん
垢版 |
2020/04/04(土) 08:14:39.03ID:/J3tjZ2w
>>944
確からしいではダメというのが数学のスタンス
0948１３２人目の素数さん
垢版 |
2020/04/04(土) 08:19:53.51ID:FneZDOy/
AIに判定させればいいじゃん。もう、人間より頭いいでしょ。やっぱ、プライドが許さないかな
0949１３２人目の素数さん
垢版 |
2020/04/04(土) 08:22:50.37ID:CQxmQuCH
>>944
数値シュミレーションとか数理工学寄りだと、リーマンは成り立つものとして
やっているケースもある。統計学的に成り立っているという論文もある。
0950１３２人目の素数さん
垢版 |
2020/04/04(土) 08:28:19.83ID:+x3q6j2c
今朝の日経朝刊記事はは冷静だったよ。焼肉のことは書かれてたけど。
手放しで「証明された」とは書いていない。検証はこれから、という書き方。
0951１３２人目の素数さん
垢版 |
2020/04/04(土) 08:31:46.86ID:lymwxVZG
AIに判定させたらまず間違いなく正しいかどうか判断するのに必要な情報が記載されてないってオチになるだろ
0952１３２人目の素数さん
垢版 |
2020/04/04(土) 08:57:26.16ID:m90SM1JO
昨日ラジオで「2012年から議論が続いていましたが、この度数学界で認められました！！」って言ってたけどウソなの？
0954１３２人目の素数さん
垢版 |
2020/04/04(土) 09:00:43.95ID:4vuXiGa5
やはり4月4日は数理解析研究所が暗黒面へ堕ちた記念日だった。
0955１３２人目の素数さん
垢版 |
2020/04/04(土) 09:00:57.17ID:lymwxVZG
海外対日本みたいな構図にしたい人もいそうだけど国内の整数論研究者すらそれほど好意的ではないというのがまたね…
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ページ以上の激烈に非自明な証明がついているし。
きちんと編集していないだろ、と思う。
0959１３２人目の素数さん
垢版 |
2020/04/04(土) 09:11:07.77ID:tyB0DUit
これでRIMSは今後数十年単位で著名な賞の受賞者なしになりそうだね。
騙すのは国内の一般人までが限界だろうし。
0960１３２人目の素数さん
垢版 |
2020/04/04(土) 09:15:18.11ID:+x3q6j2c
>>958
それだけど、実際の朝刊には望月さんのお人柄に関する加藤文元さんのコメントが掲載されてる。そこに焼肉の話が（笑）いつも完全に同じものを注文すると。
0961１３２人目の素数さん
垢版 |
2020/04/04(土) 09:16:59.74ID:DZ3hypNA
>>935
それじゃあ証明してください
例題は

すべてのカラスは黒い　⇒　少なくとも1羽の黒いカラスが存在する

です

僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから
0963１３２人目の素数さん
垢版 |
2020/04/04(土) 09:28:44.94ID:8Oswo/OV
>>948
その判定基準は人間がつくるんだよ。AI過信しすぎ
0965１３２人目の素数さん
垢版 |
2020/04/04(土) 09:33:29.12ID:t13u2EPI
転載

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
最終的にどう判断されらかはわからないけど、小保方さんみたいに発表して数日で破綻するような
お粗末な事態にはならんはず
0969１３２人目の素数さん
垢版 |
2020/04/04(土) 10:07:16.49ID:qRYCuq0Q
>>912
柏原・玉川は理解していないと思うよ。望月の言い分をそのまま認めただけ。
IUTがだめだと確信できる理由の一つに、若い人の理解者がいないという点がある。
最先端の数学が理解されるのは、まず若い人から。
ワイルズが証明の穴を指摘されてた時、助け船を出したのはワイルズの弟子だった。
今回、望月を助ける若手が全く存在しない。
要するに、弟子たちは師匠を崇拝するだけで、誤りを指摘するなんてことはできないのだろう。結局のところアジアンの限界だ。
唯一シカゴ大学で博士号取った越川だけがショルツやコンラッズと同じ個所の疑問を呈しているが、無視されているｗ
0970１３２人目の素数さん
垢版 |
2020/04/04(土) 10:12:06.07ID:whYolgjl
Dupuy かなりハイだね。

本当に本当に本当に初歩的なことだよ、ショルツ君
0971１３２人目の素数さん
垢版 |
2020/04/04(土) 10:16:49.75ID:WEnM0TDI
もっちー、ブログコメント読んでるんだな
一件早速返信してて、喜びがいかほどのものかよくわかる
おめでとうございます。

しかし明らか電波な妖精コメまでも天才数学者の目に触れてるのかと思うとゾッとするな
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とかだったらいい笑いもんだ
0977１３２人目の素数さん
垢版 |
2020/04/04(土) 10:44:09.86ID:tyB0DUit
まあレフェリーレポートは今回の件については公開したほうがいいよね。
普通はそんなことしないっていうけど「特例を理由に公開時期未定」なのだから、
特例を理由にレフェリーレポートの公開も認めてもいいだろう。
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
>>976
誰がレフェリーだったのかは気になる
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兆個のゼロ点に反例が無いという結果は無限個のゼロ点からみたらゼロに等しく何の根拠にもなっていない。それが数学というもの。
0986１３２人目の素数さん
垢版 |
2020/04/04(土) 11:15:07.34ID:mbv9hr8e
この表現は。。
＞望月教授の論文は、なぜ検証に７年半もかかったのか
＞編集委員会は昨日の会見で「墓場まで持っていく」と審査過程を明かしませんでした
0987１３２人目の素数さん
垢版 |
2020/04/04(土) 11:28:09.96ID:CTVUpSZE
>>983
そもそも黒いカラスも黒くないカラスも存在しない場合
「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する

そういう話
0989１３２人目の素数さん
垢版 |
2020/04/04(土) 11:39:13.53ID:/UAR4nog
>>986
墓場までもっていくって…
まるでもちーとｲｹﾅｲ関係でもあったかのような表現ですね
0990１３２人目の素数さん
垢版 |
2020/04/04(土) 11:41:24.63ID:/UAR4nog
すごいな
ど過疎スレだったのに、昨日の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)

今の議論と全く関係がない
0993１３２人目の素数さん
垢版 |
2020/04/04(土) 12:10:37.45ID:tyB0DUit
これ柏原と玉川の会見みたら、具体的な影響は数十年後に出るとか言ってるのか。
これほんとに載らない可能性あるな。
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニューススポーツなんでも実況