Breaking News: 2018年フィールズ賞受賞者Peter Scholzeらが望月氏のABC予想の証明に重大な欠陥があることを指摘
Breaking News: Fields medalist Peter Scholze and the mathematician Jakob Stix have found a “serious, unfixable gap” within Shinichi Mochizuki's 500+ page claimed proof of the ABC conjecture.
That has now changed. In their report, Scholze and Stix argue that a line of reasoning near the end of the proof of “Corollary 3.12” in Mochizuki’s third of four papers is fundamentally flawed.
The corollary is central to Mochizuki’s proposed abc proof.
“I think the abc conjecture is still open,”
Scholze said. “Anybody has a chance of proving it.”
https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/
ScholzeとStixは望月の4つの論文のうちの "Corollary 3.12"の証明の終わり近くにある推論の行は根本的に欠陥があると主張する。
結論は、望月の提唱したabc証明の中心である。
"私はabc証明がまだ開いていると思う"とScholzeは言った。「誰でもそれを証明するチャンスがある」 >>2
ジャップがまた論文捏造していることがわかるから
きちんとした方がいい
この論文自体もわかる奴だけわかるから評価しろって怪しみがあるからな またまたまたまたまた曰本人やりゃがったんのんかｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
あーこれね。俺も、よくこのミスするわ。
ドンマイドンマイ！次から注意だねb あれだろ
会議でちょっとかっこいい感じになるセリフのやつ
>>16
ただの数学オタクなだけで、こいつら別にIQ高くないぞ 全然わからんので誰か詳しくかいつまんで説明してくれ
Corollary 4.04の中盤にも怪しいところがあるよな
>>19
いやアメリカじゃ糞頭よくないと数学なんてそもそも専攻しないんだが ワラ ABCの海岸でー カーニにチンチン挟まれたー
いてーいてー離せー 離すもんかーソーセージー
望月からしたらABC予想の証明はついでみたいなもんだから
ささっと直すだけだと思う
>>1
一時期２ちゃんでも画像とかブログのURL貼られてた人だな 自前の雑誌に載せないで、ちゃんと自分の息のかかってないところに投稿しとけば
わざとわかりにくくしてるって非難されてるけど、
つまりはジャップお得意の不正論文なんだろう
>>10
ってことはシラミ潰しじゃなくて新しい素数をどんどん発見できるようになるんか ABCとか小学生レベルだろ
俺はZまで言えるんだが
>>23こうだわ
ABCD海岸でーカーニにチンコ挟まれたー
赤チン塗っても治らないー黒チン塗ったら毛がはえた おれの理論が正しければついでにabc予想含む難問10個くらいついでに解けちゃうで！
的な感じじゃなかったか
抽象化がこの手の難問で銀の弾丸になるってことはないからまあ怪しいわな
フェルマーの最終定理だって未だに泥臭い証明しか存在しないわけで
これさっきツイッター数学界隈でただの信仰の違いみたいなもんって結論出てる
嫌儲ってもう完全に遅れたメディアになっちゃってるんだな
ほー、俺も薄々そう感じてたわ
コロラリー3.12の終わり部分がやっぱ変だなって思ってたんだよ
望月論文が出てきたの2013とかそこらだった気がする
やっぱり査読にもクッソ時間がかかるんだろな
たしかにこの部分を指摘されると宇宙祭タイラミュラー理論は辛いな
>>41
Twitterにいる数学マニア程度が理解できるものだったらとっくの昔に論文の正否が判明してないか？ >>33
未証明の役に立つ法則って
証明されないまま使われてるから、証明自体はほとんど影響ないよ ここに欠陥がある
って言ってる方がカッコ良く見えるのは
嫌儲の見すぎなんだろうか
>>40
それもポアンカレ予想も既知の方法を使って解いたから査読されやすかったみたいだな 57番組の途中ですがアフィサイトへの転載は禁止です2018/09/22(土) 08:43:31.53
>>9
ワイルズが解いたフェルマー問題がもっと簡単に証明できる ざっと読んだだけだけどなんかおかしいなと思ってた
やっぱりか
こいつらからしたら俺らの知能なんて犬とか猫みたいなもんなんだろうな
すごい世界だわ…
Peter Scholzeって30歳なんだよな
この歳で既に数学に貢献しまくり
>>55
望月さんの場合、別のことでちゃんとした世界に認められてる実績があるから
論文捏造とか小保方さんとかとは全然違う話だぞ 俺もそこ引っかかってたんだわ
単に俺の理解不足かと思ってたが。。。
満足に理解できるのは三平方の定理とか中点連結定理とかその辺の証明くらいだわ
「the logic after Figure 3.8 in the proof
of Corollary 3.12 of IUT-III」＝「－|logΘ| の有限性と不等式－|log q|≦－|logΘ|を導出する箇所」が問題となっている。
その箇所について原論文やサーベイで何の説明も与えられていないわけではなくて
－|logΘ| の有限性については、原論文の[IUTchIV,Thm.1.10]もしくはGoサーベイのProp.1.12より従う
－|log q|≦－|logΘ| が成立する理由に関しては、Goサーベイの356～361ページ、星サーベイの36ページ、星サーベイ(続編)の92ページで証明が与えられている。
望月とかいうヤツはほんとどうしようもないな
人にまともに説明できないなら、やってないのと同じ
ジャアアアアアアアアアアアアアアアアアアアアアアアアアアアアアアアップｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
>>70
このレスがネタなのかマジなのかすら分からん >>2
フェルマーの最終定理って本読むとどうでもいいの潰す作業だって
つかこういうどうでもいいのがのちに瓦解のもとに またジャップの捏造が暴かれたか
こりゃ従軍慰安婦も南京大虐殺も確実にあったな
>>59
というか望月先生がねらー
２ちゃん初期に数学板に降臨したスレがあった
名前忘れたけどアメリカの医学部で教授やってる人が
専スレで同じ研究分野の院生と雑談してたこともある 望月は>>70と反論した。
Peter Scholze 次はお前の番だ 答えろ フィールズ賞とったってことは正しいことが証明されたからじゃないの？
それとも見切り発車で授与したのか
こういう奴らを繁殖させたら人類に別の世界が開けると思うんだがな
>>70
>>75
お弟子さん？でサーベイ書いてるのが星裕一郎さんだからそれっぽい この証明が正しかったら
日本史上最高の数学者であることはもちろん
数学史に残るレベルってマジ
日本からもついに“偉人”が出るのか？
これ元の部分もそれに対する指摘もパンピーには一切理解できないやつやん
フェルマーの最終定理もワイルズが論文を出した後に欠陥が見つかり修正した
ここからは誰が一番早く修正するかの競争だぞ
これを最初に修正した数学者がABC予想の証明者になる
だからワイルズも論文提出前より後のほうが精神的プレッシャーが大きかったって言ってる
>>4
合ってるか合ってないかも分からん上に理解しても自分に旨味が無いからやる人がいないだけじゃないの 笹川先生も池田先生も数々の名誉ある賞を取ってるしな
また日本から偉人が誕生するのか誇らしいわ
こんな連中でもセックスしたりオナニーしたりするんだから人類って欠陥だと思うわ
望月「宇宙際タイヒミュラー理論作ってたらABC予想ついでに証明しちゃってたわｗ」
ABC予想の証明だけに必死な他の数学者はそら嫉妬してイチャモンつけるわな
>>96
フィールズ賞とったのは指摘した方だった
空目してた >>99
ガラケーからでも読めたよ先生ありがとう！ 望月「自分の研究テーマはマイナーすぎるから、合ってる合ってないを確かめようとする前にまずは1から勉強してくれ」
↓
五年後、勉強した数学者達「うーん多分合ってる」
↓
一年後「やっぱり違うかも」
六年かけて世界の数学者達がよくわからない理論
前から話題になってたけど、さっき望月先生のサイト見たらもう反論が公開されてるね
しかしPeter Scholzeはすごいな
24歳で博士号とってすぐに教授就任
27歳でコール賞とって今年の8月に30歳でフィールズ賞
数学オリンピックは4回出て金メダル3銀メダル1
学部は3セメスター（1年半）、修士課程は2セメスターで修了
関係ないけどこのレス書くためにドイツのセメスター制について調べてたときに見つけたこれが興味深かった
http://doitsu.jonglerka.com/2015/12/02/deutschlandstudium/
＞ドイツではセメスター制を採用している大学や学部が多くあります。
＞セメスターでは、冬学期、夏学期のどちらからでも大学へ入学できます。
＞そのため、ドイツ人学生の中では、何回生、何年生、という概念があまりなく、
＞自己紹介の時などでは、「何年生？」という代わりに、「何セメスター？」と聞かれることが多いです。
日本は大学に入るとかなり薄まるとはいえ、それまで過ごしてきた小中高が完全に所属年次の年功序列で輪切りにされた
軍隊式縦社会なせいで、やっぱり年次で考えるし、そのせいで大学に留年生や社会人学生がいるとおかしな空気になる
海外じゃ社会人がキャリアアップのために大学で学ぶのは当たり前なのに >>111
こいつは日本語での思考にこだわりたいみたいなこと言ってなかったか？
ハーフらしいけど >>110
望月も匹敵するぐらいすごくなかったっけ？
でも首席じゃなかったんだよな >>64
逆にそれくらい若い時が最高潮であとは老いるだけってのが数学の世界だろ >>109
数学上の未解決問題はみんなそうだから何も望月教授だけがそうなのではない
ポアンカレ予想を証明したペレルマンもフェルマーの最終定理を証明したワイルズもそうだったし、フェルマーにつながった志村-谷山予想も当初は様々な数学者たちから疑問視されてた 最初から証明したなんて言ってないだろ
合ってるか確かめてくれって言ってから5年以上経ってるわけだし
京都に引きこもって出てこないから怪しいとは思っていた
まあ俺クラスになると最初から気づいていたけど庶民のレベルが追いつくことを期待して黙っていたからな
理論が数学者にとっても抽象的過ぎるからショルツが具体例作って論理ギャップあるんじゃない？って直接議論したらしい
望月さんはショルツにうまく説明できなかったみたいで、理論を誤解しているだけで矛盾じゃないという反論
そろそろちゃんと説明しないとダメっぽい
>>116
囲碁とか将棋とかプログラマーの世界もそうだよな
藤原正彦が言ってたが、数学者の業績が若いころに集中するのは
どうしても思考には若いころの体力や集中力が必要だからそうだが、どうなんだろうか？ >>109
大学入試と違って答えがないんだぞ
試行錯誤する以外にない 京都大学の数学専攻してるやつが修士課程においても
理解が困難だとされてるのが宇宙際タイヒミューラー理論だからな
>>110
数学は20代がピークでそこでの業績で学者としての評価が決まる学問だからな
数学が天才の学問と呼ばれる理由
世界の数学者を見れば25歳前後で博士号は普通にいる 俺も気づいてたけどみんな分かってると思って敢えて触れなかったわ
そもそも合ってるか間違ってるか判定できる人が居ないと言う。。
>>95
もう日本人の数学者で偉人なんて山ほどいるだろ
高木先生とか伊藤先生とか >>119
Terrence Taoがどっかのブログにコメントしてたんだけど
ペレルマンや張益唐のときは論文のずっと最初のほうで（その論文の核となるアイディアを使って）non-trivialな結果を導いてるんだと
望月さんの場合は読んでも読んでもそういうのが出てこないから間違ってるとは言わないけど何か違うんじゃない？って言ってた >>127
そりゃ修士に理解できるわけないだろ当たり前だろ 局所有限性しか証明出来てないって事だろ?
そもそも論文は独自なのは良いとして他で証明できる事を長々と独自理論で
記述してるから解読したら「なんだこの事かよ」みたいなのが結構あるそう。
数学者が言ってるのは「要らない独自理論が多い割に大事な説明が足りない」
ってのはよく言われてる。
数学プログラミング英語だけはダメだ
てんで理解できない
現代に産まれるのに向いてねえな
>>119
現在、この証明について討論できる能力のある人の数は２０人とみられている。しかし、これら「身を捧げた人々」の中に、望月氏の論文をより広い範囲の研究者らに説明できる人が一人もいないことがわかったため、学会は依然として懐疑的な態度を崩していない。
20人はわかるらしい 並みの数学者では証明を理解する事すら出来ないのにケチつけることが出来るのが凄い
>>116
90歳のアティヤーおじいちゃんがリーマン予想証明したらしいんだが！？(憤怒) >>1
Scholze氏とStix氏の指摘に対する
反論記事の中でコメントの応酬になっていて
それに対して望月氏とホシ氏は答えなかった
望月氏は反論の中で「根本的な誤解が生じている」と論じてるな
最終的には「もっとシンプルな解はないのか」みたいな話になってる
数学の世界はよう分からんなｗ >>105
サルみたいな思考してんなコイツ
気持ち悪い >>9
予想はすでに証明されてる前提になってるからちゃんと証明されたところで全く意味はないだろうな
例えばライト兄弟が始めて飛行機で飛んだとき飛行機が飛ぶメカニズムは証明されてなかったが
そんなことは飛行機の発展においてなんの関係もなかったわけで A！わんだ～ら
B！つ～だら淫ら～
愛さえあれば何もいらないなんて全部嘘さ
C！テンダラ！
なお京大数理解析研究所にはもう一人望月先生がいて
その人は望月新一先生よりも年下で、しかも日本学士院賞（普通はその道の大家が受賞する）を受賞してる
前年度の受賞者にはインフレーション宇宙理論の佐藤勝彦とiPS細胞の山中伸弥が含まれてる
数学は歴史上の数多の数学者たちの小さな証明の上に理論が構築されてるから証明者一人の業績ではない
小さな基礎の積み上げの結果
>>105
フィールズ賞受賞してんのに嫉妬なんてするかよ 望月教授に心酔してるわけでも専門分野なわけでもないのに中身読んで指摘出来るってだけで世界で見てもコイツとんでもなくスゴいってことを言いたいんやな結局は
なんかもう違う世界だな
>>149
この宇宙際理論がフィールズ賞どころの騒ぎじゃないって噂だからだろ 他の数学者が言ってるのはイチャモンじゃなくて「足りてない所を補完してくれ」って
事だろ。これだけじゃ正誤判断ができんという意味だろ。
ポアンカレ予想に対するペレルマンの証明の調査は3つの数学チームが7年かけた
そして欠陥も認められなかった
ジャップが持ち上げた望月とは違うわ
>>151
ガッキーに現を抜かす俗物で
レコーダーの設定ごときに何時間も掛けるからな >>151
お前がゴミ
無学者が偉そうに語るな中卒 論文に対する学術的な指摘はケチでもなんでもなく数学の発展に対して責任を持った行為
数学は証明のために過去の証明を用いるため誤った証明を通すと今後の数百年、数千年の数学に悪影響が出る
数学は物理学にも影響を与える場合があるので欠陥を指摘する学者の存在は科学の発展のためにも非常に重要
仮に理論が正しくてもこのスレを見る限りこの人とこの人の周囲の人間が書いた本は読みたくない
死ぬほどわかりづらそう
クソマイナーな分野の中のクソマイナーな理論二つを理解してようやくスタートだぞ
人生捨てろ
>>134
博士にすすむつもりがあるなら修士ぐらいの年齢である程度理解できないとその先ついていけないんじゃないか？ リーマン予想を証明したという論文も他の人から出ちまった
>>162
数学脳のピークは20代ってよく言うよね >>164
実際は数学だけじゃなくあらゆることがそうなんだろうな
性質上数学はそれを暴きやすいってだけで 望月新一の安否確認情報
2018年09月04日 23：00現在： 元気にやっています。
所在地： 京都府
更新されてて笑う
>>70
嫌儲になんでこんな逸材がいるのか
流石だわ 俺はずっと警鐘を鳴らし続けていたのだが…
まあこうなることは分かっていたがね。実に残念だ。
整数を楕円関数に置き換えて、それをさらに宇宙際の幾何学に置き換えて比較したけど、そこで物差しの長さが向きによって変わるから不等号の証明には使えないという反論、、、
重力の正体は分からないけど、重力の性質を使ったいろんな物を使って生活してる。数学の「多分」大丈夫な性質を使っていくのではダメなんかな。
学問は素晴らしいけど、証明って必要なのか、凡人には分からんな。この証明が正しかったらもっと何か得られるのかな
>>169
芸術も同じだな
人気や慣れの部分は別として やっぱりあの論文読んで俺と同じ箇所に疑問感じてた人いたんだな
>>133
タオですら具体的にどこが間違ってるのか指摘できない異常さ >>173
クラシックの傑作は大体晩年に書かれてね？ >>34
kの後の早口になる部分は誤魔化すんだろ？ >>125
藤原ってウヨっちゃってんだよな
NHKの番組の数学史とか為になっただけに惜しまれる 数学者とくに日本では完全分業になってるから駄目
ポアンカレもそうだし他分野のアイデアを使わないと数学の未解決問題なんて解けないだろ
ショルツ様がちゃんと読んでくれたんだからちゃんと説明しにいけ望月は
記事読んだが望月サイドは反証しようとしてるみたいだな
しかし、この女記者の書き方が徹底的にアンチ望月なのは何故だ
数学できる人間に生まれたかった
彼らには違う世界が見えてる気がする
尊師みたいな弟子どうすんの？
![望月新一さんのABC予想の証明に重大な欠陥が見つかる [796936532]YouTube動画>1本 ->画像>12枚](https://i0.wp.com/francepresent.com/wp-content/uploads/2017/12/ABC_02.jpg)
直感的じゃないのが数学の敗因
俺に理解されるには根本からして説明力が足りない
数学できる脳内でも数式ではなく図形が動いてるはずだし
伝え方が馬鹿すぎるんだよ
たまに数学誌読むけどこんな聖杯でなくともバンバン名指しクォート批判飛び交ってて怖いな
ケミストならイントロで先行研究として優しく触れて、ここに新たな視点からの解釈を提案する、って感じなのに
>>85
半匿名でやってたのに、アイドル？好きがバレて5chに晒されたからな もっちーの義母ブスのレビューを楽しみにしてるんだけど
今年は忙しいからドラマレビューないのか
よく分からんけど
この理論を元にスーパーコンピューターでシミレーションして
結果の妥当性とか検証出来ねーの？
やっぱりなぁ
こいつは偽物だと俺は見抜いてたは
説明できねーとかおかしいでしょ
誰も考えない事を考えて自己満足
所詮ただのオナニーでしかないのでは…？
よくわからないが望月教授はただの
誤解だよハッハッハ
と言っているが今回提起された疑義は
多くの数学者がうんざりして理解を諦めた
望月教授の理論や証明に再び脚光を
あてる機会になるだろう
みたいなことが書かれてるっぽいな
数学者って理系の中でも自己中の底辺だよね
生活の役に立つこと何にもないやん
>>143
トロフィー用のやりこみ要素みたいなもんだな >>110
望月教授もすごいがショルツも本当にすごい
天才と天才の世界
てか数学者、とくにフィールズメダリストはそんなんばかりだけど
その国の最年少博士号授与者だの、その大学の最年少教授記録者だの
〇歳ですでに大学卒業の神童だの
そんなのごろごろ >>152
他に数学関係で取れる賞なんかあったっけ？ >>99
5日間のミーティングに関して41ページもレポート書いちゃうのがすごいな >>209
ショッツルと空目したんでスプラしてくる >>105
賞に拘りすぎてるのは外野だけだよな
本人達的にはポイントはそこじゃない
加法と乗法の根源的な関係性を詳らかにする可能性があるからABC予想は重要 >>216
望月新一の安否確認情報っていう謎のページによると
元気にやってます
だそうだ これとかメルカトルとかは
嫌儲民が完全にヤムチャ視点になっちゃうから困る
カズオ・イシグロ、望月新一って同じ歳で渡英渡米してるんだよな…
やっぱジャップランドってクソだわ
>>52
確証が得られるかどうかだしな
あいつが怪しいと警察が逮捕して
証拠があとから追いつく感じか ワイルズもフェルマーの最終定理の証明の時に
証明の穴見つかって苦労しとったみたいね
>>194
数学者のアスペ比率は尋常じゃないからな
それに1の記事のような記者が煽りまくるから拍車がかかる
ペレルマンが数学界に嫌気をさして去ったのもわかる >>186
それは世界の数学者も同じ
数学が発展するにつれ自分の専門以外にまで手を出せなくなってる >>101
ベテランはその通りだろうけど勉強会やったら海外の若手がガンガン来てたみたいよ
応用の幅が広いんじゃないかって 数学や自然科学を修めていくと下らないセクショナリズムがどうでもよくなってくるな
国や人種とかはぶっちゃけどうでもいい
ただただ真理を追い求めていたい
>>83
たくろうの方じゃなくてこっちの望月が2chやってんの？ >>230
そんなの数学とか自然科学関係ねえわな
それらに限定してるのがある種のセクショナリズムだ >>234
ああそれもそうだな
じゃあ訂正、学問で こういう発表の仕方でフィールズ賞受賞者に読んでもらえるってことは、
やっぱり彼の証明はかなりの注目度なんだなってことがよくわかる。
ああ嫌儲がかねてから疑義を呈してた部分がやっぱりか・・・
>>230
現実には国があって軍事があって政府があって人種があって地政学があるからな >>1
天才同士がこうやってレビューし合って完璧なものになっていく
良いことだよ >>110
Scholze氏は別格の天才だから、ドイツの教育受けてもみんなこんなにすごくなるわけじゃないけどな
とはいえ、日本の教育や学校の仕組みが、優秀な人が思う存分学問を究められるような
自由なような環境にはなってないのはその通りだろうな
日本の天才＝高校2年生で東大模試○位！ センター試験○○○点！とか書かれてるのみても、
そんなことやってないでもっと高度な研究とっととやったらいいのに、とかは思う こういうのをいちゃもんとか言っちゃうのはセンスがない
この人のブログめっちゃ面白いよなあ。ぼやっとしか理解できないけど
つか先週書いたばっかだべ
哲学者は数学と物理も知らんで知ったかぶりとかスレによ
あん時数学は哲学と違って論理を共有して完全な意思疎通が出来るとか言ってるからじゃあ望月教授のＡＢＣ予想はどうなったよ？ってよ
したっけ数レス答えにならない答えが返ってきたけど
あん時オレが言ったのはこうゆう事よドゥユーアンダスタン？
ナンセンスって言葉使う学者が多い気がするけどどういう意味？
リンク先の記事にも望月教授の理論をすべて理解できたという確信が持てないので
誤りを指摘するのもはばかられるという学者のコメントを引き合いに出しつつ
フィールズ賞受賞者が正面切って指摘したこと自体に価値がある
みたいなことが書かれてんね
え、マジで？
ちょっとビックリ
望月しか理解できてない世界じゃなかったのか
そりゃ独善的でミスを見過ごすことにもなるだろうが
全く理解しえない時代を超越した数学が何か未来を示すと思ってたのに
あの"Corollary 3.12"の推論のところはたしかにちょっと違和感あったよな
>>253
お前の論理圧(ロゴスプシュケ)が低いからだろ >>253
意思疎通してるから反論きてるじゃん何言ってんだろ >>254
笑止、みたいなこと。昔の学生運動のなごり。 ビットコイン作ったのこの人だってウワサあったが。やっぱ違う気がする。生きてる世界線が違う。
論文なんて批判受けてなんぼだろ
批判に耐えられないのは小保方みたいにフェイドアウトしていくだけ
>>99
最近集合論勉強したから記号の意味は分かるけど何をやってるかはさっぱりわかんねえな >>214
望月先生の宇宙際タイヒミュラー理論のニュースでよく引き合いに出される
グロタンディークがスキームと圏論で代数幾何学を書き換えた大書EGAとSGA
あれはセミナーやって一日30ページのノート作ってを数ヶ月間続けた結果作られたものだそうな
EGAが1800ページで未完
残りがSGAとして出版され6500ページ
かつては代数幾何学を勉強する数学科の人間なら誰もが知ってる本だったそうだけど
全部読んだことある人いるのかな？ 宇宙際の意味が分からんけどグロティンターク的な宇宙集合にも縛られないということかしらん？
それでも意味が分からんけど
論文を読んで理解できる数学者が世界で数人しかいないとか言ってたあの論文か
そんな本質に関わるところがCorollaryなんだな
自明である、はい終了。みたいな命題の呼び名とおもってた
定理や補題なら分かるけど
ダイミダラーの意味も誰か解説して
>>265
本人が否定してる
出所もわからん情報元に取材の連絡が結構きてうんざりしたみたいなこと書いてあった >>277
サンキュー
あらゆる代数を大宇宙から見下ろし論ずる乱暴な圏論に対抗して、
個別の宇宙に寄り添いフィットする理論を作ろう(宇宙際)ってことかな
ダイミダラーは人名だろうか >>277
ここ良いこと言ってるな、素朴な感覚を大事にする数学者って感じで好感持てる
>そこから生じる不定性を統制する・剛性 (rigidity) で抑える・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す・
(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もることなどや,
ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事に
なってきます. それにはそもそも不定性の存在に気付かないといけないわけですが,
不定性の存在を明確に意識するのにも役に立つ考え方です.
具体的な統制手段に対数を挙げてるけど、>>1はそれに失敗したかもということだろうか？
> 不定性を統制する・剛性 (rigidity) で抑える・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す >>279
サンキュー
やっぱドイツの科学は世界一！だな >>152
頭悪さ丸出しレスばかりだな。
フィールズ賞受賞要件みてこいよ
知ってる言葉ならべてるだけだと頭の悪さが露呈するぞ >>153
数学系の論文の穴があると穴埋めするってことが、一般的に知られてないから、穴があったから全部間違えてるって勘違いされやすい フィールズ賞じゃないのは年齢のせいだよな
無理矢理早く発表してたらフィールズ賞そりゃとれてるけどそんなん意味ないってスルーするのが一流
数分前に触れたばかりだけど、壮大でありながら素朴で素敵な試みだと思うよ
実用性を示すには何か問題を解いて見せる、聖杯を取りに行くのがベストだが、もっと外堀から埋めて行ってもいいんでは
ABCなんちゃら=宇宙際=望月、みたいな構図になっちゃってるよ(少なくとも非数学徒からは)
これは本意じゃなかろう
ABCもいいけどぜひ圏論は殺してくれ
ズカズカ土足で踏み行って来て、この代数における積は圏論的に見て主要な積ではなく余積、すなわち和だ！
とか喚き散らして、テキストでも土着vsカテゴライズ用語が入り乱れてる
特定分野を必要に応じてかじる人を混乱させる元凶
望、月さん、でしたっけ？
非常にしつこい中においてですね
>>277
最初は宇宙って空間のことかなって思ったけど
その後空間が出てきたり宇宙が出てきたり
宇宙と空間って何が違うの >>284
一般的に言えばアノマリーだろ
軽微なものから修復不可能なものまである >>290
数学で言う宇宙ってのは、その代数体系の下で考え得るも全体の事
現実の宇宙と関係ない
数Aでベン図書いて外枠にUって書かされたろ、あれが宇宙(ユニバース)のUで、そういうもの
普通に言う要素(自然数)に加えて、足し算かけ算などの操作も要素と見る事で、その代数自体を表す宇宙が考えられる
物理的宇宙と関係付けようとするなら、(ごく素朴には)ユークリッド空間なので実数と四則演算で表される数学的宇宙とも見れる グロティン宇宙ってのはあらゆる数学を網羅するために、それを網羅するような究極の宇宙って概念
漠然としていてもそれはそれで役に立つ、
例えば数Aで補集合の内容を知らずとも、補集合を取る操作を式の途中に出して計算して構わなかっただろう
>>288
そういや高次圏論のなんとかさん最近聞かねえな
一時期若手ナンバーワンって言われてたのに、風呂敷回収できたんかね >>294
ごめんわたくし全然数学初心者
圏論のさらに高次ってなんだろ、もはやメタ過ぎて想像もつかない これ昔ニュース出たときに引っかかったけど
誰も賛同してくれなかった嫉妬凸とか言われた思い出
In set theory, universes are often classes that contain (as elements) all sets for which one hopes to prove a particular theorem.
で
グロタンディーク宇宙
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
つーことかなるへそ
>>295
基礎論やればふわっとわかるよ
グロタン論じるなら一番のツボやねー >>300
そらブルバキの集合論でしょ
がんばれ！ 証明読み飛ばして集合群グラフあたりから使えそうな定理/算術引っ張ってきて使うだけだけど、よく分からん単語一杯だわ
ふわっとでも基礎、ヨシ！
望月ってひとがなにやってるかさっぱりわからんかったけど
277とかウィキの集合論の説明と幾何学的基礎論の説明みたらなんとなくフワッとわかったわ ワラ
すまんがただの変なおっさんと言うことでよろしいか？
童貞だろこいつ
そういえば確かに“Corollary 3.12”には少し際どいところがあるって、
ケンモでも議論になってたよな
望月教授が頑なに外国に行きたくない言うのに対して
ぐだぐだ言う人がいないのがいいね
さすが数学界は変人なれしてる
この先生小難しい言葉でガッキーのかわいさについてブログに書いてたよな
数秘術っていうか経典化してる
数学の記述そのものが障壁になってるって考えだから
独自理論に翻訳して異なる宇宙の際に橋を架ける宇宙際になる
西欧と自然科学をもとにした言語体系から別個の世界の経典を読み解くには語学学習が必要
理路整然と既存の数式を貼ることで真実を象ることばできればいいけどそうじゃないって話
>>301
ブルバキの集合論って基礎論も含んでるの？ 圏論はよく宇宙の存在を仮定するけど、アレって本当に必要なのかよく分からない
他の公理とは独立なのか
世界で10人くらいしか理解してる人間がいないので、結局どっちが正しいのかは分からないっていうね
>>315
ただの集合論は基礎論とは言わないでしょ普通 ユニバーサルメルカトル図法を使えばすぐに解けるよ！
>>315
そもそもブルバキ圏論すらやってないからね
つーかそこでグロタンがブルバキ離脱した 宇宙際の際は国際の際と同じ意味らしい
だからInter-Universeと言うらしい
今ある数学宇宙と違う宇宙への橋渡しの理論ってことなの？
>>322
いやあなたが基礎論のオススメにブルバキの集合論って答えてたから、含んでるのかと思ったのよ >>310
ペレリマンに比べたらかなりまともだしな 間違いなければ100年後位にお札になってたり偉人伝に加えられたりしてもおかしくないからな
大学で俺に数学教えてくれた教授とかってどういう実績上げてんだろう
名前聞いたことがないけど
>>329
Google Scholarで検索しる Inter-Universeは、宇宙際とするよりも、
理論の意味的には「宇宙間」のほうがいいんじゃないのか？
>>331
間ではないんだと思う
国際ってのは国が複数あって成り立つだろ
宇宙際は宇宙が複数なんだと思う >>333 際も間も同じ意味だが・・・
間というときは、当然、複数の宇宙に対して
宇宙Aと宇宙B（あるいはそれ以上）との関係を考える。
際はそもそも国際ぐらいしか使われてないし、
それ以外で「際」といったら、「きわ、境界」の意味でとられやすい。
だから、ふつうに間と言ったほうがよい。 数学板で望月さん、指摘されてめっちゃ怒ってるって見た
もっちー死んでしもうたら、未解決問題に宇宙際タイヒミューラー理論が追加されてしまう。
これ韓国でニュースになってたわ
また日本の論文の捏造発覚って
断定口調だったからそうなのかと思ったけど元記事じゃまだ指摘段階なんだね
なんつーか…韓国らしいわな、大手メディアまでこのザマって
>>334
国際的な人という時
それは国と国の関係性の問題が焦点にはならない
宇宙と宇宙の関係性ではなくて
宇宙際なんだよ
関係性を表す時はまたこれとは別の話 483１３２人目の素数さん2018/09/11(火) 00:09:40.16ID:91fQWK09
シンプルに考えて|logΘ|を用いればζ関数の上界を抑えられるとか
考えるには無理があるけどな
853１３２人目の素数さん2018/09/22(土) 19:45:37.19ID:vu2PM5I1
定義から従うというけど、
定義に該当するような対象が
実際に存在することは示されているのかな？
873１３２人目の素数さん2018/09/22(土) 23:21:45.18ID:yBUKZrOh
今回ので査読としてはダメっぽいかなあ
あと1年くらいはやってるふりでグダグダできるがな
ブンゲンの連ツイはちとがっかり、あれなら黙っていた方が良かったぞ
周囲は「信じてわかったつもりになれる」が「穴があったら埋める」力がない
正直IUTが本当にダメとは思ってない、あれは本物になりうる
ただ佐藤の理解者だった柏原、Wilesを助けたTaylorみたいな存在がいない
一旦引いて再起するのが一番だと思うが多分6年たって本人にその気力があるか
50歳越えると色々きつくなる
887１３２人目の素数さん2018/09/23(日) 01:53:03.12ID:jQH2ktD4
望月新一さんのABC予想の証明に重大な欠陥が見つかる [796936532]
http://2chb.net/r/poverty/1537571470/
はい、もうメディアも報じ始めるぞう
892１３２人目の素数さん2018/09/23(日) 02:29:52.77ID:D4o+3yRp
定義から従うという場合、
定義に該当するような数学的対象物が、
実際に存在することを示す必要があると思う ＞serious, unfixable gap
unfixableってもう手直し出来ないレベル、土台からやり直しなレベルって意味じゃないの？
>>339
ようつべの文字が流れるゴミ動画と信憑性が変わらん 数学板みたけど難しい話だらけで、
レスが望月氏サイドの正しい派の話かと思ったら宇宙際の否定しててワロタ
数学板にも分かってる奴なんていなくて
やってるのは数学者自体の評判の言い合い
なお、ツイッターアカウントのmath_jinは誰からも嫌われている模様
出たがりBの講演で大拍手してた奴らのアホさ加減が明白になるわけだが
>>348
＞数学板にも分かってる奴なんていなくて
＞やってるのは数学者自体の評判の言い合い
いつからそうなっちゃったんだろうな
2chが始まった当時は割と数学の話で盛り上がってたのに >>353
いやいや
俺が覚えてる限り、2000年代初頭にかけては
一松信が統一教会に引っかかって会報に賛美コメント載せてたってスレぐらいだったぞ個人のスレは
あとエムシラとか山口人生とかの電波と数学板自体の電波コテのスレ
ネット人口が増えておかしくなったんだろうか >>343
循環論法になってるのか？
どういう意味や？ >>357
世界で20人ぐらいしか分かったってやつがいない上に京大周辺に固まってるから議論が進まない
ココ間違ってるぞって指摘したらお前は分かってない、もっと勉強したまえみたいな答えが返ってきた おれが知ったか知識で掻い摘んでおしえてやるよ
ユニバース（宇宙）とは何かと言うと
In set theory, universes are often classes that contain (as elements) all sets for which one hopes to prove a particular theorem.
こういうことらしい特定の定理を証明するために集合の集まりが求められる
一般的なユニバースだと手続きがいろいろと煩わしいので
グロタンディーク宇宙というものが出てきた
この宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
それと代数という分野も突き詰めると幾何学に包含される
幾何学的基礎論というものがあって、これは公理の無矛盾性を研究することにより幾何学の構造をあきらかにしようとする
そして２７７を読むとフワッとした理解が得られる
一回取り下げれば良いものを途中でこねくり回したからヘンに
真相はあきらかになるさ
>>348
一度読んだことはあるが、議論する気が起こらない。だからゴシップ的話しかしてない
「構造的なシステムは大体把握したつもり」だが、何か完全にわかった気がしない
こういうのは初めて。だから周辺知識を固めている。自分の専門から離れてるから無理せず
これでも数論も数理物理も特に苦労せずこなしてきたんだけどね、実績も含めて。なかなか 全然わからんけど、数学って確か5つくらいの公理から出発して論理的に導き出せるもんだろ？
プログラミング出来ないもんなの？
ケチついたらそれに回答できなきゃ完全証明とは言い難いわな
>>110
Scholze博士号とってすぐ教授ってことは
博士課程ですでにすごい論文書いたってことだよね？
はえーすごい ２７７を読むために必要な知識として「多様体」について知っておく必要があった
多様体のことをかいつまむと、微分不可能な空間（集合）にたいして、微分可能な空間と全単射（すべての要素に対して一対一の対応があるということ）が存在すれば
微分不可能な空間でも解析可能となるということ 要は
あと３６０とで
数学の素養があろうがなかろうが国語の問題なのでフワッと理解できる
>>373
なんかちげーぞ
全単射じゃなくて同相
微分構造を与えるならはりあわせたその微分可能な空間とやらの重なり部分同士の変換が微分可能であることが必要 バカjinが消した垢にいろいろまずいこと書いてあったからね
>>370
証明の記述は自動化困難
既に書かれた証明の成否は自動的にチェックできる
Mizar とか Col, Isabelle でググれ
ただし、不当にもあんまり注目されていない (´・ω・`)最近の数学って門外漢にはさっぱりでつまんないお
中世のレベルに戻るべき
それよりリーマン予想解けたとかニュースで見たがマジか？
>>385
同時に微細構造定数も解けたとか
けど疑わしいという意見もある >>386
微細構造定数を解くってどういうことだよ 微細構造定数を定数を置かずに表す事が出来たのならabcなんちゃらよりよっぽど世紀の発見と思うけど
微細構造定数は素電荷、真空誘電率、光速の3つの独立変数(定数として置かれるが)の関数だから、
後2つ独立な式があれば、宇宙に神が決めたようなパラメータは存在し無い事になるな
c=137(Recipr.FSC)単位系推進派のわたくしにとっては不利ニュースかもしれんが
宇宙際タイヒミュラーのタイヒミュラーってどんな人なんですか？
ゲルトミュラーやトーマスミュラーの友達みたいなもん
![望月新一さんのABC予想の証明に重大な欠陥が見つかる [796936532]YouTube動画>1本 ->画像>12枚](https://d2r55xnwy6nx47.cloudfront.net/uploads/2018/08/ABC_Conjecture_2880x1620-2880x1620.jpg)
