[论文解读] Axiomatizing mathematical conceptualism in third order arithmetic

Nik Weaver|ArXiv.org|May 11, 2009

Mathematical and Theoretical Analysis参考文献 10被引用 6

一句话总结

本文在三阶算术中对数学概念主义进行了形式化公理化，提供了一种构造性、反柏拉图主义的主流数学基础，避免了集合论的形而上学过度。它表明，泛函分析中的核心结果——如对偶单位球的弱*紧致性与戈德斯通定理——可使用直觉逻辑和超限构造加以证明，显示标准数学可在不假设完成无限集的前提下发展。

ABSTRACT

We review the philosophical framework of mathematical conceptualism as an alternative to set-theoretic foundations and show how mainstream mathematics can be developed on this basis. The paper includes an explicit axiomatization of the basic principles of conceptualism in a formal system CM set in the language of third order arithmetic.

研究动机与目标

• 通过揭示集合论在哲学上的缺陷及其对主流数学的实际无关性，挑战其作为数学基础的主导地位。
• 发展一个基于数学概念主义的正式系统CM，仅接受可构造的数学对象，即使其长度为超限。
• 证明泛函分析中的核心结果——如弱*紧致性与戈德斯通定理——可在该框架中证明，而无需假设完成的无限集。
• 表明直觉逻辑与可数稠密子集足以支持关键定理，避免依赖非可分或不可数构造。
• 主张实直线及其他不可数结构在概念主义中仅部分可实现，应被视为‘未完成’而非已完成。

提出的方法

• 在三阶算术语言中构建一个正式系统CM，基于数学概念主义作为布迪卡普主义的改进。
• 允许超限构造，容许构造单个实数（例如作为戴德金分割），但不允许将整个实直线作为完成对象构造。
• 在对所有实数进行量词界定时使用直觉逻辑，以反映不可数结构的不完整、未完成性质。
• 利用巴拿赫空间的可分性，将量词限制在可数稠密子集上，以确保上确界与下确界可构造性地存在。
• 弱*紧致性的证明使用对空间中泛函序列的对角化，仅依赖于在空间的可数稠密子集上的收敛性。
• 将戈德斯通定理重新表述为聚焦于第二对偶空间中单个元素能否被原空间中的元素弱*逼近，避免构造完整的第二对偶空间。

实验结果

研究问题

• RQ1 主流数学能否在不依赖集合论全部力量（特别是幂集公理）的前提下发展？
• RQ2 在一种构造性、反柏拉图主义的框架中，多大程度上可形式化泛函分析，且避免完成无限集的假设？
• RQ3 在一个拒绝其完成在形而上学上合法性的基础系统中，实直线及其他不可数结构应如何处理？
• RQ4 关键定理如弱*紧致性与戈德斯通定理能否仅通过可数、可构造对象与直觉逻辑加以证明？
• RQ5 可分性与稠密子空间在促成概念主义数学中的构造性证明中起什么作用？

主要发现

• 任何可分巴拿赫空间的对偶空间中的闭单位球在弱*拓扑下是序列紧的，该结论可在CM中通过在可数稠密子集上使用对角化方法证明。
• 戈德斯通定理可在CM中通过重新表述为关注第二对偶空间中单个元素能否被原空间中的元素弱*逼近而得以证明。
• CM中戈德斯通定理的证明依赖于在R^n中使用分离论证，通过一个线性泛函与泛函φ的范数界矛盾，假设不存在合适的x。
• 系统CM不允许构造非可分空间的第二对偶，但当E'可分时，仍可对E''中的单个元素进行推理。
• 实直线被视为一个未完成、不完全可实现的结构，与直觉逻辑及超限构造原则一致。
• 在对实数进行量词界定时使用直觉逻辑，反映了概念主义观点：不可数结构不可被全面审视或完全构造。