哥德尔定理-第2章

按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！


的结果。就拿语言（指形式上的）来说，完全可以转化为有限公理和一定规则下的符号逻辑系统，也就是一种符合定理条件的形式公理系统。该定理恰恰说明，这样的系统中不完备，存在不能用该系统证实的命题，对于这个系统来说，就是语言对思维的表达不完全，也就是我们常说的“只可意会，不可言传”。这也与我们经常感觉到的“辞不达意”是相吻合的，任何形式上的语言都不能完全准确的表达我们的思想。还有另一个事实也说明这点，就是翻译。文对文的形式语言翻译虽然不难，可是如实地表达原来语言中的准确蕴义就非常难了，甚至可以说是不可能的事情。如果能证明人类的思维也可以转化为这样的形式公理系统，那人脑也一定受哥德尔定理的限制。