摘要：数学证明的发展八个阶段中，我们能够充分地表达经典数学概念，只有在一个真实性和可证实性都不可验证的数学语言中。本文首先展示了基于他们论点的概念可以被建设性地解释；其次，作者论证暗含的观点是，给定的图灵机在给定输入上停机的概率无法表示为戴德金德实数。
作者：Bhupinder Singh Anand
论文ID：math/0306023
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中