Inter-universal geometry と ABC予想 (応援スレ) 48
■ このスレッドは過去ログ倉庫に格納されています
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（旧“応援”スレが、1000又は1000近くになったので、新スレ立てた。）
（参考）
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン >>150
>「εδによる関数fの連続性の定義」と
・その話は、下記のスレでやれば良いと思うが
（というよりも、”純粋・応用数学”スレ１は、もともとガロアスレ復活のための布石であって、その２でそれが実現したわけなのだが（＾＾）
・「εδ マンセー！、εδサイコー！」については、私は批判的です！ｗ（＾＾
・つまり、20世紀まで、上記の「εδ マンセー！、εδサイコー！」思想が、日本教育界には色濃く残っていたように思う
（個人的には、高校２年時代、確か旧帝数学科出身の教師が、「高校数学では、ゴマカシているが、本当は”εδ ”」とか何度もいうから、高校時代に勉強しました（＾＾）
・で、成人してから、ノンスタ（超準解析）と出会って、「な〜んだ」（下記ご参照）と思った
・あと、思うに、複素関数論では、ワイエルシュトラス＞＞リーマン という昔の時代風潮があったと思う
しかし、21世紀の視点では、圧倒的に リーマン＞＞ワイエルシュトラス でしょうね
・そんなこんなで、「εδ マンセー！、εδサイコー！」については、私は批判的です
「εδ」単独ではなく、もっと位相とか、ノンスタ（超準解析）、フィルター、ネット、圏論の極限とか、総合的に理解すべき概念だろうと
・それについては、おバカを泳がせながら、下記スレでやっていくつもりですよｗ（＾＾；
（参考）
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。[6][7] 彼は次のように記述している：
[...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。
ロビンソンはこのライプニッツの連続性の原理（英語版）は移行原理（英語版）の先駆けであるとしている。ロビンソンは次のように続ける：
つづく >>154
つづき
しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。[8]
ロビンソンはさらに次のように続ける：
本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。
1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。[9]
（参考）
純粋・応用数学（含むガロア理論）2
https://rio2016.5ch.net/test/read.cgi/math/1592578498/
(引用終り)
以上 ■ このスレッドは過去ログ倉庫に格納されています
