分类: 思 |
自洽性即逻辑自洽性和概念、观点等的前后一贯性,首先是指建构一个科学理论的若干个基本假设之间,基本假设和由这些基本假设逻辑地导出的一系列结论之间,各个结论之间必须是相容的,不相互矛盾的。逻辑自洽性也要求建构理论过程中的所有逻辑推理和数学演算正确无误。逻辑自洽性是一个理论能够成立的必备条件。
哥德尔不完全性定理,证明任何一个数学知识体系不可能同时具有完备性和自洽性。也就是说,你这个理论要是没有内部矛盾的话,就注定有些命题在其中无法证明,既不能证实也不能证伪。
哥德尔不完全性定理,证明任何一个数学知识体系不可能同时具有完备性和自洽性。也就是说,你这个理论要是没有内部矛盾的话,就注定有些命题在其中无法证明,既不能证实也不能证伪。