- 654 名前：１３２人目の素数さん [2014/03/20(木) 21:24:55.79 ]
- 653さん
定理をそのまま理解するというのは，定理が真であることが分ること，
その証明が追えてかつ自分で再現もできること，定理を適切に適用できること，
というようなことを指していました．
通常はこういう理解で満足するのでしょうが，考えてみると，こういう理解は，
いってみれば，無矛盾であればよしとする理解，機械でもできる理解，定理の
内部に閉じた理解，受動的な理解ではないかと思います．
そうではない理解，特に定理の外部との関係においての理解というものが
あり得て，むしろそういう理解をしたいと思っています．
これは数学なら数学の内部に閉じこもっている人たちには，何をいっているか
分ってもらいにくいと思いますが．
