【数学】〈続報〉「ABC予想(オステルレ・マッサー予想)」望月教授による証明が数学界を二分
■ このスレッドは過去ログ倉庫に格納されています
数学の難問「ABC予想(オステルレ・マッサー予想)」を証明したとする、
京都大学の望月新一教授による論文について、世界の数学者らは様々な形で受け止めている。
理解できる人が世界で20人ほどの500頁にわたる望月氏の著名な論文を、望月氏本人が率いる科学雑誌が掲載に向け受理したのだ。
査読雑誌に科学論文が掲載されるということは、関係分野の有能な専門家らがその論文を終わりまで読み評価したことを意味する。
つまり必要な水準の査読のもと、その過程で誤りや捏造の確率は最小限にまで低められるのだ。
京大の数理解析研究所が発行する数学誌面で、ABC予想を証明する望月氏の論文が2018年初めに掲載される見通しになっている。
この論文は既に2012年に完成していたもので、その長さは500頁にわたる。
この掲載については朝日新聞が報じている。ところが、この論文の掲載は望月氏の大勢の同僚にとって、
査読者らが同論文を最後まで読み承認したということを意味することにはならない。
ABC予想の証明に際しての問題は、論文の執筆者以外では誰もその証明を理解できないという点である。
掲載に向け論文を受理した雑誌の編集長が、望月氏自身であるという事実も疑念を呼んでいる。
「ABC予想」は1980年代に提示され、現代整数論の未解決問題として長い間残ったままだった。
この予想を証明するため、望月氏は新たな数学的手段「p 進数タイヒミューラー理論(p-adic Teichmüller theory)」を構築した。
ABC予想について、この理論に基づいて組み立てられた証明を評価するために、
英オックスフォードと京都で2回にわたって国際会議が開かれた。
現在、この証明について討論できる能力のある人の数は20人とみられている。
しかし、これら「身を捧げた人々」の中に、望月氏の論文をより広い範囲の研究者らに説明できる人が一人もいないことがわかったため、
学会は依然として懐疑的な態度を崩していない。
今回のニュースについてニュージーランド・カンタベリー大学の数学者、
フェリペ・ヴォロシュ氏は、「掲載に向け(論文が)受理されたという事実は、私にとっては何かを変えるものではない。
依然として私は、理解できる形での説明を待っている状態だ」とコメントしている。
一方、ヴォロシュ氏と違う意見を持っているのが、英ノッティンガム大学の数学者、イヴァン・フェセンコ氏だ。
フェセンコ氏は、望月氏による証明を完全に理解し、証明に誤りを発見していない数少ない研究者の一人だ。
フェセンコ氏は、論文は既に検証されており、日本の雑誌に掲載されるという事実は、
関係する分野をリードする専門家らが日本出身であるということで説明できると主張している。
この雑誌は論文そのものについて、画期的な業績であり、過去半世紀にわたる整数論の歴史の中で最高の成果であると評価している。
しかし、数学界の多数派がフェセンコ氏に同意するためには、望月氏による証明の内容を把握できるだけでなく、それを他の人に説明できる人が現れる必要がある。
望月氏は、ロシアの数学者であるグリゴリー・ペレルマン氏と比較される。
ペレルマン氏は、「ミレニアム問題」の一つ、「ポアンカレ予想」を証明したことで知られる。
2006年には「フィールズ賞」、10年には米クレイ数学研究所からミレニアム問題の一つを解決した業績に対し賞が授与されることが決まったが、
ペレルマン氏はこれらの受賞を辞退した。その後ペレルマン氏は研究活動を中止し、メディアによる取材を拒否している。
望月氏は1969年東京生まれ。16歳で米プリンストン大学数学科に入学し、1994年に日本に帰国した。
同僚らは、望月氏が数学の問題を解く際高い集中力を発揮すること、米国文化を嫌っていること、
日本を去る気がないことを指摘している。
関連スレ
【数学】数学の超難問・ABC予想を「証明」した望月教授の論文がPRIMSに掲載決定
https://egg.5ch.net/test/read.cgi/scienceplus/1513365315/
スプートニク
https://jp.sputniknews.com/science/201712214404570/ >>348
最初だけでしょ
そのうち今の望月みたいに
証明できてないとか
もっと詳しく証明しろとか
他の人の方が貢献が大きいとか
言う声に悩まされて
嫌になって研究所は辞めたし
山に引きこもってしまった
二人の違いは望月の場合はまだ証明した事に納得する比較的大きなグループが現れてない事
言い換えれば証明したと納得されてない事くらい 本人以外に誰も理解できない証明なら、それは存在しないのと同じだな >>224
数学と物理が全く別なわけないだろアホだな。理論物理学は代数幾何によって大きく変貌を遂げてる。今時相対性理論だけ研究して深いことが得られるなんてあり得ない。より興味深い結果を得ようとすれば代数幾何や数理物理の込み入った理論を学ばねばならなくなってきている。 >>223
間違えた※356は223に対してのコメント。 真理を理解するのに人類はまだ未熟
共有出来ない理論は無いと同義 >>351
1回や2回だけでしょ、とかほんとNHKは罪作りやな……
取り合えずTaoがその辺のこと書いてるから読みな
あとペレルマンは他の人の貢献も大きいのに無視されてるのが嫌になった
だからフィールズもクレイからの賞金も辞退した
これが本人自身が語ったことだ >>351
1回や2回だけでしょ、とかほんとNHKは罪作りやな……
取り合えずTaoがその辺のこと書いてるから読みな
あとペレルマンは他の人の貢献も大きいのに無視されてるのが嫌になった
だからフィールズもクレイからの賞金も辞退した
これが本人自身が語ったことだ >取り合えずTaoがその辺のこと書いてるから読みな
無視される気まんまん wwww >>365
無視もなにもTaoがペレルマンと比較してるんだけど?
どーせ簡単な位相もわからない人なんだから首突っ込むなよ クレイの懸賞問題は査読付き数学誌の掲載。
ポアンカレ予想を証明したのはペレルマン、
但し ペレルマンの論文 掲載はarxivのみ、 >>367
その後正しさが示されてか普通に賞金だそうとしてたよ
辞退されたけど
ワイルズといいこの辺は柔軟やね かんたんなこと、
数学界を2分、それは、片方が似非数学者であり、片方が本物の数学者である。
どこにでもあるよ、半数が暗記しただけの成り上がりのインチキ 数論は万物は数のピタゴラス由来の数秘術、
IUTも数秘術として読めば誤解もない。
数秘術は魔法陣あり素因数分解あり
それなりに面白い。 聖書に暗号なんてない
当時のお約束が忘れられただけ(ネロの666とか)
馬鹿ジャネーノ 皇帝名指しで批判したらやばいから666と言い表してただけだよな 4132人目の素数さん2018/01/06(土) 11:01:14.24ID:7C2BpeYq
911132人目の素数さん2018/01/05(金) 09:02:48.46ID:W8yxw9Jh
不等式が実例と一致しないからわかんないって言われてるんだろ
サッサと結果出せよ
912132人目の素数さん2018/01/05(金) 09:09:31.91ID:nw7GGDrm
Ivan Fesenko のFacebookを読むと、
3 - IUT is a wonderful theory. Study and embrace it.
→3. IUTは、研究し、受けいれるべき、すばらしい理論
6 – (中略) some of these young researchers are successfully developing IUT further
→6.ここ2〜3年で、IUTを進展させている若手研究者がいる
こういう人たちが居て、一方で、次世代幾何学研究準備センターもできた。
そこではもう板ぐらい作って話してるだろうから、理論の修正やら発展で、理論修正しているのだろ。
もう内野と外野ができてそう。
Peter Scholzeが、Ivan Fesenko に、
"anyone in the group of people who are experts in IUT?"
と書かれているから、板なんかで、話しているのだろう。
913132人目の素数さん2018/01/05(金) 09:26:24.94ID:65lneuyS>>918
いつPRIMSに論文は掲載されるの?
査読中の話だったね。
914132人目の素数さん2018/01/05(金) 09:28:49.99ID:GX01iIYw
身内からの希望的な見方は不要ですので証明の不等式から導かれる実例を出して下さい
915132人目の素数さん2018/01/05(金) 09:35:13.76ID:GX01iIYw
出せないのは証明できてないってことでいいんですかね
916132人目の素数さん2018/01/05(金) 09:42:21.01ID:GX01iIYw>>937
812132人目の素数さん2018/01/03(水) 15:42:46.51ID:tde4EMFs>>814>>824
再記
ア、計算する方法を具体的に考える。
イ、次に検算する。
アがないと、間違いすら出来ない
917132人目の素数さん2018/01/05(金) 10:01:13.39ID:GX01iIYw
論評もできないのに肯定できるってどういう思考回路なんですかね 東大文系入試数学の整数分野の問題で能力の限界ギリギリの俺がやってまいりました。
おまいらよりちょい上くらいの学力レベルだと思うが、、、
ABC問題、、なに、それ? まったく チンプンカンプン わけわかめ 一般論。結論を先に決め「この結論はもう動かせない」ことにすると、当然のことですが、
しばしば前提や推論を大きくねじ曲げざるを得なくなります。第三者がそれを見ると
「どうして前提や推論をこんなにねじ曲げるんだ?」と疑問に思います。それは「動かせない結論」のせいです。
その他
開発現場でよくあることですが、納期が動かせない。納期は絶対である。というときにも似たような
ことが起きます。都合が悪い情報を見ないことにしたり、すべての可能性がいい方向に動くことが前提になったり、
残っている不具合が魔法のように消えたりする推論が登場します。
「この結論は動かせない」と決めたとして、前提や推論をあまりにもねじ曲げざるを得ないとしたら、
それは何かがおかしい証拠といえます。つまり現実を無視した結論を固定しているために、
あちこちにゆがみが出てくるのですね。
結城浩
@hyuki
ABCの論文がそうだとはいってませんよ ソフトのバグ、OSのバグ、計算機ハードのバグ、通信回線のエラー、
記録媒体上の記録のエラー、などによって、研究結果が不正になることもある。 望月氏ってハーフ顔してるけどど日本人なのかね?
日本から出る気は無いって言ってるが、よほどアメリカで虐められたんだろうか…?
普通なら日本なんかにいられるかってなるのに。 >>120
本人はそう言ってるけど本当のところはよくわからない。
キリスト教みたいなもんで、これから信者が世界に布教するか?って段階。
有用なら100年後には常識になってるだろう。 >>1
>学会は依然として懐疑的な態度を崩していない。
懐疑的なんじゃなくてただ単に興味がないだけ >>356
>より興味深い結果を得ようとすれば代数幾何や
>数理物理の込み入った理論を学ばねばならなくなってきている。
具体例を挙げてくれよ
そんなものは残念ながら一つもないと思う
ADHM construction が世に出た時「数学もたまには物理の役に立つんだな」
なんてという皮肉を言った物理学者がいた >>386
>東大文系入試数学の整数分野の問題で能力の限界ギリギリの俺がやってまいりました。
>おまいらよりちょい上くらいの学力レベルだと思うが、、、
全然別競技の別物 >>223
>一般相対論では 重力場方程式の作用は
>ヒルベルトが先に導いた。
あれはヒルベルトの上っ面の盗作。
アインシュタインはそれに気づいていて流してくれた。 >>394
>本人はそう言ってるけど本当のところはよくわからない。
>キリスト教みたいなもんで、これから信者が世界に布教するか?って段階。
>有用なら100年後には常識になってるだろう。
本人がそう言ってるだけの理論なんか他にも結構ある。
本当に革新的な(革新的と思われる)理論なら
世界中のイキのいい一流数学者が飛びつくだろうけど >>326
>数学界を二分するような証明なら間違いである可能性が高いな。
数学は合ってるか間違ってるかなんて大した事ではない。
「価値があるかどうか」こそが大事で
数学界はIUTの価値をスルーしている、つまり現段階では認めてない 432 132人目の素数さん2018/02/10(土) 16:00:51.30ID:NF/sKeI9
本当は5年の間にワイルズみたいに証明のギャップを埋めて誰もが認める形にしなければいけなかった。
望月さんやその弟子たちは結局失敗した。
論文は公開されているのに、世界中の生きのいい大学院生でスマートに理解し解説する人も現れなかった。
論文は間違いで、朝日は飛ばし。
世界のコメントをみると、論文1,2の正しさは認められているようだが、同時に「大したことは言ってない」
というコメントも多い。世界はちゃんと理解しているのだ。
そして3、4はトンデモだっていわれている。
朝日新聞記者の質も悪くなったもんだ。 >>120
>単なる証明ではなくて新しい数学の扉を開いた革新的研究なんだろ
>となると広く理解されるまで(数学者レベルで)あと20年くらいかかる
この理論に対してそんな熱量は全く沸き上げって来てない 世界に認められて賞をもらうことは誇らしいけど、黙って研究をどんどん先に進めてくことも重要な気がする。 >>395
単にリスク取るのを恐れてるだけだよ
lUTをおさめるのに研究者として活躍できる期間のうちの数年はかかるから >>404
本当に革命的な価値ある理論なら
論文の説明が杜撰だろうがなんだろうが
命を燃焼させて没入するのが数学者
数学者をなんだと思ってんだ
文化カルチャーの爺ィとでも思ってるのか
裏を返せばそこまでの魅力が提示されてないって事 >>403
賞とか1mmも一切関係ない
単にIUTが(現時点で)魅力が感じられる理論じゃないだけ ABC予想を証明出来る理論が価値が無いとか思ってんのか
お目出度いな 討論できる能力を持つ人間が世界に20人って凄まじい世界だな
野球かサッカーでワールドオールスターチーム作るくらいの豪華メンバーってことだね >>405
勝手な定義を後出ししても、そんなもん他人には通用しないよ >>410
>勝手な定義を後出ししても
なぜ「勝手」に過ぎないのかの理由を語らなければ
トートロジーで無意味
「おまえはアホだからアホ」と言ってるだけ、1mmも頭使ってない >>408
>ABC予想を証明出来る理論が価値が無いとか思ってんのか
>お目出度いな
お目出度いのはどっちだ
数学を何かのパズルレースの余興とでも思ってるのか
問題を解くこと自体に価値はない
そこから新しい境地が(価値ある形で)生まれて来てこそ意味がある >>409
>討論できる能力を持つ人間が世界に20人って凄まじい世界だな
それだけ他人から興味を持たれてないってこと
褒め言葉じゃなくて貶し言葉
テストのお勉強脳には褒め言葉に聞こえるのか知れんが 「500頁」の論文ってのがな
パートごとに分割して、いくつかの論文に分ければいいんじゃないの?
もしかして、どうしても分割できない論文なの? 愛主多飲だって最初はこうだった
だが 論文長すぎる
1ページにならんか >>407
20人も理解してるんな十二分に理解できるようになってるってこった。
門外漢の数学者がわからんわからんいってるだけだよ。ほっとけばよい。 >米国文化を嫌っていること
アメ豚は日本人移民が合法的に開拓した農地を排日移民法でタダ同然で取り上げたんだよな
その土地から出てきたのがアメ産のグレープフルーツw
どうせこの先生相手にアメ公が泥棒働いたんだろ
どこのバカ情弱日本人が好きになれるんだよwww >>411
勝手な定義から一歩も出ていない
やり直し 加算乗算の概念を分解してよその宇宙でも使えるように再構築するって
意味不明天才すぎて神の領域を見てしまったの?って感じ >>429
一般的な数学者の定義に
> 本当に革命的な価値ある理論なら
> 論文の説明が杜撰だろうがなんだろうが
> 命を燃焼させて没入するのが数学者
こんなポエムは含まれていないw
よって勝手な再定義である >>393
母親がアメリカ人の白人だから混血だけど、五歳まで日本で育ったから、基本的な
言語感覚が日本語が基本。
料理家の村上さんが、赤ん坊の時から知っているそうだから、日本食の味も小さな
頃から味わっている。 そういえばポアンカレもペレルマンより、
ペレルマンの証明が正しいと証明した中国人のほうが偉いって
話を聞いたことがある >>434
足りない部分を補完したから証明したのは俺だと豪語する論文出したけど
非難轟々で取り下げた中国人本人だろう >>435
せいぜいそんなとこだよなー
あとは人たくさん育ててるから弟子筋か それは、朱熹平と曹懐東
ジョン・モーガンと田剛
という人たちなんだね 理解してる人間が理解できるように解説すればいいんじゃね? 1+1=1
1x1=1
とする。
よって1−1=1
1÷1=1
すべての計算は簡単だ。 0+0=0
0x0=0
とする。
すると、0−0=0で、0÷0=0だ。
とても計算が簡単になるが、何をどうやっても0に
しかならないから、つまらん。 女の子を理解するために、AKB48を結成してしまったみたいなもんなの?(´・ω・`) >>443
割り算の定義がおかしい
実は引き算もおかしいがたまたま上手くいく定義域だった >>445
> 実は引き算もおかしいがたまたま上手くいく定義域だった
続けたまえ 「0÷0の正しい解答がネット検索しても見つからないので作成した。」
という題で検索したら、いろんな答えが説明されていてこれは、児童や生徒に
説明しやすいと思いました。 ABC
AB
A
A<D
123456789101112131415
235711
X<D
13171923
ABX<D
A<D
X(b×c)−B(c+d)
B<D
C≒D
C(b×c)−D(b×c)+c
答え C(b×c)−D(b×c)+c 要するに論文の要旨の段階でなるほど わからん
となってしまう人が専門家でも圧倒的に多いんでしょ
内容が正しくてもそのままではダメなんじゃね ■ このスレッドは過去ログ倉庫に格納されています