首页 >
哥德尔完备性定理
✍ dations ◷ 2025-04-03 13:24:35 #哥德尔完备性定理
哥德尔完备性定理是数理逻辑中重要的定理,在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明的”意味着有着这个公式的形式演绎。这种形式演绎是步骤的有限列表,其中每个步骤要么涉及公理要么通过基本推理规则从前面的步骤获得。给定这样一种演绎,它的每个步骤的正确性可以在算法上检验(比如通过计算机或手工)。如果一个公式在这个公式的语言的所有模型中都为真,它就被称为“逻辑上有效”的。为了形式的陈述哥德尔完备性定理,你必须定义这个上下文中词语“模型”的意义。这是模型论的基本定义。在另一个方向上,哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”,在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。完备性的逆命题是“可靠性”。一阶谓词演算的实情是可靠的,就是说,只有逻辑上有效的陈述可以在一阶逻辑中证明,这是可靠性定理断言的。处理在不同的模型中什么为真的数理逻辑分支叫做模型论。研究在特定形式系统中什么为可以形式证明的分支叫做证明论。完备性定理建立了在这两个分支之间的基本联系。给出了在语义和语形之间的连接。但完备性定理不应当被误解为消除了在这两个概念之间的区别;事实上另一个著名的结果哥德尔不完备定理,证实了对“在数学中什么是形式证明可以完成的”有着固有的限制。不完备定理的名声与另一种意义的“完备”有关,参见模型论。更一般版本的哥德尔完备性定理成立。它声称对于任何一阶理论T和在这个理论中的任何句子S,有一个S的自T的形式演绎,当且仅当S被T的所有模型满足。这个更一般的定理被隐含使用,例如,在一个句子被证实可以用群论的公理证明的时候,通过考虑一个任意的群并证实这个句子被这个群所满足。完备性定理是一阶逻辑的中心性质,不在所有逻辑中成立。比如二阶逻辑就没有完备性定理。完备性定理等价于超滤子引理,它是弱形式的选择公理,在不带有选择公理的策梅洛-弗兰克尔集合论中有着等价的可证明性。对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。在现代逻辑课本中,哥德尔完备性定理通常使用Leon Henkin的证明而不是哥德尔最初的证明。
相关
- 黑碳黑碳(Black carbon)是一种悬浮粒子,源自于含碳物质(主要是石油、煤、木炭、树木、柴草、塑料垃圾、动物粪便等)不完全燃烧和氧化形成的产物。在扫描电镜下观察,黑碳呈现出亚微米级
- 听觉障碍听觉障碍(英语:Hearing loss)又称听力缺损,指听觉部分或完全丧失,而耳聋人士则是指完全没有或几乎没有听力者。听力缺损可能发生在单耳或双耳,有可能是暂时或永久性质。孩童的听力
- 半合成"半合成"指以从来自于动物、植物或微生物的天然产物为起始原料合成最终产物的化学合成方法。所需原料通常已具备最终产物的基本骨架及其多数官能团,甚至已具备最终产物所需的
- 抗高血压药抗高血压药(英文:Anti-hypertensives)肼屈嗪 米诺地尔 硝普钠含羧基类: 依那普利# • 雷米普利 • 喹那普利 • 培哚普利 • 赖诺普利 • 贝那普利含次膦酸基类: 福辛普利 其
- 塑胶添加剂为了使生产的塑料符合要求的一些特性、符合经济的需求,一定都会加入或多或少‘添加剂’。塑料添加剂有很多种,有润滑剂、氧化防止剂、热稳定剂、强化剂等等。部分原料必须加入
- 限医生处方 (S4)《药物和毒物的统一调度标准》(英语:Standard for the Uniform Scheduling of Medicines and Poisons,SUSMP)是澳大利亚政府药物管理局(英语:Therapeutic Goods Administration)出
- 钛3d2 4s22, 8, 10, 2蒸气压第一:658.8 kJ·mol−1 第二:1309.8 kJ·mol−1 第三:2652.5 kJ·mol−1 (主条目:钛的同位素钛是化学元素,化学符号Ti,原子序数22,是银白色过渡金属,其
- 自然主义自然主义通常是指综合唯物主义和实用主义、不探究自然界中超自然因素的哲学立场,其理论基础认为所有现象皆可用自然理由的概念解释。自然主义不一定认为超自然现象和对于不存
- 冷漠冷漠或无情指缺乏情感、兴趣及关切之心。冷漠的人保持着冷淡的态度,或会抑压着担忧、兴奋、动机及或激情,并失去对生命以及世界在情感、社会、灵性、哲理和实质的关心和兴趣。
- 不及物动词不及物动词(又叫自动词)与及物动词相反,在不及物动词之后不直接支配受词。(也就是说,在主宾格语言比如说德语中不支配宾语)。及物动词和不及物动词的区别在于所带的宾语不同。不