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

柳渝：

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

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

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

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

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

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

Druuh：

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

柳渝：

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