科學“證明”的本質與軟件開發

我清楚地感到在很多人頭腦里，“科學理論”與“科學定律”的區別是混亂的，他們感到疑惑：“科學理論需要什么才能被認為是真實正確的？”

我將嘗試解釋為什么這是一個錯誤的問題，因為我們永遠無法用實驗來“證明”一個理論。我將通過深度探討科學證明的本質進行解釋。然后我將說明這些原則可以怎樣以一些有趣而出乎意料的方式應用到軟件開發中。

背景

當你尋找解釋某事的理論時，最好的情況是你找到了一個非常通用的理論。也就是，你的理論在任何時候，任何情況下，無一例外地都是適用的。如果你找到了這樣一個理論，你可以這樣開始描述它：“以下的結論是永遠真實的。。?！?/P>

實際上，盡管科學研究已經持續了幾千年，我們只有非常少的這種永遠真實理論。幾乎所有理論有其“應用范圍”。例如，今天我們知道牛頓于十七世紀建立的經典力學理論在我們達到原子級時就不再適用了。在原子級上，經典理論不再作出精確的預測，我們需要另一種理論，量子力學，來解釋發生的現象。類似地，在速度與光速相比非常低的時候，經典理論可以很好工作；當達到或接近光速時，我們需要愛因斯坦的狹義相對論進行預測。因此，需要注意理論只在特定領域里是“正確”或“非常接近正確”的。在這一領域外我們就需要其它理論，而該理論的適用范圍可能包含也可能不包含原理論的適用范圍。因此有時我們有一些“更通用”的理論，其他的理論只在某些限制條件下是正確的。

當然，如果你有一個你相信是“通用”的理論——也就是，它適用于所有情況——你必須對它進行測試?？茖W在本質上是一種實驗過程，而測試一個通用理論包括逐漸擴大邊界，持續消除限制條件，以證明理論確實對所有情況都是適用的。

原文轉自：http://www.kjueaiud.com