【数学】数学の超難問・ＡＢＣ予想を「証明」した望月教授の論文がＰＲＩＭＳに掲載決定

**虫くん ★** · 2017/12/16(土) 04:15:15.20

数学の超難問・ＡＢＣ予想を「証明」　望月京大教授

2017年12月16日3時1分

長年にわたって世界中の研究者を悩ませてきた数学の超難問「ＡＢＣ予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。
執筆者は、京都大数理解析研究所の望月新一教授（４８）。今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。

望月さんは２０１２年８月、論文を自身のホームページ上で公開。数理研が発行する数学誌「ＰＲＩＭＳ」が、外部の複数の数学者に依頼し、間違いがないか確かめる「査読」を続けてきた。
同誌は研究者の間で一流の国際数学誌と評価されており、早ければ来年１月にも掲載が決まる。

http://www.asahi.com/sp/articles/ASKDD5Q6MKDDPLBJ007.html

論文：ホームページより
Inter-universal Teichmuller Theory
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html

**名無しのひみつ** · 2018/01/17(水) 17:28:07.22

論文の主定理から解が１つも出せないらしい

**名無しのひみつ** · 2018/01/18(木) 15:28:16.96

>>435
構成的な証明なわけないのに、お前何言ってるんだ？

**名無しのひみつ** · 2018/01/20(土) 10:31:12.55

証明を行うアルゴリズムは存在しないのだから、
定理の命題に対して得られた正しい証明は、ある意味で結果論に過ぎない。
つまり（神秘な人智の能力により）得られた、奇跡の成果が数学定理の証明である。

そうして、いったん得られた証明はその論理の過程に間違いがなければ、
誰にとっても永遠に正しい。でもなぜそれが得られたのかは、
いろいろやってみたらとか、他との類似性からなどのような、
歯切れの悪い後付けの説明しか出来ない。極端なことを言えば組み合わせを
いろいろと試して観てということになるか。コマの動かし方を知って
将棋を詰めるようなもの（それをよりいっそう難しくしたもの）だと
言えるかもしれない。
　得られた証明は結果論に過ぎないという立場からすれば、数学の定理と
その証明は、一種の暗記物のようなものである。仮に人類の作り出した
数学の記録がすべて失われたとして、それから200年後の世界で再び
数学を作り直すという事態が生じたときに、昔証明されたらしい定理を
再び証明を試みているが、未だに成功しない、などということが起こらない
保証はないし、今現在の数学の体系とはずいぶん様相の変わった学問や
分野の構成になってしまっているかもしれない。宇宙人の数学者が宇宙船で
地球に来訪したときに、彼らの有する数学と人類の有する数学は
はたしてどれだけ似ていて、どれだけ違うのだろうか？
そうして宇宙人から教えて貰ったリーマン予想の証明を理解して
論文に書いて発表したら、40際未満ならフィールズ賞が貰えるのだろうか？
そういう高度な数学的知識を持った宇宙人と仲良しになったらずいぶん得だろうな。

**名無しのひみつ** · 2018/01/22(月) 22:37:49.26

tmnghryk? @tmnghryk
母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。
https://twitter.com/tmnghryk/status/955381267133972481

**名無しのひみつ** · 2018/01/26(金) 12:01:54.49

「フィールズ賞の受賞者かつ国際数学連合のトップ」とは具体的にはどなたですか？

**名無しのひみつ** · 2018/01/26(金) 12:06:50.88

プライマリーバランス黒字化で日本は焦土と化したな
財務官僚の処世術政策は怖ろしい

**名無しのひみつ** · 2018/03/04(日) 11:08:14.43

450名無しのひみつ2018/03/01(木) 02:06:23.56ID:1vSXmo+q>>452
要するに論文の要旨の段階でなるほど　わからん
となってしまう人が専門家でも圧倒的に多いんでしょ
内容が正しくてもそのままではダメなんじゃね

451名無しのひみつ2018/03/01(木) 13:40:10.67ID:zX4WeegD
5１３２人目の素数さん2018/01/25(木) 23:17:47.50ID:MEvDz84S
peter scholze points out possible error in IUT

https://www.google.co.jp/amp/s/amp.reddit.com/r/math/comments/7leoy8/peter_scholze_points_out_possible_error_in_iut/

452名無しのひみつ2018/03/01(木) 15:47:19.83ID:PkJHv+Xi>>453
>>450
分からんじゃなくてもう理解はされてる
そして致命的なギャップも指摘されてて
それに対してなんら打開策も見出だせない
てとこかな

453名無しのひみつ2018/03/01(木) 17:29:47.26ID:uFaLa8bz>>459
>>452
誰が指摘してるの？
いわゆる外部の人ならちょっと勉強してみたけどようわからん、で止まってなかったっけ？

454名無しのひみつ2018/03/01(木) 21:43:07.90ID:bqwST3ba>>456
20人程しか理解できないって…20人と望月が頭おかしいんじゃね？
他の数学者には論理が破綻してるようにしか見えないから説明待ちなんだろ