計算機による（を用いた）証明を信用しないと言う人へ

これなんか、どう思うの？
＞受賞者　西田孝明
＞受賞理由　微分方程式の解の大域構造の数学解析に，計算機援用証明の方法を
＞本質的かつ本格的に用いたところにある．
＞自明解からの定常分岐やホップ分岐の存在，臨界パラメータでの自明解の不安
＞定化等について計算機支援による数学的証明を次々と成し遂げた．
＞同氏の業績は解析学賞にふさわしい．
http://www.math.kobe-u.ac.jp/a-prize/jusho3-3.html