哥德尔完备性定理

✍ dations ◷ 2025-04-24 21:41:40 #哥德尔完备性定理
哥德尔完备性定理是数理逻辑中重要的定理,在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明的”意味着有着这个公式的形式演绎。这种形式演绎是步骤的有限列表,其中每个步骤要么涉及公理要么通过基本推理规则从前面的步骤获得。给定这样一种演绎,它的每个步骤的正确性可以在算法上检验(比如通过计算机或手工)。如果一个公式在这个公式的语言的所有模型中都为真,它就被称为“逻辑上有效”的。为了形式的陈述哥德尔完备性定理,你必须定义这个上下文中词语“模型”的意义。这是模型论的基本定义。在另一个方向上,哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”,在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。完备性的逆命题是“可靠性”。一阶谓词演算的实情是可靠的,就是说,只有逻辑上有效的陈述可以在一阶逻辑中证明,这是可靠性定理断言的。处理在不同的模型中什么为真的数理逻辑分支叫做模型论。研究在特定形式系统中什么为可以形式证明的分支叫做证明论。完备性定理建立了在这两个分支之间的基本联系。给出了在语义和语形之间的连接。但完备性定理不应当被误解为消除了在这两个概念之间的区别;事实上另一个著名的结果哥德尔不完备定理,证实了对“在数学中什么是形式证明可以完成的”有着固有的限制。不完备定理的名声与另一种意义的“完备”有关,参见模型论。更一般版本的哥德尔完备性定理成立。它声称对于任何一阶理论T和在这个理论中的任何句子S,有一个S的自T的形式演绎,当且仅当S被T的所有模型满足。这个更一般的定理被隐含使用,例如,在一个句子被证实可以用群论的公理证明的时候,通过考虑一个任意的群并证实这个句子被这个群所满足。完备性定理是一阶逻辑的中心性质,不在所有逻辑中成立。比如二阶逻辑就没有完备性定理。完备性定理等价于超滤子引理,它是弱形式的选择公理,在不带有选择公理的策梅洛-弗兰克尔集合论中有着等价的可证明性。对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。在现代逻辑课本中,哥德尔完备性定理通常使用Leon Henkin的证明而不是哥德尔最初的证明。

相关

  • 翻译翻译(英语:Translation),是蛋白质生物合成(基因表达中的一部分,基因表达还包括转录)过程中的第一步。翻译是根据遗传密码的中心法则,将成熟的信使RNA分子(由DNA通过转录而生成)中“碱
  • 洗手洗手,是为了清除尘土、污垢和微生物而清洁手的行为。洗手可以使用水、其他液体或者肥皂来完成,也可以不使用这些东西。某些地区没有自来水,人们可以打井来使用井水,也可以将雨水
  • SATC代码S(感觉器)是解剖学治疗学及化学分类系统的一个分类,这是由世界卫生组织药物统计方法整合中心(The WHO Collaborating Centre for Drug Statistics Methodology)所制定的药
  • 遗体保存技术遗体保存技术(英语:Embalming)指通过化学药物及其他科学技术的方法,将人的遗体作短期或长期保存,防止遗体腐烂。
  • 发展援助发展援助(Development aid)指以促进发展中国家的发展为目的的国际间实物资源或资金转移。一般是由发达国家提供各种援助资源。
  • 糖耐力测试糖耐力测试(Oral glucose tolerance test, OGTT)是一种测试血糖在人体内代谢水平的医学实验。具体步骤是,要求被测试对象在空腹情况下喝下75克无水葡萄糖或82.5克含一分子水的
  • 丁酸丁酸,又称酪酸,是化学式为CH3CH2CH2-COOH的羧酸和短链饱和脂肪酸,存在于腐臭的黄油、帕马森干酪、呕吐物和腋臭中。丁酸带有难闻的气味,味先辣后甜,与乙醚类似。10ppb浓度的丁酸
  • 妇女神学妇女神学是一个建立在几个不同宗教,包括:佛教、基督教、犹太教及新思想运动等的运动,旨在使用女性主义角度去反思宗教的传统、实践、经文以及神学。有些妇女神学的目的是为了提
  • 言语障碍言语障碍(Speech and language impairment),是包括听觉、说话的能力、语言能力等等沟通问题的总称。听觉问题一般会交由耳科医生处理,而语言病理学家或语言治疗师则负责诊断、治
  • 粗衬线体在字体排印学中,粗衬线体(或称埃及体)是一种衬线字体,其衬线是更粗、块状的。 衬线终端可以是钝头和棱角(Rockwell),或圆角(Courier)。粗衬线体发明于十九世纪,在十九世纪也最为流行。