>>171

"略証を考える時点でバカ
証明ができたあとで省略することはできるが
省略したまま考えることはできない"

おれみたいな素人がいうことでもないが、おそらく、それ外れだよ
数学以外の分野でもそうだが、細部を詰めることと、大きな荒筋を考えることとは、両立するぜ

絵画でいえば、展覧会の絵の前にデッサンがあり、デッサンの前に構想があり、構想の前にインスピレーションがある
それが、通例だろう(^^

テイラーさんのフェルマー予想しかり
ペレリマンのポアンカレ予想しかり