实体
axiom of choice
axiom of choice
PulseAugur coverage of axiom of choice — every cluster mentioning axiom of choice across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
选择公理：计算实质与构造性证明的探讨
本文探讨了选择公理的计算实质，旨在用可实现性语义以通俗的语言解释其直觉。文章对比了构造性观点和经典观点，并通过一个证明说明了选择公理的效用，该证明表明有理数可以用分子和分母函数表示。作者指出，这个证明是非构造性的，因为选择公理没有指明如何选择分子，不像使用最简分数形式的构造性方法。
-
新研究量化了选择公理对人工智能证明助手的几何影响
研究人员开发了一种方法，使用 Lean 4 在数学证明中测量选择公理的几何影响。通过分析 Mathlib 中超过 470,000 个声明，他们识别出一种可衡量的几何相关性，该相关性会影响神经定理证明器。这种几何特征随着证明远离选择公理而显示出下降趋势，与经典证明相比，构造性证明对自动证明器来说更容易解决。