ジョルダン

といえば標準形。行列。測度。んでこれ。
http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html
完全証明だそうです。１６人で、約１４年、２０万行…すげぇ。
コンピュータプログラムを用いて証明されたそうですが、
人間の力だけでやったら…一生のうちには終わらないのかも。


一見当たり前のような事でも、絶対に正しいと証明するのは、得てして難しい。
だからこそ一般には正しいと思われている事でも鵜呑みにせず、色々と考え、
時には疑ってみるという姿勢は必要なんじゃないだろうか。


追記：変な言い方になるけど、死ぬ直前まで何かをやり続けたいです。