哥德尔完备性定理

✍ dations ◷ 2025-01-23 02:20:47 #哥德尔完备性定理

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

相关

结节病结节病（英文：Sarcoidosis，来自单词sarc，“肉体”的意思，并加上后缀-oid表示“像..似的”或“有质量的”，与后缀-osis,“疾病或非正常情况”的意思）英文中有时也被叫做sarcoid（简称），贝
流体静力学流体静力学（Hydrostatics）是连续介质力学的分支学科流体力学的子学科。流体静力学研究流体（诸如气体和液体）静止时的现象以及相关力学行为的科学。这样的现象和行为可以用数学表
爱德华·金纳爱德华·詹纳（英文：Edward Jenner，1749年5月17日－1823年1月26日），FRS，亦译作爱德华·金纳或琴纳，是一名英国医生，生于英国告罗士打郡伯克利牧区一个牧师家庭，以研究及推广牛痘疫苗，防止
哥伦比亚河哥伦比亚河（英语：Columbia River），位于北美太平洋西北地区，全长2,044公里，流域面积415,211平方公里，平均流量每秒7,500立方米。哥伦比亚河起源于洛矶山脉在加拿大不列颠哥伦比亚内
新墨西哥州新墨西哥州（纳瓦霍语：Yootó Hahoodzo；英语：New Mexico；西班牙语：Nuevo México），简称新墨州，是美国西南方的一州，它曾是墨西哥的一省。该州有许多西班牙裔的居民，亦有不少的美国原住民
性传染病性感染疾病（英语：Sexually transmitted infections, STI），又称性病（英语：Venereal Disease, VD）或花柳病，描述因性行为（指阴道性行为、肛交和口交）而传播的疾病。大多数的性感染疾病一
红统府红统府（泰语：จังหวัดอ่างทอง，皇家转写：Changwat Ang Thong，泰语发音：）是泰国中部的一个府。红统府以前称“威社猜餐城”，为大城府的前哨城市，以后在大城时代迁都至昭拍
线形文字A线形文字A是一种古代克里特岛上使用的未解读文字。它的破解是考古学上的“圣杯”。它的一种关联文字，线形文字B于1950年被迈克尔·文特里斯破译，证明其为希腊语的一种古代书写
印刷体印刷体，指印刷时用的字体或类似印刷时用的字体。英文印刷体有Times New Roman等，中文印刷体有宋体等。印刷体横平竖直，字符框架搭得很规范。印刷体主要分为衬线体和非衬线体两
语音组合法语音组合法(Phonotactics)是音系学的其中一个分支，研究在某一种语言中的语音组合法则。举例说，在普通话里，/j/、/q/、及/x/之后只能跟 /i/和/ü/，而不能跟 /a/、/o/或/e/等韵母；