关于“哥德尔的不完全性定理”的讨论(7)
2022-5-25 21:50
阅读:1424
关于“哥德尔的不完全性定理”的讨论 - 2022/4/26 - 27
Druuh:
我重复了对你文章的一个评论: “然而,哥德尔以惊人的轻率提出了这样一个主张:’同样,从形式的角度来看,证明只不过是公式的有限序列(具有某些可指定的属性) ’ ”。
为什么你会觉得哥德尔说证明是一个有限的公式序列很奇怪?
柳渝:
@Druuh 哥德尔论文的标题是 « On Formally Undecidable Propositions of Principia Mathematica and Related Systems I »,但在其论文的第一章中,哥德尔介绍他的证明思想,说:
« Similarly, proofs, from a formal point of view, are nothing but finite sequences of formulae (with certain specifiable properties)»
所以我对他不重视“证明”的特殊地位感到震惊,我担心在他阐述形式证明的第二章中,他把“证明”和“公式”混为一谈,失去了“证明”这个研究对象,并造成了认知上的偏差。
我希望在解读第二章时能澄清我的疑惑。
转载本文请联系原作者获取授权,同时请注明本文来自柳渝科学网博客。
链接地址:https://wap.sciencenet.cn/blog-2322490-1340211.html?mobile=1
收藏
当前推荐数:2
推荐到博客首页
网友评论0 条评论