[過去ﾛｸﾞ]
純粋・応用数学(含むガロア理論)5 (1002ﾚｽ)
純粋・応用数学(含むガロア理論)5 http://rio2016.5ch.net/test/read.cgi/math/1602034234/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
282: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/11/03(火) 10:02:57 ID:aFRh2zmP >>273 >TURING AWARD LECTURE Reflections on Trusting Trust KEN THOMPSON Communications of the ACM August 1984 Volume 27 Number 8 余談だが、いま、下記のスレでIUT（Inter-universal geometry）の議論をしているのだけれど Inter-universal geometry と ABC予想 (応援スレ) 49 https://rio2016.5ch.net/test/read.cgi/math/1600350445/ 私見だが、IUTの論文査読が終わったってことは ある人数（例えば3人）の査読者が、ソースコードを読んでみて、「バグは見つからなかった」と報告したみたいない段階でしょ じゃあ、そのプログラムにバグがないのか？というと プログラマーなら分かるとおもうが 「バグが無いとは言えない。単に、3人がソースを読んだにすぎない」ってこと 本当に、バグのないプログラムになっているのかどうか？ それは結局、使ってみなければ、分からないってことです 数学の証明でいえば、IUT理論を発展させて、別の定理が証明できるとか 望月とは別の別証明が出るとか、もっと見通しの良い証明に改良できるとか そういうことで、みんなが使って枯れた状態になることでしか 真の信頼性は確立できないってことだと思うよ（＾＾ そこは、見ていれば、 IUTの真偽は、今後はっきりしてくるでしょうね！（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1602034234/282
284: １３２人目の素数さん [sage] 2020/11/03(火) 10:24:34 ID:F9WRUhYe >>282 ＞使ってみなければ、分からない で、他で使ってないけど、いくらなんでもそんな大げさな理論が 他で全然使えないってありえなくね？ ってことでしょ 最初の国際会議が行われた2015年の時点で、発表から3年たってますからね それで何も他の成果がないってのがそもそも疑念をもたれる第１点 さらに他の数学者に分かる説明が何もできないのが疑念をもたれる第２点 そこからもう５年たってるのに、大した改善はない それじゃ、信用されないんじゃないですかね？ http://rio2016.5ch.net/test/read.cgi/math/1602034234/284
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.347s*