X
トップページ⇒数学
1002コメント411KB
Inter-universal geometry と ABC 予想 46
■ このスレッドは過去ログ倉庫に格納されています
0198１３２人目の素数さん
垢版 |
2020/04/05(日) 09:44:39.88ID:AWrJ0Lir
>>195
ほんとそう。
擁護派の連中によくよく警告しておくが、
今回京大が組織の名において「ABC予想が証明された」というからには、
3.12についてこれまで望月が公表したペーパーとは段違いのレベルで、
詳細な証明文が公表されるということでいいな？　
もしそうでなければ人だましもいいところだぜｗ
完全に数学的真理に泥を塗る、開き直りの行為だと言う事になる。
0199１３２人目の素数さん
垢版 |
2020/04/05(日) 09:52:08.37ID:RRzLDa/F
IUTアニメの第2弾が1月に出てたのを知って見たけど
相変わらずわけわかんねーな
0200１３２人目の素数さん
垢版 |
2020/04/05(日) 10:24:19.50ID:lhpQKJcc
abc予想が証明されたと報道されていますがこのスレ見ると違う（？）ようですね
どうすれば証明されたことになるのでしょうか？
AnnalsやJAMSに掲載されれば証明されたことになるのでしょうか？
0202１３２人目の素数さん
垢版 |
2020/04/05(日) 10:28:57.01ID:KC+9VfMD
京都大学が会見して、証明したってはっきりいってんだからそれがすべて。
このスレにもちーやかしわばら先生や玉川先生以上の頭脳の持主がいれば別だが、いるなら名乗り出てもちーに挑めばいいとおもう
ただしれっきとした数学者じゃないと相手にされないが
0203１３２人目の素数さん
垢版 |
2020/04/05(日) 10:38:19.67ID:AWrJ0Lir
>>201
ウィキペディア英語版の記述、
アーベル賞もフィールズ特別賞も相手にされないという現実でおのずから明らかとなるｗ
0205１３２人目の素数さん
垢版 |
2020/04/05(日) 10:41:27.24ID:YxWsMJ4i
>>198
何内情知らん奴がいきりがって顔真っ赤にしてんだよ
リムスに恨みあるらしいな、コンプレックスか？
そもそも組織として認めてねーよ、編集委員会が認めたことを京大が発表しただけだわ
0206１３２人目の素数さん
垢版 |
2020/04/05(日) 10:47:30.92ID:YxWsMJ4i
ほんとニュー速にしろここにしろ、一定数、いや約1名のリムスコンプレックス拗らせ野郎がネガキャンしまくってるのほんと迷惑
それに似た事が海外で行われて、こんなアホな世界情勢になっとるんだわ
0207１３２人目の素数さん
垢版 |
2020/04/05(日) 10:49:25.90ID:YxWsMJ4i
Mzk研の中の人も言ってたけど、現場は相当困っているらしいよ、変な噂で平常な研究活動に支障がてでると
0208１３２人目の素数さん
垢版 |
2020/04/05(日) 10:55:59.40ID:cTzpxuVq
>>197
意味分からん

・ここにいる99％の人が、望月ＩＵＴは、”野矢茂樹の論理学”（>>193）とは無関係と理解しているだろうよ
・そして、”野矢茂樹の論理学”は、哲学の論理学であって、望月ＩＵＴの現代数学の論理学とは違うよ
・現代数学の論理学において、望月ＩＵＴと絡んでくるのは、第一に圏論的視点でしょ
・あと、ラベルという識別問題があって、無限の扱いとか、一階か高階かみたいなからみとかな
　（望月先生自身は、∧と∨との取り違いで説明しているが）
・そこらは、”野矢茂樹の論理学”などの哲学の論理学では、決定的に欠けていると思うよ

