关于“哥德尔的不完全性定理”的讨论 - 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)»

所以我对他不重视“证明”的特殊地位感到震惊，我担心在他阐述形式证明的第二章中，他把“证明”和“公式”混为一谈，失去了“证明”这个研究对象，并造成了认知上的偏差。

我希望在解读第二章时能澄清我的疑惑。