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