本文探讨了选择公理的计算实质，旨在用可实现性语义以通俗的语言解释其直觉。文章对比了构造性观点和经典观点，并通过一个证明说明了选择公理的效用，该证明表明有理数可以用分子和分母函数表示。作者指出，这个证明是非构造性的，因为选择公理没有指明如何选择分子，不像使用最简分数形式的构造性方法。 AI
影响 探讨了与可计算性和逻辑相关的基础数学概念，这些概念是AI发展的基础。
排序理由 该条目是一篇讨论数学概念的博客文章，而非主要研究发布或重要的行业事件。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
<p><i><span>This post is also available on </span></i><a href="https://tailcalled.substack.com/p/what-is-the-computational-substance" rel="noreferrer"><i><span>my Substack</span></i></a><i><span>.</span></i></p><p><span>I feel like online discussions of the axiom of choice either…