数学可靠性的来源

JUMU实名认证 发表于 2020-05-10 20:39 | 显示全部楼层 | 复制链接分享      上一主题  翻页  下一主题
8e9d7e3db9f14e859e24c17bbc7b4572.jpg


数学的可靠性来自于两个层面
一是数学理论的起点建立公理之上,公理是普遍的,经过大量实践检验的事实,因此成为数学可靠性的基础。
二是数学结论是建立在人的理性思维之上,是逻辑推演的结果,只要起点正确,逻辑推理正确,结论一定正确。
但是同时数学的可靠性也存在问题,那就是公理系统本身并不能保证自己是绝对的完美,不能宣称可以对所有命题都能证明或者明确表示其不可证明。这正是第三次数学危机之后的结论,由此看来逻辑是可靠的,但是公理却不一定绝对可靠,因为公理本身是人类有限的选择,所以公理不是绝对完美的。既然不完美,那么它的可靠性就受到了一定的限制。
数学存在和发展了几千年,他源于实践,同时也植根于人的理性。数学在人类认识世界的征途中一直是有效的,未来也一定是有效的,因为没有一个学问比数学更加追求严格,理性,可靠。

相关主题

  距米网  

找到您想要的设计

工程师、学生在线交流学习平台
关注我们

手机版- 距米网 |苏公网安备32041102000587号

© 2017-2024 常州居居米智能技术有限公司 苏ICP备18040927号-1