什么是自洽计算
- 培训职业
- 2025-05-05 09:44:23
所谓自恰，就是：“某个理论体系或者数学模型的内在逻辑一致，不含悖论”
这一点从自洽计算的英文名self-consistent calculation也可以看出。
自洽，通常说的“形式系统相容性”：
在形式化的逻辑系统中，其相容性（或一致性、自洽）是指其中没有矛盾，或更精确地说，不存在一个命题P，P和非P都可以在这个系统中证明
所谓自恰，就是：“某个理论体系或者数学模型的内在逻辑一致，不含悖论”
这一点从自洽计算的英文名self-consistent calculation也可以看出。
自洽，通常说的“形式系统相容性”：
在形式化的逻辑系统中，其相容性（或一致性、自洽）是指其中没有矛盾，或更精确地说，不存在一个命题P，P和非P都可以在这个系统中证明
多重随机标签