2017年12月17日のブックマーク (1件)

  • 主婦が考えてみた。ABC予想って、何がすごいの?~数学の超難問が解決!! - のんびりmathematicー数学主婦のブログ

    今日の朝、起きてすぐ、LINETwitterを見て、 !!!!!!!! と、なりました。 呼吸が5秒くらい、止まった気がします。 そう、 ABC予想、解決!! headlines.yahoo.co.jp 京都大学 数理解析研究所の望月新一先生の論文(2012年に発表したもの)が、ついに「正しい」と認められ、専門誌に掲載される予定とのことです。 当に当にびっくり…! 週明けから、数学に詳しい人々にインタビューしてこようと思ってますが(その内容も、シェアしたいです)、 まずは取り急ぎ… ABC予想、何がすごいの!? というテーマで、書いていこうと思います!! 0.はじめに 2012年に、望月先生が論文を発表した時点で、 「ABC予想って何なの?」 と、色んな人に聞かれました。 今回も「解説よろしく」と、ちょこちょこ知り合いに言われます。 しかし、実は、私、 全然詳しくないです。 何も数学

    主婦が考えてみた。ABC予想って、何がすごいの?~数学の超難問が解決!! - のんびりmathematicー数学主婦のブログ
    tmizu23
    tmizu23 2017/12/17
    証明するって絶対にバグのないコーディングをする作業で、証明されたってことは、ライブラリが実装されたっていうイメージかな?