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

電子交易係統每天都會報錯許多成交價。

理論結果有趣的地方是，那些不能證明對錯的程序都是不需要外界輸入的，運行隻可能有唯一結果。