首页 >
哥德尔完备性定理
✍ dations ◷ 2025-05-15 08:07:27 #哥德尔完备性定理
哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明的”意味着有着这个公式的形式演绎。这种形式演绎是步骤的有限列表，其中每个步骤要么涉及公理要么通过基本推理规则从前面的步骤获得。给定这样一种演绎，它的每个步骤的正确性可以在算法上检验（比如通过计算机或手工）。如果一个公式在这个公式的语言的所有模型中都为真，它就被称为“逻辑上有效”的。为了形式的陈述哥德尔完备性定理，你必须定义这个上下文中词语“模型”的意义。这是模型论的基本定义。在另一个方向上，哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”，在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。完备性的逆命题是“可靠性”。一阶谓词演算的实情是可靠的，就是说，只有逻辑上有效的陈述可以在一阶逻辑中证明，这是可靠性定理断言的。处理在不同的模型中什么为真的数理逻辑分支叫做模型论。研究在特定形式系统中什么为可以形式证明的分支叫做证明论。完备性定理建立了在这两个分支之间的基本联系。给出了在语义和语形之间的连接。但完备性定理不应当被误解为消除了在这两个概念之间的区别；事实上另一个著名的结果哥德尔不完备定理，证实了对“在数学中什么是形式证明可以完成的”有着固有的限制。不完备定理的名声与另一种意义的“完备”有关，参见模型论。更一般版本的哥德尔完备性定理成立。它声称对于任何一阶理论T和在这个理论中的任何句子S，有一个S的自T的形式演绎，当且仅当S被T的所有模型满足。这个更一般的定理被隐含使用，例如，在一个句子被证实可以用群论的公理证明的时候，通过考虑一个任意的群并证实这个句子被这个群所满足。完备性定理是一阶逻辑的中心性质，不在所有逻辑中成立。比如二阶逻辑就没有完备性定理。完备性定理等价于超滤子引理，它是弱形式的选择公理，在不带有选择公理的策梅洛-弗兰克尔集合论中有着等价的可证明性。对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。在现代逻辑课本中，哥德尔完备性定理通常使用Leon Henkin的证明而不是哥德尔最初的证明。
相关
- 心脏外科学心脏外科，指外科医师在心脏、主动脉或血管上进行手术。通常包括心脏移植(换心)、先天性心脏病外科、瓣膜病外科、冠心病外科、大血管外科。以治疗缺血性心脏病（可利用冠状动脉
- 精液精液（英è¯ï¼šSemen），闽å—è¯ã€æ½®æ±•è¯å«åšâ€œæ½²â€ï¼ˆè¯»éŸ³ï¼šsiâu），而
- 胸腔医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学呼吸医学为探讨呼吸器官疾病之一门学
- 副粘液病毒亚科副黏液病毒亚科（Paramyxovirinae），属于副黏液病毒科，包括：
- CXCL11MGS, 1MSG, 1MSH, 1ROD· chemokine activity · enzyme activator activity· inflammatory response · immune response · signal transduction · G-protein coup
- 风险评估风险评估（英文：Risk Assessment），是风险管理的一个重要过程。风险管理国际标准ISO 31000（英语：ISO 31000）定义风险评估的过程为：风险评估是风险识别、风险分析及风险评价的全过程。
- 弱碱布朗斯特-劳里酸碱理论中，弱碱指在水溶液中不完全电离的碱，意即质子化反应不完全。一般碱的pH值范围为7~14，其中7为中性，14则为强碱性，可通过以下公式计算：相对强碱而言，弱碱从水分
- 交通工具载具指载运工具，也称交通工具，是指使用于人或货物运输的设备。本身不产生位移的传送带或非人造的某些水面漂浮物都不能称为“载具”。为上述目的以人的意志为驱使的动物和人本
- 话题优先语言相较于英语等主语优先语言（Subject-Prominent Language），语言学里所谓话题优先语言（Topic-Prominent Language）会通过语法来表达句中的主题和谓语——亦即主题和描述文，相对不受主
- 不定词在语法中，动词不定式（又称不定词）是动词的一种不带词形变化从而不指示人称、数量、时态的形式。它叫做不定式，是因为动词不受限定，或者说不为词形变化所局限。不定式属于非谓语动
