数学中的本体论简约性
**数学中的本体论简约性**
1. **基本概念引入**
本体论简约性(又称“奥卡姆剃刀原则”在数学哲学中的应用)指在数学理论构建中,倾向于选择所需实体种类和数量更少的本体论框架。例如,在定义自然数时,若仅依赖集合论的空集与后继运算(如冯·诺依曼编码)即可构造所有自然数,则比假设自然数为独立存在的抽象对象更为简约。其核心主张是:若多个理论在解释力上等效,则实体更少的理论更优。
2. **历史渊源与哲学基础**
这一思想根植于中世纪哲学家奥卡姆的威廉提出的“如无必要,勿增实
2025-10-31 19:11:58
0