証明には仮定が必要であって、その仮定が何を
意味しているのか考える必要があると思う。
現実の直面している問題に対して、うまく整合性のある仮定の
もとで証明されたのかどうか？
仮定が受け入れられるものとして、本当にどこまで証明されたのか？
その証明は反例の見つかりそうなものなのかどうか？

普通はそういうことを考えてもなかなか答えは出ないからね。
数学を現実に利用しようとすると、やはりいろいろ解決しなければ
ならない問題は多い。

計算機数学なんて、理論と実践の板挟みで苦しいだけの学問だぞ？
気が狂いそうになる。やってるおれがそう思う。
だからマゾのおれに向いている学問なんだよね。（苦笑