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