15/05/17 09:23:15.91 joHrS35r.net
>>432 補足
余談だが、日本語の情報だけじゃだめだね
それと、早くMathOverflowなどを使った方がいいだろう
2CHとはレベルが違う（2CHは、それなりのよさもあるのだろうが・・）
あと、直感的理解は大事にしたいんだよね
それが>>429なんだ
「天才の直観に基づいた論理は、常人は容易に受け付けがたい。直観を正当化するために作業仮説として直観を排する。」という見解には反対だな>>124
直観を排して論理を一歩ずつ積み重ねれば分かるという人がいるが、半分正解で半分外れだ
小平 邦彦 「数学に王道なし」P16>>322を紹介したが
（再録）
分かるが証明をしらないということもあると
例として、1963年のアティアとシンガーの複素多様体のリーマン－ロッホの定理を証明したというニュースを聞いて、複素解析曲面の分類の研究を始めた話がある
証明は知らないが、定理はよくわかっていたと
同様な例として、代数曲面の特異点解消定理をあげている
”証明はしらないけれどもよくわかっている定理であった”と
”特異点解消定理のような最も基本的で証明が非常に長い定理は、実際には証明は知らないけれどもよく分かっている定理として応用される場合が少なくないと思う”
と書かれている
（引用おわり）