柳渝
关于“哥德尔的不完全性定理”的讨论(9)
2022-5-25 22:53
阅读:978

关于哥德尔的不完全性定理的讨论 - 2022/4/30 

 

柳渝:


对我来说,沟通不仅仅是文字或信息,而是生命能量的深度互动,这就是为什么我喜欢我们目前的讨论!

正如我在讨论开始时建议的那样,目前最重要的是倾听哥德尔说的话,这样我们的讨论才有建设性,才不会浪费我们宝贵的精力。

因此,我继续提问,哥德尔的证明有两个要点:

1. PA中存在"不可判定的问题"

2. 比如,说自己是不可证明的命题。

如果我们接受哥德尔的证明,我们能否在PA中给出这样一个 "不可判定的问题 "的具体例子,即一个说自己可证明性的命题?

Druuh:


我们能不能在PA中举出这样一个不可判定的问题的具体例子,也就是一个讲究可证明的命题?”是的,绝对的,它是我通过邮件发给你的文本中的命题epsilon(a)!

柳渝:

@Druuh 当你有空时,你能用大家都能理解的术语解释这个ε(a)命题吗?我想这样的解释对推进我们的讨论会有很大的帮助!


转载本文请联系原作者获取授权,同时请注明本文来自柳渝科学网博客。

链接地址:https://wap.sciencenet.cn/blog-2322490-1340221.html?mobile=1

收藏

分享到:

当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论
确定删除指定的回复吗?
确定删除本博文吗?