哥德尔完备性定理

✍ dations ◷ 2024-07-03 02:09:05 #哥德尔完备性定理

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

相关

词汇学词汇学（英语：lexicology）是以语言的词汇为研究对象，研究词汇的起源和发展、词的构造、构成及规范，词汇学分为：从广义讲，词汇学还包括词源学、语义学和词典学。
百浪多息百浪多息（拉丁语：Prontosil）是世界上第一种商品化的合成抗菌药（Synthetic Antibacterial Agent）和磺胺类药（Sulfonamide antibacterial），是由德国法本公司下属拜耳实验室的研究人员
癌癌（Carcinoma），有翻译为恶性上皮细胞肿瘤，是癌症的一种。在医学上专指由上皮组织来源的恶性肿瘤，其它由结缔组织来源的恶性肿瘤只称作恶性肿瘤，如：肌肉或骨骼的恶性肉瘤（Sarcoma）、黑
无法理解别人的话感觉性失语症，又被称为韦尼克氏失语症，流畅失语症，或接受性失语症。此类患者有语言理解障碍，患者的阅读能力或了解他人谈话内容的能力低下。虽然患者能够说初具语法、速
Os4f14 5d6 6s22, 8, 18, 32, 14, 2蒸气压第一：840 kJ·mol−1 第二：1600 kJ·mol主条目：锇的同位素锇（Osmium，旧译作銤、鐭）是一种化学元素，符号为Os，原子序为76。锇金属坚硬、易
拉丁非洲拉丁非洲（法语：Afrique latine，葡萄牙语：África Latina）或罗曼语非洲指的是官方语言或主要语言属于罗曼语族，受拉丁文化（法语：Culture latine）影响的非洲国家和地区，这些国家或地区有
温带季风温带季风气候是一种分布于亚欧大陆东部的气候类型。温带季风气候分布于亚欧大陆的温带东部，具体在秦岭淮河以北、大兴安岭——阴山——贺兰山以东以南、日本关东以北，包括华北
失聪听觉障碍（英语：Hearing loss）又称听力缺损，指听觉部分或完全丧失，而耳聋人士则是指完全没有或几乎没有听力者。听力缺损可能发生在单耳或双耳，有可能是暂时或永久性质。孩童的听力
布鲁氏杆菌病布鲁氏杆菌病，又名地中海弛张热、马耳他热、波浪热(undulant fever)、波状热，是一种人畜共通传染病，由布鲁氏杆菌属（英语：Brucella）引致。这种细菌可寄宿绵羊、山羊、猪和牛等动物
约翰·罗杰斯·希尔勒约翰·罗杰斯·希尔勒（又译作约翰·罗杰斯·塞尔；John Rogers Searle，1932年7月31日－），出生于美国丹佛。是一位在加州大学伯克利分校执教的哲学教授。他对语言哲学、心灵哲学和理