- 388 名前：現代数学の系譜11 ガロア理論を読む [2012/04/06(金) 07:08:34.59 ]
- >>265
>>完全な証明をつけるのですから, 図などを使って読者の直観に訴えるのは反則なのです.
>これと反対のことを言おう
>ナスカの地上絵、遠目の富士
つづき
ガロアは、ガロア理論という巨大な地上絵を描いた
グロタンディックも巨大な地上絵を描いた
ブルバキも同様
”完全な証明をつけるのですから, 図などを使って読者の直観に訴えるのは反則なのです”は数学の証明としては正しい
だが地上絵を見るためには、細かい部分は見えない遠くから見る（あるいは高いところへ登る）ということが必要なのだ
それを忘れて、ひたすら細かい証明を追っても、いくらたっても地上絵は見えない
