Provable ==可判定？

Question

在计算理论中，可证明和可判定的术语是可互换的吗？他们的意思是一样的吗？

例如，您经常会看到一个问题是否可证明是一个决策问题（Das Entscheidungsproblem）。

Answer 1

这些是不同的。事实上，他们指的是完全不同的领域。

可判定意味着，图灵机可以解决所有可能输入的决策问题，这会导致“接受”或“拒绝”。

Provable意味着数学陈述可以通过数学证明来证明。

事实上，你无法比较'decidable'和'provable'，因为这些属性指的是完全不同的东西。