不可判定的命题

…正式的数学系统将包含不可判定的propositions-propositions可以既不证实也不反驳了。教堂和图灵,而寻求决定theoremhood算法(机械)测试,因此可能删除nontheorems,独立证明,早在1936年,这样的计算方法为一阶谓词逻辑是不可能的(看到逻辑、历史…

可能绝无错误的认识无法判定propositions-i.e…工具。那些数学陈述,在一个给定的正式的公理系统,不能证明是真或假。(Kurt数学家哥德尔已经证明了这些不可判定的命题存在于任何系统强大到足以包含算术。)图灵相反证明,有…