极道
·
为什么数学证明是一种社会契约？
💡
原文中文，约2300字，阅读约需6分钟。
📝
内容提要
数学证明是通过逻辑步骤验证陈述正确性。验证基于观点和社区标准。数学中的范式变化是例子。数学证明是作者与数学社区协议。数学的危险在于忽视重要性。
🎯
关键要点
- 数学证明通过逻辑步骤验证陈述的正确性。
- 验证依赖于不同的观点和社区标准。
- 数学的客观性受到社会范式的影响。
- 范式变化的例子包括微积分的发展。
- 数学证明是一种作者与数学社区之间的协议。
- 亚里士多德提出的演绎系统是数学证明的基础。
- 公理系统存在悖论和问题，导致新的数学系统的探索。
- 希尔伯特提出不应预设公理的观点，允许多种公理体系。
- 哥德尔证明了某些陈述无法从公理中证明，揭示了数学的局限性。
- 数学的危险在于忽视不易表达的概念。
➡️
