物极必反,数学亦如是 |
| |
作者姓名: | 吴伟 |
| |
摘 要: | 哥德尔定理让我们看到数学演绎推理的局限性.但是,数学本身又能通过推理论证自己的局限,这就显示了数学的力量.存在着在形式推理范围内不可证明的真命题,其实也没有什么不得了的.人类对事物规律的认识是不断深入、逐步推进的,在形式系统内不可证的命题,也许可以在系统之外——在更大的系统之内求证.比方说,如果我们知道哥德巴赫猜想在现在的算术系统里是不能被证明也不能
|
关 键 词: | 数学 哥德尔定理 协调性 形式系统 算术系统 绝对真理 可证明 力量 认识 相对真理 |
本文献已被 CNKI 等数据库收录! |
|