自洽

自洽

自洽【self-consistent】,簡單地說就是按照自身的邏輯推演的話,自己可以證明自己至少不是矛盾或者錯誤的,這就是簡單的自洽性。科學研究本身就是遵循自洽性的,建立於客觀基礎上,反之則建立於主觀之上,最終歸屬不可證偽與證明,一個不能夠滿足自洽性的理論或者方法顯然是不攻自破的。

例子

在狹義相對論中,假定K'系相對於K系以速度V運動,則K系相對於K'系的速度為-V。為什麼一定是-V呢?直觀上當然如此,相對性原理的假設只是說物理定律的平權,並未假定相對速度的大小相等。不過,當後面推出速度變換公式來的時候,值確實是-V,就像經典力學中伽利略變換公式得出的-V一樣。它們都是自洽的。自洽性會加強我們對理論的信心,然後等著實驗來驗證。

邏輯自洽

簡單地說就是按照自身的邏輯推演的話,自己可以證明自己至少不是矛盾或者錯誤的,這就是簡單的自洽性。科學研究本身就是遵循自洽性的,建立於客觀基礎上,反之則建立於主觀之上,最終歸屬不可證偽與證明,一個不能夠滿足自洽性的理論或者方法顯然是不攻自破的。

軟體自洽

所謂自洽:“某個理論體系或者數學模型的內在邏輯一致,不含悖論”。

轉移到計算機軟體,我對它的定義為“一個計算機軟體,在各個模組,各個函式,各個功能之間對相同問題,沒有不同的看法”。比如我們的軟體中包含了供應商,和主要供應商,如果在採購時允許用戶對同一個商品有多個供應商,可是在查詢的時候,卻僅僅為用戶提供“按主要供應商查詢的功能”,即是一個不自洽。軟體自恰和需求無關,沒有任何需求的情況下,一樣可以檢查系統的自洽性。自洽性是測試的一個基本工具。今天的軟體自洽,但是隨著新的需求的引入,一定會打破原來的自洽,引入新一輪的自洽過程,從而進入新一級的自洽。

相關詞條

相關搜尋

熱門詞條

聯絡我們