你说的很有道理，不光在工程领域，金融交易用的软件也是如此。

电子交易系统每天都会报错许多成交价。

理论结果有趣的地方是，那些不能证明对错的程序都是不需要外界输入的，运行只可能有唯一结果。