[過去ログ] Inter-universal geometry と ABC予想 26 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
182
(1): 2018/04/14(土)18:08 ID:i1Ai30US(3/9) AAS
>>180
直感的・意味論的な方向性の話だよ
完璧に証明を書ききらないと方向性が全くわからないなんてことはない
232
(1): 2018/04/15(日)12:09 ID:z9Rk29zs(1/3) AAS
>>182
直観的・方法論的に正しい証明かどうかは、正しい証明に書き下してみないとわからない。
ペレルマンがネットに上げた証明は不完全だったが、発表と同時に多くの数学者が行間を埋めて
正しい証明に仕立て上げた。
ペレルマンの方法が本質的に正しかったから、ペレルマンのネットに上げた論文は「良いヒント」になるから、
多くの数学者が正しい証明を再現することに成功したのだ。
翻って望月の「証明」はどうか。多くの数学者がただ沈黙し、沈黙しているのをいいことに「証明成功」を既成事実化しようとして、
省1
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.030s