极道
·
什么是数学基础？
💡
原文中文，约1600字，阅读约需4分钟。
📝
内容提要
本文探讨了集合论、范畴论和类型论三种数学基础的观点，数学基础是任何足以证明实际数学中通常被视为公理的结果的形式主义。
🎯
关键要点
- 集合论、范畴论和类型论是数学基础的三种观点。
- 数学基础的定义尚未明确，NG de Bruijn指出我们对“数学”没有可行的定义。
- 罗素悖论对19世纪的数学基础工作构成了威胁，促使对数学本质的重新思考。
- 主要有三种数学观点：柏拉图主义、形式主义和直觉主义。
- 现代数学基础的研究主要集中在范畴论和类型论，但这并不意味着它们是基础性的。
- 范畴论依赖于集合论，并引入新的类，但并未解决基本问题。
- 不同类型理论的基础性地位各异，Church的简单类型理论和AUTOMATH被认为是中立的。
- 归纳构造微积分被认为比ZF集合论强，但未提出基础主张。
- 数学基础的一致性问题在过去100年中得到了基本解决，现今对其一致性有信心。
- 数学基础是通过形式系统和集合论解决一致性和严谨性的问题。
➡️