スレチなので、これ以上は議論しない
0209１３２人目の素数さん
垢版 |
2020/04/05(日) 11:06:53.51ID:AWrJ0Lir
>>205
きちんとした証明を出せというと怒りだす擁護派のクオリティーｗ
これがすべてを物語っている
0210１３２人目の素数さん
垢版 |
2020/04/05(日) 11:13:00.49ID:imt8W0ho
>>198
最新版の「The Mathematics of Mutually Alien Copies」(>>185)は望月自身が出したサーベイの様なものと思うが、それを海外は読んでないのでは。
シュルツのレポートは、P142のExample 3.11.4.で間接（直接の指摘でない）で触れ、∧で扱わずに∨と誤認した例で解説しているのでは。

もしこの論旨が正しいなら、論文を修正なしで掲載するという、今回の判断となるのでは。

＞詳細な証明文が公表されるということでいいな？　
上記[Alien]は、ガウス積分（副題）のアイデアきっかけからと思いましたが、読まれました？
0211１３２人目の素数さん
垢版 |
2020/04/05(日) 11:13:29.08ID:cTzpxuVq
>>209
>きちんとした証明を出せ

ほいよ
嫁め

（参考）
望月新一（数理研） http://www.kurims.kyoto-u.ac.jp/~motizuki/
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
宇宙際Teichmuller理論

[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-04-04)

[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-04-04)

[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-04-04)

[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-04)

[5] A Panoramic Overview of Inter-universal Teichmuller Theory. PDF NEW !! (2013-08-20) Comments NEW !! (2015-11-11)

[6] Bogomolov's Proof of the Geometric Version of the Szpiro Conjecture from the Point of View of
　　Inter-universal Teichmuller Theory. PDF NEW !! (2016-01-12)

