[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
899: 2020/04/04(土)01:19 ID:B/zbSgrn(7/8) AAS
>>897
>数学ひいては学問に興味ない人多いんだなって話
そこは禿げ上がるほど同意
オリンピックのメダルみたいにただ権威に興味あるだけ
中身はどうでもいい
900(1): 2020/04/04(土)01:19 ID:edwvB7uj(1) AAS
>>886
「それは初歩的な勘違いでそもそも問題点の指摘になってない」と当初から理解陣営が言い続け、面倒くさいところ懇切に何本も説明をしまくっているものに、
「一つくらい反論してみろよ」から「何を言おうが海外では全否定されている、に違いないｷﾘｯ」そして「小出しに修正しやがって 意味ねえわっ」、
と小出しにすり替え修正し続けている涙目の馬鹿らのことな
901: 2020/04/04(土)01:21 ID:K5yZQ4IA(1/2) AAS
アビガンに興味があってyahooみたら
アビガンよりも中国企業にパクられるな！とか韓国に薬を渡すな！とかそういう話ばかりしてる
yahooってそういうところよ
株で富士フイルムの掲示板見に行ってもそうだから。株とか関係ない。
902: 2020/04/04(土)01:23 ID:K5yZQ4IA(2/2) AAS
>>900
そこまで言って君は理解できたの？
903: 2020/04/04(土)01:25 ID:pmTrKGmv(4/4) AAS
yahooニュースはニュースにコメントする場じゃなくて単に自分の言いたいこと言うところだからね
まあそういう自分もこんな書き込みしてる時点で彼らと同レベルだけど我慢できなかったわ
904(1): 2020/04/04(土)01:33 ID:RSRL4rRm(1) AAS
全称命題から存在命題が導出できることについて議論して欲しい
俺はできないと思う
なぜなら
全称命題には存在性がないからだ
905: 2020/04/04(土)01:40 ID:CQxmQuCH(1/2) AAS
>>867
この朝日の石倉とかいう記者もひどいな。
長年取材してきたなら、ショルツの指摘が「どのように」関係なかったのかが
一番重要なのに、あっさりかわしていて。
ヤフコメ民と同レベルだよ。ジャーナリストが厳しい質問できずにどうするんだ。
京大のちょうちん持ちかよ
906: 2020/04/04(土)01:45 ID:MMQWjYsG(1/2) AAS
モッチーついにTVデビュー
外部ﾘﾝｸ:www.fnn.jp
907(1): 2020/04/04(土)01:47 AAS
証明が正しいかどうかより
証明の応用がどれだけあるかだよな
908: 2020/04/04(土)01:58 ID:qqVllLrZ(1/2) AAS
玉川氏はIUTを理解したということか？
フェセンコ氏も？
909: 粋蕎 ◆C2UdlLHDRI 2020/04/04(土)02:19 ID:RfvpWQnt(1/3) AAS
ん？ABC予想は認証されても強力な公理に成るだけ？広がらんのか？
他の有名懸賞問題にも有効そうじゃが。其れはまた其の先の話で？
分野としての進化は得られても、学問としての分野新生には至らんって云う事なんか？
910: 2020/04/04(土)02:34 ID:5FK85vU/(1) AAS
このスレにIUT理論を理解している人間は1人もいないから今なら任意の尤もらしい嘘が武器になるぞ！君も虚構でマウントを取ろう！
911: 2020/04/04(土)02:48 ID:CxthggVA(1) AAS
そのうち「ABC予想解けました！」
っていう素人がワンサカ出現するんだろうな
912(2): 2020/04/04(土)02:58 ID:vePGlEFh(1/2) AAS
京大数理研の複数の教授が確認したってことは
証明は正しいのでしょう
さすがに小保方案件にはならないと思います
913: 2020/04/04(土)03:08 ID:shqAyCSR(1/2) AAS
そんなに大層にせんでもこれといっしょやねんからこれが証明なんかみたらええやん
外部ﾘﾝｸ:en.wikipedia.org
Examples of triples with small radical
2/3c
914: 2020/04/04(土)03:19 ID:L4HeMhZI(1) AAS
Woitが早速更新しているわけだが、これ個人的に聴くところでは西海岸の数論幾何学者でも似たような
感想らしい。実はIUTを読んでる人は海外にも意外に多いんだけど、勿論理解できてないし納得してもいない
後はタオの感想が楽しみだな。まあ刺激的な発言はしないだろうけど、ねじれは認識してるわけだし
>>887
色々別の要因で疲れているしやり合う気はない。しかし、ホッジ理論やアラケロフ理論とIUTの関係は
望月や星を眺めただけではわからない。そんなに簡単じゃない
ABC予想については、問題自体を抽象的な構造で見ると既成の数論幾何学には言語としてはっきりない
省8
915: 2020/04/04(土)03:25 ID:shqAyCSR(2/2) AAS
これけ
外部ﾘﾝｸ:www.math.columbia.edu
916: 2020/04/04(土)03:34 ID:vePGlEFh(2/2) AAS
望月教授はニコラテスラ、フォンノイマン、アルベルトアインシュタインに匹敵する天才です
917: 2020/04/04(土)03:45 ID:sczCJwx0(1) AAS
加藤文元の解説を読んだ程度だが、IUTが成立してるなら
あの説明だと応用範囲めっちゃ広そうで強力な武器になりそうだけど
そう思えるように加藤が言ってるだけなのかもしれないけど
918: 2020/04/04(土)03:50 ID:IdQuTQEq(1) AAS
またしょうもないお手盛りカンファでナンデが2/3cに定数3/2かけてフェルマーがーとかやんねやろ
アホらしゅうてやっとられんわ
919: 2020/04/04(土)03:56 ID:oVgpBlaA(1) AAS
論文も理解せずに○○級の天才と崇めるなんて狂気じみてるよ
920: 2020/04/04(土)04:08 ID:LwZa0TXp(1) AAS
シェルツもフレンケルもABC予想証明されて自身の研究分野の価値が無くなっちゃうから認めないだろうね
921: 2020/04/04(土)04:16 ID:oceOoELU(1/4) AAS
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
省6
922: 2020/04/04(土)04:17 ID:oceOoELU(2/4) AAS
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
-------------------------------------
省8
923: 2020/04/04(土)04:17 ID:oceOoELU(3/4) AAS
これがラストアプデか
924: 2020/04/04(土)04:30 ID:oEv2ickP(1/3) AAS
Dupuyが明確にショルツ否定してるってさ
Twitterﾘﾝｸ:DupuyTaylor
海外否定厨敗北wwww
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
925(1): 2020/04/04(土)04:35 ID:h+A2fTjB(1) AAS
望月陣営の8年間
ABC予想は証明されましたっ！
↓
反論
↓
実はABC予想は全て証明されてなくて弱いABC予想は証明されました！
↓
省3
926: 2020/04/04(土)04:38 ID:JTy4JxBH(1/2) AAS
もちは証明証明ちゅう割には3.12がなにを指したとかゆわんからな
わかっとらんのちゃうか
927(1): 2020/04/04(土)04:38 ID:DiL3D1t9(1) AAS
>>925
弱いabc予想
ではなくて、
一般的なabc予想、ね
フェルマー導くのは変形版abc予想だから
928: 2020/04/04(土)04:39 ID:JTy4JxBH(2/2) AAS
具体例よう出さんちゅうこっちゃ
前からゆわれとるよに
929: 2020/04/04(土)04:46 ID:oEv2ickP(2/3) AAS
海外ではフィールズ賞のScholze や Stix が致命的な欠陥を指摘した、と流布されたため、否定的な意見が広まっているが、
少なくとも理解者の間では、以下の意見のようにScholze側の初歩的な理解不足による「誤解」から間違った理解が拡散されてしまった、というのが真相のようだ。
だってよwwww
Twitterﾘﾝｸ:math_jin
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
930: 2020/04/04(土)04:52 ID:vK4hMomi(1) AAS
広告塔ご苦労
931: 2020/04/04(土)05:05 ID:oEv2ickP(3/3) AAS
Twitterﾘﾝｸ:math_jin
じん、もとい仁美何者wwwww
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
932: 2020/04/04(土)05:14 ID:nKUnlUzu(1) AAS
「ABC予想」証明した望月教授に「フィールズ賞の1つや2つでは足りない」と関係者
ファルテインクス抜いたショルツ抜いたルーリー抜いた
偉業過ぎて泣けてくるな
933: 2020/04/04(土)05:30 ID:MMQWjYsG(2/2) AAS
jinの悲願は達成された。
もうjinは役目終わりだろ？ まだなんかやんの？
なんかでかい賞取るまでか。
934: 2020/04/04(土)05:34 ID:zOyj5mW2(1/4) AAS
他の海外勢も誤解した部分を説明する論文出すみたいだからもう証明は確定やな
もう根回ししてたんだろ
935(1): 2020/04/04(土)05:36 ID:LCAgYmGz(1) AAS
>>904
一階述語論理では全称命題から存在命題が証明できる
一階述語論理の正統性は完全性定理かなと思う
936: 2020/04/04(土)05:52 ID:qaUmRFBJ(1) AAS
ながーいながーい証明
疲れるほどながーい
あきれるほどながーい
そんな証明、本当に証明されたのかどうか
誰が証明するんだ？
937: 2020/04/04(土)05:57 ID:zOyj5mW2(2/4) AAS
海外勢がアップしたPDFも誤解の部分を既存の数学で馴染みやすい記法で説明しとるしもうSSも文句つけれんやろ
数日以内には白旗あげるよ
938: 粋蕎 ◆C2UdlLHDRI 2020/04/04(土)05:59 ID:RfvpWQnt(2/3) AAS
>>927
強い条件ほど狭く弱い条件ほど広いんじゃもんな
939(1): 2020/04/04(土)06:13 ID:zOyj5mW2(3/4) AAS
年齢制限をモッチーのために一時的に撤廃してのフィールズ賞受賞、ノーベル物理学賞、ブレイクスルー賞、クレイ研究所からのミレニアム検証問題のペレルマン辞退分の賞金授与あたりはありえるんでないかな
940: 2020/04/04(土)06:16 ID:zOyj5mW2(4/4) AAS
IUT理論とABC定理を使ってリーマン予想が証明される日も近いに違いない
941: 粋蕎 ◆C2UdlLHDRI 2020/04/04(土)07:08 ID:RfvpWQnt(3/3) AAS
>>939
流石に其れは寝て言え
942: 2020/04/04(土)07:28 ID:FneZDOy/(1/2) AAS
ノーベル賞もらえますか？
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などの数学概念の進展をもたらした
「フェルマー予想が解けた」という権威、慰み、神輿の担ぎ上げ、
省3
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ページ以上の激烈に非自明な証明がついているし。
省1
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
もっちー、ゆびがきれい
963: 2020/04/04(土)09:28 ID:8Oswo/OV(1) AAS
>>948
その判定基準は人間がつくるんだよ。AI過信しすぎ
964: 2020/04/04(土)09:33 ID:o9S8lGnM(1) AAS
B本が更に売れる以外の波及効果は期待できないのん
965(1): 2020/04/04(土)09:33 ID:t13u2EPI(1/2) AAS
転載
Inter-universal geometry と ABC 予想 45
2chｽﾚ:math
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
Twitterﾘﾝｸ:DupuyTaylor
Max Lieblich
省20
966: 2020/04/04(土)09:33 ID:t13u2EPI(2/2) AAS
>>965
誤爆すまん
967: 2020/04/04(土)09:35 AAS
>>912
>京大数理研の複数の教授が確認したってことは
>証明は正しいのでしょう
>さすがに小保方案件にはならないと思います
間違ってたら数理研解体なのでは
968: 2020/04/04(土)09:37 ID:UMkIjQ8g(1) AAS
最終的にどう判断されらかはわからないけど、小保方さんみたいに発表して数日で破綻するような
お粗末な事態にはならんはず
969: 2020/04/04(土)10:07 ID:qRYCuq0Q(1) AAS
>>912
柏原・玉川は理解していないと思うよ。望月の言い分をそのまま認めただけ。
IUTがだめだと確信できる理由の一つに、若い人の理解者がいないという点がある。
最先端の数学が理解されるのは、まず若い人から。
ワイルズが証明の穴を指摘されてた時、助け船を出したのはワイルズの弟子だった。
今回、望月を助ける若手が全く存在しない。
要するに、弟子たちは師匠を崇拝するだけで、誤りを指摘するなんてことはできないのだろう。結局のところアジアンの限界だ。
省1
970: 2020/04/04(土)10:12 ID:whYolgjl(1) AAS
Dupuy かなりハイだね。
本当に本当に本当に初歩的なことだよ、ショルツ君
971: 2020/04/04(土)10:16 ID:WEnM0TDI(1) AAS
もっちー、ブログコメント読んでるんだな
一件早速返信してて、喜びがいかほどのものかよくわかる
おめでとうございます。
しかし明らか電波な妖精コメまでも天才数学者の目に触れてるのかと思うとゾッとするな
972: 2020/04/04(土)10:26 ID:DqGScTxQ(1/2) AAS
>>944
もし○○予想が正しいなら△△は正しいみたいな論文は結構あるらしいよ
973: 2020/04/04(土)10:31 ID:m90SM1JO(2/2) AAS
日本人の年功序列意識が数学界でも悪い方向に出てるんだね！
974(2): 2020/04/04(土)10:38 ID:DqGScTxQ(2/2) AAS
>>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)は証明できないのかよというと、君の言う通り証明できない
省2
975: 2020/04/04(土)10:41 ID:F2JYhm1v(2/2) AAS
どこも逃げ恥がどうとか書いてなくてよかった
976(1): 2020/04/04(土)10:41 ID:2Ri0X5Mp(2/2) AAS
予算、パフォーマンスのために状況が変わらずのアクセプトなら他言レベルじゃ済まない、小保方レベルのスキャンダル。
こいつら首をかけるだけの覚悟があってやってるのかな？
レフェリーが完全理解したというなら、それが誰かも公表すべきだろ。
少なくとも公平に判断できて第一級レベルのレフェリーが1人はいるはずだろ？
そういった人物が(レフェリーですとは名乗らないまでも)
完全に理解した、質問ならなんでもこい、と名乗りをあげれば
普及や彼らのいう「基本的な誤解」の解消も一気に進むはずなんだがなぁ。
省3
977: 2020/04/04(土)10:44 ID:tyB0DUit(3/4) AAS
まあレフェリーレポートは今回の件については公開したほうがいいよね。
普通はそんなことしないっていうけど「特例を理由に公開時期未定」なのだから、
特例を理由にレフェリーレポートの公開も認めてもいいだろう。
978(1): 2020/04/04(土)10:44 ID:CTVUpSZE(1/5) AAS
>>974
＞∀x P(x)から∃x P(x)は証明できる
これも、正しくは嘘
なぜなら対象が１つも存在しない場合も
¬∃x¬P(x)だから∀xP(x)が導ける
979: 2020/04/04(土)10:50 ID:DZ3hypNA(2/6) AAS
>>974
>∀x P(x)から∃x P(x)
具体例は
A∧B ⇒ A∨B
これですか？
証明してください
上下前次1-新書関写板覧索設栞歴
あと 23 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s