不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道

博文

关于“哥德尔的不完全性定理”的讨论(7)

已有 890 次阅读 2022-5-25 21:50 |个人分类:解读哥德尔不完全性定理|系统分类:观点评述

关于哥德尔的不完全性定理的讨论 - 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://blog.sciencenet.cn/blog-2322490-1340211.html

上一篇:关于“哥德尔的不完全性定理”的讨论(6)
下一篇:关于“哥德尔的不完全性定理”的讨论(8)

2 吴国林 杨正瓴

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-7-3 07:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部