哥德尔对其自身形式推理的解释中两个经典上可质疑的预设
综合数学
2007-05-23 v1
摘要
关于哥德尔 1931 年关于不可判定算术命题的论文的标准阐述，基于哥德尔 1931 年对其自身形式推理的解释中的两个预设——分别在定理 VI 和定理 XI 中各有一个——它们不满足哥德尔明确表述的关于经典构造性且直觉主义上无可质疑的推理的要求。我们考察这些异议如何得以解决，并指出若干后果。
引用
@article{arxiv.math/0703723,
title = {Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0703723},
year = {2007}
}
备注
26 pages; an HTML version is available at http://alixcomsi.com/Two_Presumptions.htm