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

来源: 于 2010-02-28 18:18:35 [旧帖] [给我悄悄话] 本文已被阅读：次

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

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