哥德尔完备性定理

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

相关

  • 射精射精是指精液(一般包含精子)从男性生殖道射出的过程,男性射精一般会伴随性高潮。对于男性而言,它是受到一连串性刺激后,最终会显现的现象,并是自然受精的重要一环。在部分罕有例子
  • 学者症候群学者症候群(英语:Savant syndrome)是指在某种艺术或学术上超乎常人的能力。具有这种能力的人,其天赋有多种不同形式,有演奏乐器、绘画、记忆、计算及日历运算能力。10%的自闭症儿
  • 最佳可行控制技术最佳可行控制技术(Best available control technology,简称BACT)是美国1990年净化空气法案(英语:Clean Air Act of 1990)中授权使用的污染控制标准。美国国家环境保护局决定哪些污
  • 马拿瓜马那瓜(西班牙语:Managua)是尼加拉瓜的首都及第一大城市,也是中美洲地区第二大城市。位于尼加拉瓜的西部以及尼加拉瓜第二大湖-马那瓜湖的沿岸。该城在1855年被订为尼加拉瓜的首
  • 辞职辞职是在职业上一个员工辞别自己原先的工作岗位及组织,让出其职位予新接任人。与之词意相近的是离职、退职,但不包含退休。员工离职时,要先与下一位接手之人指导其岗位职务上需
  • 分离性障碍分离性障碍(英文:dissociative disorder),是一种身份、记忆或意识的整体性扰乱。患有解离性障碍的患者缺乏对自我感(selfhood)的辨别和控制,其在时间和地点上缺乏自我在各个方面的
  • 工作贫穷工作贫穷(英语:Working poor),又称在职贫穷、穷忙族、薪贫族、勤劳贫困阶级、工作贫困阶级,是指拥有固定工作但相对贫穷(例如收入低于特定贫穷线)的人士。有别于失业者,他们虽然有得
  • 开胸验肺张海超开胸验肺事件,是指2009年河南省新密市农民工张海超为了证明自己得的是职业病尘肺病,却多方求助无门的情况下,而自己要求开胸验肺的一个惊人之举。暴露出现在中国职业病维
  • 川流在字体排印学中,川流(英语:river,或英语:river of white)是采用印欧语言之书写系统的文段在排印的过程中出现的“裂缝”,由碰巧在纵向上排列到一起的空格所组成,可能在多种情况下出