>>34
なんでBASICとか電卓しか使わないの？
リーマン積分なら計算機上で表現されてるよ．
http://coq.inria.fr/library/Coq.Reals.RiemannInt.html

>>36
あなた>>32ですか？ >>30とアンカー間違ったのだが・・．
例えば極限だったら，以下のページで既にコンピュータ上に乗せられてるよ．
http://coq.inria.fr/library/Coq.Reals.Rlimit.html
次のページの`Reals'の項目見てもらえるといいんだけど，解析学は定理の
証明を計算機上で表現して，証明の正しさを検証することに成功している．
http://coq.inria.fr/library-eng.html
ルベーグ積分や測度論が証明チェックされるのも時間の問題．