>>452
ちゃんと該当部分を引用してくれないかな。

サーストンは先に挙げた文献の中（９ページ中頃）で、
The standard of correctness and completeness
necessary to get a computer program to work at all
is a couple of orders of magnitude higher than the
mathematical community's standard of valid proofs.
とも言ってる。機械で検証する方が人間がやるより厳密だってわけだ。
まあ、その後に長いプログラムにつきもののバグを心配しはいるが。