摘要：通过在经典数学中构造性地定义经典基础概念，并引入非算法型有效方法，我们可以弥合真理与可证明性之间的鸿沟，并定义不是图灵计算的计算方法。
作者：Bhupinder Singh Anand
论文ID：math/0304379
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中