可判定性

…到达锋利的可判定性的概念。从某种意义上说,可判定性是一个属性集(句子):主题(或没有)的机械方法,决定在一个有限数目的步骤,对于任何给定形式系统的封闭的句子(如N),是否…

…这类问题是不可判定的特别提示。一旦机械过程结晶的概念,它是相对容易找到绝对无法解决的problems-e.g。停止的问题,要求每一个图灵机的问题是否会停止,开始一个空白的磁带。在其他…

…这是一致的、完整的、可决定的。“一致”希尔伯特意味着它应该不可能派生出声明及其否定;“完成”,每一个适当的书面声明中都应该这样,要么它或它的否定是可诱导的公理;通过“可决定的,“一个人应该有…

(这就是所谓的可判定性)…一个定理吗?含蓄地提出了这些问题的大卫希尔伯特(1862 - 1943)- 1900,解决后,Austrian-American完整性的逻辑学家库尔特·哥德尔(1906 - 78)和可判定性由美国逻辑学家西德尼教堂(1903 - 95)。

…(一个句子被称为不可判定的),(2)没有算法(或迭代过程)决定是否一个句子ZFC的定理,和(3)这些语句保持任何一致的理论结果进一步添加的ZFC公理或公理模式。显然ZFC可以…

…,LPC的不是可决定的系统。这并不意味着永远不可能证明给定wff LPC的有效性的一个无限数量的此类wffs事实上可以demonstrated-but它意味着在LPC的的情况下,与…

规则统一替换谓词结石,虽然可公式化的,大多是非常复杂的,,为了避免这些规则的必要性,因此公理为这些系统通常由公理图式在前面解释的意义(见上图公理化的PC)。鉴于形成规则和定义所…

…系统是可决定的。(即使是一个二元谓词变量的引入,然而,将使系统不可判定的,并且,事实上,即使是只包含一个二元谓词的系统变量和任何其他谓词变量已被证明是不可判定的。)b。仍然…

…就像LPC的本身是一个不可判定的系统。

据说…可决定的。对其他系统它可以证明没有决策过程是可能的;这样一个系统的决策问题是无法解决的,说系统是不可判定的。