例子 在狭义相对论中,假定K'系相对于K系以速度V运动,则K系相对于K'系的速度为-V。为什么一定是-V呢?直观上当然如此,相对性原理的假设只是说物理定律的平权,并未假定相对速度的大小相等。不过,当后再影面推出速度变换公式来的时候,值确实是-V,就像经典力学中伽利略变换公式得出的-V一样。它们都是自洽的。自洽性会加强我们对理论的信心,然樱蜜酷故后等着实验来验证。 逻辑自洽 简单地说就是按照自身的逻辑推演的话,自己可以证明自己本身至少不是矛盾或者错误的,这就是简单的自洽性。科学研究本身就是遵循自洽性的,建立于客观基承院记础达归照上,反之则建立于主观之上,最终归属不可证伪与证明,一个不能够满足自洽性的理论或者方法显然是不攻自破的。 软件自洽 所谓自洽:“某个理论体系或者数学模型的内在逻辑一致,不含悖论”。转移到计算机软件,我对它的定义为“一个计算机软件腊煮协懂,在各个模块,各个函数,各个功能之循炒妹间对相同问题,没有不同的看法”。比如我们的软件中包含了供应商,和主要供应商,如果在采购时允许用户对同一个商品有多个供应商酷享趋,可是在查询的时候,却仅仅为用户提供“按主要供应商查询的功能”,即是一个不自洽。软件自恰和需求无关,没有任何需求的情况下,一样可以检查系统的自洽性。自洽性是测试的一个基本工具。今天的软件自洽,但是随着新的需求的引入,一定会打破原来的自洽,引入新一轮的自洽过程,从而进入新一级的自洽。