哥德尔完备性定理

✍ dations ◷ 2024-11-05 14:57:49 #哥德尔完备性定理

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

相关

矿物质矿物质，又称为无机盐，除了碳、氢、氮和氧之外，也是生物必需的化学元素之一，也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素，约占人体体重的4.4%。它们可以
心衰竭心脏衰竭（法语：Insuffisance cardiaque，英语：HF, heart failure），一般意指慢性心脏衰竭（英语：CHF, chronic heart failure）。但是有时则指郁血性心力衰竭（congestive heart failure），当
纤毛虫门纤毛虫是纤毛虫门（学名：Ciliophora）生物的通称，是一类较复杂的原生动物，主要特点是以纤毛作为运动器，细胞核一般分化出大核（营养）、小核（生殖）、摄食胞器等，无性生殖为横二分裂，有性生殖
Bh5f14 6d5 7s2（计算值）2, 8, 18, 32, 32, 13, 2 （预测）第一：742.9（估值） kJ·mol−1 第二：1688.5（估值） kJ·mol−1 第三：2566.5（估值） kJ·mol−1 （主条目：
保养品医学美容保养品（cosmeceutical）是指介于化妆品（cosmetic）、美容品与药品（pharmaceutical）之间，能够调整肤况却不会改变生理结构的产品，由于有临床实验数据与医学期刊发表论文作为研
鸟胺酸鸟氨酸（英语：Ornithine）是一种α-氨基酸，其结构为NH2-CH2-CH2-CH2-CHNH2-COOH。鸟氨酸是精氨酸酶在催化精氨酸产生尿素时同时产生。因此，鸟氨酸是尿素循环的中央部分，以排出多余的
漱口药水漱口水，又称为口腔漱洗液，是口腔卫生产品，具有杀除微生物牙垢的功能，并防止由其引起的龋齿、齿龈炎和口臭的功效。防蛀漱洗液通过使用氟化物，从而保护牙齿并防止龋齿。漱口水也有
生态系统理论生态系统理论（Ecological Systems Theory），有时也被称作背景发展理论或者人际生态理论，将人际关系分成了四套依次层叠的环境系统。这些系统彼此之间又相互影响。该理论由尤里·
狄俄尼索斯·特拉克斯狄俄尼索斯·特拉克斯（希腊语：Διονύσιος ὁ Θρᾷξ，前170年－前90年），是生活于希腊化时期的一位语法学家，被一些人认为曾经在亚历山大里亚生活过，之后到罗得岛生活。西方
语文语文，包括语和文，即口头语和书面语。中国大陆学校的汉民族语文科目通常被称为语文。日常生活中，语跟文两字并无严格指口头语及书面语而混用之，如英语说明书，中文报导等。清末1904