PulseAugur
中
实时 00:05:19
实体 Graham's number

Graham's number

PulseAugur coverage of Graham's number — every cluster mentioning Graham's number across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. COMMENTARY · CL_134640 ·

    选择公理：计算实质与构造性证明的探讨

    本文探讨了选择公理的计算实质，旨在用可实现性语义以通俗的语言解释其直觉。文章对比了构造性观点和经典观点，并通过一个证明说明了选择公理的效用，该证明表明有理数可以用分子和分母函数表示。作者指出，这个证明是非构造性的，因为选择公理没有指明如何选择分子，不像使用最简分数形式的构造性方法。