哥德尔完备性定理

✍ dations ◷ 2025-02-23 07:26:27 #哥德尔完备性定理

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

相关

逆转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
维生素缺乏症维生素缺乏症（英文：Avitaminosis）是由维生素缺乏或者代谢转化（例如色氨酸转烟酸过程）缺损所引起的一系列慢性或长期的疾病，这类疾病根据与其有关的维生素的字母进行定名。与此相反
刺胞动物门刺胞动物门（拉丁学名：Cnidaria；/naɪˈdɛəriə/），旧名腔肠动物门，又名刺丝胞动物门、刺细胞动物门，是一个包含有超过2万多个动物物种的门，皆为生活于水中（包括淡、海水或其他咸水
唾液唾液（亦称口涎、口水）是动物口腔内唾液腺分泌的无色且稀薄的液体，其在食物的消化过程中起到十分关键的作用。唾液主要由腮腺（英语：parotid gland）（英语：parotid gland）、颌下腺（英语：su
两性霉素B两性霉素B（英语：Amphotericin B，商品名：Fungizone），一种具有抑菌或杀菌作用的抗霉菌剂。对新生隐球菌、白色念珠菌、组织胞浆菌、球孢子菌、酿母菌均具抑制作用。其所产生的药效端
库拉索面积以下资讯是以2017年1月估计国家领袖国内生产总值（购买力平价）以下资讯是以2012估计国内生产总值（国际汇率）以下资讯是以]]估计人类发展指数以下资讯是以2012估计立国历史
肥害肥害是由于肥料配制不当，加入过量氮肥或腐熟不充分的有机肥，或根外追肥浓度过高而引起的，使土壤产生盐渍化。
维京时代北方日耳曼人从公元790年开始扩张，直到公元1066年丹麦人的后裔征服英格兰，一般称之为“维京时代”，是欧洲古典时代和中世纪之间的过渡时期。维京人是著名的航海家，他们在昔德兰
阿尔茨海默病阿尔茨海默病（拉丁语：Morbus Alzheimer、德语：Alzheimer-Krankheit、英语：Alzheimer's disease，缩写：AD），俗称早老性痴呆、老年痴呆，是一种发病进程缓慢、随着时间不断恶化的神经退化
反复反复流产（recurrent miscarriage）是指两次或两次以上连续流产，过去称为习惯性流产（habitual abortion），而在医学研究中较常使用复发性流产（recurrent pregnancy loss 或 RPL）。造成