[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF
　　NEW !! (2020-04-04)
0212１３２人目の素数さん
垢版 |
2020/04/05(日) 11:15:45.93ID:YxWsMJ4i
>>209
だから証明じゃねーんだってなんべんいわせんだよバカかお前ら
だからこれ以上証明しろだのわかりやすく説明しろだのできねーだよ、最初から丁寧にわからなかったら何度も読んでねつーしかねーの
0213１３２人目の素数さん
垢版 |
2020/04/05(日) 11:41:08.32ID:Hz6dZafY
>>192
もともとABC予想といえば“弱いABC予想”のことで、“強いABC予想”は後から出てきたものだから別に間違ってはないと思う
0214１３２人目の素数さん
垢版 |
2020/04/05(日) 11:45:19.16ID:OkXxG8nh
学術の巨大掲示板群 - アルファ・ラボ
ttp://x0000.net

数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
0216１３２人目の素数さん
垢版 |
2020/04/05(日) 11:46:23.84ID:NtAt+q6Y
>>211
これ他のひとも指摘してたけどなんで2月5日のアクセプトなのに4月4日版があるの？

けっきょく最終版はいつ出るの？　このまままただらだらとバージョンが上がるのか？
0217１３２人目の素数さん
垢版 |
2020/04/05(日) 11:47:43.87ID:kJ/xwsnV
三日天下
0218１３２人目の素数さん
垢版 |
2020/04/05(日) 11:50:40.41ID:YxWsMJ4i
>>216
アクセプトされてから、最終版を著者に依頼するのよ
で、著者は本筋と関係ないところなら修正がゆるされるわけ
だから修正してんのよ
なんなら最終版をEMSにおくってからも本筋と関係ないところなら修正可能だからね覚えといてね
0219１３２人目の素数さん
垢版 |
2020/04/05(日) 11:51:22.14ID:cTzpxuVq
>>209
擁護派つー 言い方がおかしくね？

クロをシロにしてくれって、言ってないでしょだれも

シロだからシロってことよ

ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない

これが事実でしょ

でも、海外では、フィールズ賞の権威だから、ＳＳ側を支持している人が多いのは事実

これをどうしていくか？　その1つが今年予定の4つの国際会議
0220１３２人目の素数さん
垢版 |
2020/04/05(日) 11:53:02.52ID:NtAt+q6Y
>>218
つまりSSの回答にちゃんと答えてないってことじゃん。
2月時点では周囲に理解可能なコメントはなかった。
その後のアップデートがすべてマイナー修正ならSSに対する今も回答はないことになる。
0221１３２人目の素数さん
垢版 |
2020/04/05(日) 11:54:22.35ID:WYjlPv47
スレの議論の展開までSTAP騒動に似た様相を呈してきたな。
一体落とし所をどこに持っていくのだろうか。

>>220
鋭い指摘だね。
マイナー修正しかしてない状態でアクセプトされた事になる。
0222１３２人目の素数さん
垢版 |
2020/04/05(日) 11:54:22.71ID:NtAt+q6Y
>>219
じゃあ今すぐそのSSを納得させる（ケドラヤとかも含めて）説明をここに書いてくれ。
おれがそれを英語にしてSSに送るから。

＞ＩＵＴは正しいし、ＳＳの指摘は的外れで、ＳＳはＩＵＴを理解できていない
＞これが事実でしょ

こう言い切れるならおまえは分かっているはず。
0223１３２人目の素数さん
垢版 |
2020/04/05(日) 11:55:37.88ID:TzRDNpXs
望月教授と滝浦真人（放送大学教授、法政大学講師）の類似点

望月教授のＡＢＳ予想の証明：自身が編集長を務める学術誌ＰＲＩＭＳに掲載予定（２０１２年に予稿をＰＲＩＭＳのwebに掲載）
数理解析研究所の教授（柏原正樹、玉川安騎男）の発言：「証明したことに間違いがないと言ってかまわない。
『ＡＢＣ予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」

ネイチャー：The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者：望月の証明には欠陥がある
ヨーロッパ数学協会会長：批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程のアドバイザー：　考えを明確に伝えようとしていない
https://www.nature.com/articles/d41586-020-00998-2

滝浦真人の博士号に関する学位審査（公正な審査では不合格？）
学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査
主査は『語用論研究法ガイドブック』の共著者でもある（日本語用論学会会長：加藤重広 、日本語用論学会編集委員長：滝浦真人）
副査は、論文の内容が専門外

学位請求論文：日本語敬語および関連現象の社会語用論的研究
論文の内容：既刊の本を無理やりつなげただけ
審査結果：大賛辞による乙種の学位授与

論文の二重投稿の論理的構造
別の論文と内容、結論が同一(酷似，類似)である
先行論文と比較して、内容と結論に新規性がない
既存の（実験）データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい
適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい

学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、
二重投稿は反社会的性質をもつ
https://ja.wikipedia.org/wiki/二重投稿
0224１３２人目の素数さん
垢版 |
2020/04/05(日) 11:56:00.11ID:NtAt+q6Y
>>221
しかも>>219も意味不明なんだよね。
論文で説明されていないことをその後の国際会議の説明で補完していいなんて聞いたことがない。
0225１３２人目の素数さん
垢版 |
2020/04/05(日) 11:56:27.97ID:YxWsMJ4i
>>220
？？
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外

さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
0226１３２人目の素数さん
垢版 |
2020/04/05(日) 11:56:57.70ID:PD3KZeWd
>>194
>横＆スレチだけれど
>・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
>・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
>・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）

>>164では本当におおざっぱに言いました。
工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
別領域に切り出した部分は実験屋の経験式や別の理論式をはめ込んで別のモデリングを採用します。
＊「やばそうなところ」とは、メッシュよりずっと小さい粒度で「調べたい性能」*に過敏に作用する領域です。
＊「調べたい性能」とは摩擦力や熱伝導特性などです。
工学では、調べたい性能が低コストで得られれば手段は問われません。
別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
「やばそうなところ」の例は、
・vortex generator(突起）付近の流れ
・移動する相変化面近傍の領域
・移動する衝撃波近傍の領域
固相との境界には「薄い」境界層が生成され、境界層が層流か乱流かで流体特性の「ほとんど」が決まるので、
境界層部分のモデリングがシビアになるケースでは境界層のモデリングに特別な配慮を行います。
流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
賞金とかかけられますが。
目的が特殊なら一般化した単独モデルにはこだわりません。
スレチですいません。
0227１３２人目の素数さん
垢版 |
2020/04/05(日) 11:58:24.24ID:NtAt+q6Y
>>225
＞だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外

論外だと言ってるひとの方が少数派なのにそれは無理があるだろ
理解できないひとのほうが多数派ならすくなくとも「そこは通常の数学者にはギャップに見えるから、
埋める解説が必要」ということしか意味しない。
ギャップはただの誤解だと言えるのは「ギャップがある」と言ってる数学者が少数の場合だけ。
0228１３２人目の素数さん
垢版 |
2020/04/05(日) 11:58:31.15ID:YxWsMJ4i
>>223
これ、望月見たらマジで訴訟レベルだぞいいのか？
トンデモ張ってんのそれくらいにしとかないと本気でヤバいぞ
0229粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/05(日) 11:58:39.50ID:FONsPQYw
>197
野矢茂樹「無限論の教室」の架空の登場人物タジマを信奉している事を表明するとか
どういう神経しとるん？あれが、どんな言い分を盾にして
どこで思考停止してるか分からねぇバカ恥を晒して、よく平然としてられるわ
そのタジマ、途中で実無限の説明しなきゃいけなくてマジタとか名乗り変えてたじゃろ
アンタも「アリストテレスに帰れ！」とか小っ恥ずかしいなんてもんじゃない叫び声をあげる奇人か？
何でそんな実無限を憎んで可能的無限を崇めるん？

野矢茂樹自体が登場人物タジマとは違う考えでいる事を巻末で結んでるのも無視して何を崇めるん？
0231１３２人目の素数さん
垢版 |
2020/04/05(日) 12:00:44.34ID:YxWsMJ4i
>>227
ってかちゃんと回答してるから。ショルツがそれを無視して逃げたんだから。どうしようもない。
0232１３２人目の素数さん
垢版 |
2020/04/05(日) 12:01:14.08ID:NtAt+q6Y
>>230
きみは科学コミュニティのことがまったくわかっていない。
真理は多数決では決まらない。あたりまえだ。
だが科学的コミュニケーションはコミュニケーションなのだから、
多数派が理解できないなら少数派には解説をする責任がある。
科学コミュニティの作法を無視しているからこの件はずっと問題になってることを理解してないね。
0235１３２人目の素数さん
垢版 |
2020/04/05(日) 12:14:41.44ID:ESZv1/p1
ちと話変わるけどEMSの責任者が知らなかたっていうのおかしいんだよね。
京大の発表では2月5日にアクセプト。今は2ヶ月後。
さすがに2ヶ月あったらアクセプト結果がMehrmannの耳に入ってないってのは信じられない。
今まで物議を醸し出した査読結果なんだからEMS内ですぐに広まるはず。
つまり2月5日にアクセプトしたと言っているが編集委員会はその結果をEMSに送ってないんじゃないか。
0236１３２人目の素数さん
垢版 |
2020/04/05(日) 12:15:18.02ID:YxWsMJ4i
>>234
権威主義の弊害wwww
ネイチャーガー
フィールズメダリストガー
ゴシップ似非サイエンスwwww
0238１３２人目の素数さん
垢版 |
2020/04/05(日) 12:16:47.94ID:BRLakduE
問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに
0239１３２人目の素数さん
垢版 |
2020/04/05(日) 12:17:29.77ID:kdKHAXb8
EMSは知らなかったのに5chでそれらしい書き込みがあったから内部者が書いてるの間違いないんだよね。
だから擁護コメは内部者で利害関係人だから信用できないと思ってる。
0241１３２人目の素数さん
垢版 |
2020/04/05(日) 12:19:22.07ID:WYjlPv47
ギャップがある事自体は修正か撤回すればいいで済むけど
ギャップを放置したままRIMS内では証明された事にするなら
全く話は変わってくるわな。
0242１３２人目の素数さん
垢版 |
2020/04/05(日) 12:21:13.40ID:levNeqCT
望月さんはABC予想など小さいよ
もっと大きい論文だよと
こういう態度で
通してるんですかね

ABCもフェルマーも目立つから
勝手に大きな山みたいに扱うが
数学とはもっと大きい学問ですよ
こういう感じなのかな
0243１３２人目の素数さん
垢版 |
2020/04/05(日) 12:21:20.56ID:YxWsMJ4i
>>221
何が鋭い指摘だ、だよw
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外

さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方
0244１３２人目の素数さん
垢版 |
2020/04/05(日) 12:22:03.38ID:kdKHAXb8
>>241
そこなんだよな。
RIMS内部では理解したことになってるわけで、
じゃあ今後RIMSからみんなにわかる明確な説明があるんですよね、TやKはできるんですよね、
という話になってくる。EMSがreflect badly on themって言ってるのはこの事態だろう。
0245１３２人目の素数さん
垢版 |
2020/04/05(日) 12:22:47.42ID:YxWsMJ4i
>>241
ギャップ自体がないのよ、何回いわせんだよ

RIMS内云々ってこれ編集委員会マターだからね、リムスかんけいないの
0246１３２人目の素数さん
垢版 |
2020/04/05(日) 12:23:45.99ID:YxWsMJ4i
>>244
リムス内部で理解なんて絶対条件じゃないから
レフリーレポートがすべてよこの世界
0247１３２人目の素数さん
垢版 |
2020/04/05(日) 12:25:10.83ID:kdKHAXb8
>>246
きみ査読のことわかってないのバレバレなんだよね。
じつはレフェリーレポートがrejectでも編集委員長がOKなら載せられるんだ。
嘘つきの相手は時間の無駄だから。
0248１３２人目の素数さん
垢版 |
2020/04/05(日) 12:26:37.13ID:f2J1qa0q
ついにABC予想の証明が正しいと認められるwwwww

お、おまえら〜w
0249１３２人目の素数さん
垢版 |
2020/04/05(日) 12:27:50.76ID:kdKHAXb8
編集委員会が査読をさせるのは査読結果を勘案するためであって、
そのレフェリーレポートでacceptかrejectかを決めるためではない。
だから機関誌についてレフェリーの責任であって機関誌の責任ではないとは言えないんだよ。
最終判断下してるのはそこなんだから。
0250１３２人目の素数さん
垢版 |
2020/04/05(日) 12:28:06.31ID:f2J1qa0q
反論があるやつは反対論文を投稿しないとなw
0251１３２人目の素数さん
垢版 |
2020/04/05(日) 12:30:16.76ID:8gUORYpi
>>234
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、EMSのガイドラインに違反しないことを確認している。

とあるその記事か
何を逆証の記事をドヤ顔で引用しているわけだド阿呆
0252１３２人目の素数さん
垢版 |
2020/04/05(日) 12:30:53.46ID:1GnoRDNQ
全く良く分からんが、>>180がコミュニティ的に精査されることで、誤解があれば解けるんじゃないの？
元々ギャップ自体ないなら確かに修正しようもないな。
0253１３２人目の素数さん
垢版 |
2020/04/05(日) 12:34:25.86ID:f2J1qa0q
望月スクールのやつらは既にABC予想の先をやっているというのにお前らは8年前で止まってるなw
0254１３２人目の素数さん
垢版 |
2020/04/05(日) 12:38:28.42ID:NkAq1xzA
>>229
『まったくゼロからの論理学』岩波書店

の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語

演繹，前提，仮定，含意，条件法

について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている

因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから

∃n,k∈N

n_1=1
n_k=k
n_k+1=k+1

という記法になってしまう
0255１３２人目の素数さん
垢版 |
2020/04/05(日) 12:46:09.15ID:WYjlPv47
>>252
ギャップがないなら解説を加えるのも簡単なはずなのよ
コミュニティ側は3.12にギャップが本当に存在しないのなら
その明快な解説を公開した人物の業績は永遠に語り継がれると言っているのに
８年間誰一人として解説を与えられる様子がなかった事で
「理解者」も単なるイエスマンだと見なされて完全に見限られた。
0256１３２人目の素数さん
垢版 |
2020/04/05(日) 12:54:46.64ID:YxWsMJ4i
>>247
いやいや、レフリーレポートが強く勧める内容なら、それをエディターがリジェクトするにはそれ相応の理由が必要だろ？今回何の理由があんだ？まさか「まだ世界的に認められてないから」なんて下世話な理由じゃねーだろうな？
0257１３２人目の素数さん
垢版 |
2020/04/05(日) 12:55:16.02ID:5VmMZ0as
>>195
自己の無矛盾性を証明ってどうやって？
細かいギャップは修正され続けてますよね
論文は公表されてますから、
矛盾を指摘する側が論理的な破綻を証明する事が可能では？
0258１３２人目の素数さん
垢版 |
2020/04/05(日) 12:56:07.21ID:8gUORYpi
>>243>>250
まったくだな

・アインシュタインは量子論を生涯に渡って批判し、問題点を指摘する論文を書き続けた。

あのアインシュタインに延々と批判された量子論など、全くダメダメで何の価値もない
何十人もいる、たかだがフィールズ賞の若造ごときとはレベルが違う、あの人類史上のアインシュタイン大先生からの大批判

しかもそれ自体きちんと査読を通った論文で

もし熟慮の上のまともな批判であるなら、自らもきちんとした反証論文を、学者生命を賭けてでも出すべきだろうがそんなものはなく、出すフシもない
外野がウロ理解を元にネットで何か突いてた
→うわあ大問題　この理論大間違い決定終わりーっ
0259１３２人目の素数さん
垢版 |
2020/04/05(日) 12:56:47.34ID:zs+13/vl
野次馬ですけど本人はANDとORの取り違えが原因だと言ってるけど
それを勘案した後でも3.12のギャップは埋まらないんですか？
0261１３２人目の素数さん
垢版 |
2020/04/05(日) 12:58:04.12ID:0/wXntJa
しばらく不毛な罵り合いが続きそうだから古参は1か月くらいしてから復帰でいいな
数年に一度はこうなる
0262１３２人目の素数さん
垢版 |
2020/04/05(日) 12:58:05.16ID:WmxkQhko
10年後の英語版wikipedia
ＡＢＣ予想の項目の隅に、日本の望月が証明したと主張する者もいるって書かれるのか
ＡＢＣ定理の項目に、望月により証明されたって書かれるのか
どっちだろうね
0263１３２人目の素数さん
垢版 |
2020/04/05(日) 12:59:20.39ID:imt8W0ho
>>255
そのギャップではないよ。
「ショルツの指摘したギャップ」に関して。

望月の[Alien] Example　3.11.4.が正しければ、
ショルツレポートは誤認であればギャップがないという判断であれば、
編集委員会が発表した通り、指摘への修正がなくなる。
0267１３２人目の素数さん
垢版 |
2020/04/05(日) 13:06:09.30ID:FONsPQYw
>>254
偽の仮定が、何を、齎す（と言うか仕出かす）のか知る事も論理学じゃが｡
「偽の仮定は常に真」の本当の意味、分かっとらんじゃろ？それじゃあ
「偽の仮定は存在しない」という意味が分かっとらんな｡

> 可能無限派

…は？可能無限派が何でこのスレに茶々入れに来るん？
0268１３２人目の素数さん
垢版 |
2020/04/05(日) 13:08:22.39ID:NkAq1xzA
>>267
何だよ本当の意味ってｗ
おしえてｗ
0269１３２人目の素数さん
垢版 |
2020/04/05(日) 13:11:09.30ID:Hhbo791v
今後書かれるIUT関連論文は世界的に相手にされず
PRIMS（あるいはKodaiMath？）に載ることになるんだろうな
0270１３２人目の素数さん
垢版 |
2020/04/05(日) 13:13:48.41ID:xg52hhky
SSが批判して大方の数学者も同調してるから駄目に違いない
一方査読通って掲載されるから理論の正しさは基本的に証明された事に違いない

結局この二つを形変えながら反復して戦ってるだけだなこのスレw
なにも生産性がないなw
0271１３２人目の素数さん
垢版 |
2020/04/05(日) 13:14:55.28ID:NkAq1xzA
全称命題から存在命題を示すことはできない
これより全称命題から個別に元(数)を選ぶことはできない
これは可能無限派なのかな
無限級数の1とか
無限数列の1は取れない
と考えている
0272１３２人目の素数さん
垢版 |
2020/04/05(日) 13:17:31.15ID:kdKHAXb8
>>270
IUTがそもそも生産的ならこんなことにならないんだよね。
タオがいうとおりIUT自体からは有益な応用がないので、
abc予想が解けているかどうかだけに話が集中する。
つまり現状の生産性のなさはIUTの生産性のなさそのもの。
0273１３２人目の素数さん
垢版 |
2020/04/05(日) 13:18:24.00ID:ThBprm7B
>>270
ほとんどの人（自分含む）はIUTの定義すら分かってないから、誰々（偉い先生）が言ってたから正しいくらいしか言えないのよね
他の数学スレとは空気が全然違う
0274粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/05(日) 13:20:29.96ID:FONsPQYw
>>258
ヤケに堂に入っとるが皮肉？それとも本音？其れを言ったら
相対論だってマクロで通用してミクロで通用しない
量子論だってミクロで通用してマクロで通用しない
だから統一に向けて超弦理論だぁM理論だぁ量子ループ理論だぁと世界で挑戦してる訳で
0276１３２人目の素数さん
垢版 |
2020/04/05(日) 13:20:52.41ID:WYjlPv47
>>269
関連論文以前に本家IUT論文がPRIMSにしか相手にされてないからな。
これが若手研究者の論文とかなら国内でも無視すればいい話だけど
国内では相当な権威を持った研究者の論文だから頭が痛い。
論理的に否定できても政治的に否定できない状況に陥りかねない。
0277１３２人目の素数さん
垢版 |
2020/04/05(日) 13:22:29.81ID:ThBprm7B
>>275
そんなスレはない
他のスレと違うのは、他のスレだと正しいかどうかの議論は基本的には数学的な内容含むけど、このスレだとそれがない（できない）
0279１３２人目の素数さん
垢版 |
2020/04/05(日) 13:25:44.43ID:9JKJwhHF
数学者でも遠アーベル幾何について語れる人って限られるだろうから仕方ないのでは
0282１３２人目の素数さん
垢版 |
2020/04/05(日) 13:59:52.95ID:cTzpxuVq
>>226
スレチだけど、どうもありがとう

>工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
>別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。

有限要素法が出てきたときの売り文句がそれだったよね
メッシュの精粗の自由度が高いみたいな

>別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
>「やばそうなところ」の例は、

それは、数学でも、トポロジーの手術みたいなものでしょ
特異点出てきたら、切って、貼付けて、特異点無くすみたいない

>流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
>賞金とかかけられますが。

数学的にちゃんとした解が存在するかどうかが、数学としては重要ってことでしょうね
それと、乱流の数学的扱いの手法開発という意味もあると思っています

スレチですけど
0283１３２人目の素数さん
垢版 |
2020/04/05(日) 14:00:38.81ID:+I82jeYq
>>200
違うわけでもない。納得してないやつがいるだけ
きっちり特別号が発刊されて国際会議が終わるまで待て
0284１３２人目の素数さん
垢版 |
2020/04/05(日) 14:04:41.80ID:+I82jeYq
>>192
誇張でもミスリードでもない
そんなことを京大はやらない
いい加減雑音撒き散らすのは止めろ
0285１３２人目の素数さん
垢版 |
2020/04/05(日) 14:08:42.30ID:ee/QHx52
Iutには生産性がないのが致命的、みたいな意見があるようだが、フェセンコによると何ダースもの重要な数学的帰結が直ちに導き出されるんだろ？

十分生産的じゃん
0286１３２人目の素数さん
垢版 |
2020/04/05(日) 14:10:15.38ID:kdKHAXb8
>>283
特別号はマイナーチェンジなんだろ。だったら待つ意味がない。
特別号はマイナーチェンジだが国際会議でメジャーチェンジになるとも思えないので、
国際会議の内容にもけっきょくみんな納得しないだろうね。
0287１３２人目の素数さん
垢版 |
2020/04/05(日) 14:44:37.36ID:Xmb5hNtW
毎日新聞は「フェルマーの最終定理を簡単に導ける」って誤ったこと書いてた。。
0288１３２人目の素数さん
垢版 |
2020/04/05(日) 14:45:10.48ID:KC+9VfMD
海外でのもっちーへの悪い話というのが気になる
なに言われてたの？
0289１３２人目の素数さん
垢版 |
2020/04/05(日) 14:50:32.90ID:FBCT1rYI
望月は日本の恥だな
第二の小保方がこんなに早く出てきてしまうとは情けない
0290１３２人目の素数さん
垢版 |
2020/04/05(日) 14:57:22.30ID:i9S9WRK/
望月教授のウィキペディアの英語版によると、世界的には認められてないのですね。
「2020年4月3日、日本人の2人の数学者、柏原正樹と玉川明夫は、
望月が主張するabc予想の証明が、望月が編集長である数理科学研究所（RIMS）の
出版物に掲載されると発表しました。
この発表は、キランケドラとエドワードフレンケルによって懐疑的に受け取られ、
ネイチャーからは「多くの研究者を望月のキャンプに移動させる可能性は低い」
と説明されました。」（グーグル翻訳）
0291１３２人目の素数さん
垢版 |
2020/04/05(日) 15:01:43.32ID:WNDHxFwc
世界が認めなかったんじゃない
理解できなかったんだ
日本人誇らしい
0292１３２人目の素数さん
垢版 |
2020/04/05(日) 15:05:58.20ID:kjLxjF70
RIMSの研究者かなんかをほのめかしてる割に、理解できてない理論を無条件で擁護するのは何なんだ？w
心情を聞きたいわ。それだけ信頼してるってこと？
0294１３２人目の素数さん
垢版 |
2020/04/05(日) 15:15:51.50ID:cTzpxuVq
>>290-292

１．4月3日のプレス発表は、一般マスコミ向けで、数学の専門的なことはスルーしているから
　ネイチャーの記者も、専門的なことは分からずに、書いているだけでしょ
２．従来懐疑的だった数学者は、プレス発表では、それを覆す情報はないから、意見を変えないのも道理
　だから、プロ用の情報発信が要るってこと
３．一方で、中間派というか、数論分野以外の人達（主に海外）は
　「RIMSも思い切った発表したが、よほど自信があるのですね」と考えるのが普通でしょ
　それだけでも、大きな意義ある
0296１３２人目の素数さん
垢版 |
2020/04/05(日) 15:22:04.86ID:aZla/0vu
ショルツのように望月から見て理解しきれなくて的外れな指摘で通してきた勢も、ガンガンIUTが活用された時に真剣に見ざるを得なくなるので、どちらにせよ、議論は進むわな。
0297１３２人目の素数さん
垢版 |
2020/04/05(日) 15:23:19.13ID:pCc9Yxqh
>>274
ID:8gUORYpi は数学板でも有名なトンデモなので餌を与えないで下さい
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況