数理逻辑

✍ dations ◷ 2025-10-28 19:48:08 #数理逻辑

数理逻辑(英:Mathematical logic)是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。“数理逻辑”的名称由皮亚诺首先给出，他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学，但从记号学的观点来讲，它是用抽象代数来记述的。某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试，比如说莱布尼兹和朗伯（Johann Heinrich Lambert）；但他们的工作鲜为人知，后继无人。直到19世纪中叶，乔治·布尔和其后的奥古斯都·德·摩根才提出了一种处理逻辑问题的系统性的数学方法（当然不是定量性的）。亚里士多德以来的传统逻辑得到改革和完成，由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论，但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。传统的逻辑研究（参见逻辑论题列表）较偏重于“论证的形式”，而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”（例如，从一形式语言把一个文字串传送给一编译器程序，从而转写为机器指令）和“语义”（在模型论中构造特定模型或全部模型的集合）。数理逻辑的重要著作有戈特洛布·弗雷格（Gottlob Frege）的《概念文字》（Begriffsschrift）、伯特兰·罗素的《数学原理》（Principia Mathematica）等。数理逻辑的主要分支包括：模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处，这是因为许多计算机科学的先驱者既是数学家、又是逻辑学家，如艾伦·图灵、邱奇等。程序语言学、语义学的研究从模型论衍生而来，而程序验证中的模型检测则从模型论衍生而来。柯里－霍华德同构给出了“证明”和“程序”的等价性，这一结果与证明论有关，直觉主义逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献，比如说自动定理证明和逻辑编程。一些重要结果是：

相关

抗高血压药抗高血压药（英文：Anti-hypertensives）肼屈嗪米诺地尔硝普钠含羧基类: 依那普利# • 雷米普利 • 喹那普利 • 培哚普利 • 赖诺普利 • 贝那普利含次膦酸基类: 福辛普利其
腕腕（拉丁语：Articulatio radiocarpea；德语：Handgelenk；英语：Wrist）即是指手腕，为手掌与手臂连接的地方，在做运动前最好先运动手腕，因为手腕是最容易受伤的部位手腕经常被用来戴手表、手
生物防治剂生物防治（Biological control）或生物害虫防治（Biological pest control）是病虫害防治的一种方法，使用生物（英语：bioeffector）缓解昆虫、螨虫、野草和病态植物对人类农作物、环境等造
联合国国际贸易法委员会联合国国际贸易法委员会（贸易法委员会）由联合国大会根据其1966年12月17日的第2205号决议第XXI章成立，旨在“促进国际贸易法逐步协调和统一”。联合国国际贸易法委员会在纽约市
核安全核安全包括为了防止核辐射事故以及限制发生事故以后的后果的措施。需要采取核安全措施的设施包括核能发电厂和其它的核设施、以及医用、发电用、工业用和军用的核物质的运输
最佳可行控制技术最佳可行控制技术（Best available control technology，简称BACT）是美国1990年净化空气法案（英语：Clean Air Act of 1990）中授权使用的污染控制标准。美国国家环境保护局决定哪些污
磺胺甲噻二唑磺胺甲噻二唑是一种磺胺类药物，其INN名称是“Sulfamethizole”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期约为3-8小时，在大鼠体内的LD50（半致死量
古典时代古典时代（或称为古典时期、古典古代、古风时期，英语：Classical antiquity）是对希腊罗马世界（英语：Greco-Roman world）（以地中海为中心，包括古希腊和古罗马等一系列文明）的长期文化史的
脐肚脐、脐，俗称肚脐眼，中医称之为“神阙”，从本质上来说是胎儿出生后，脐带脱落后留下的疤痕。肚脐位于髂前上棘水平的腹部正中线上，直径约为1.0至2.0公分。它通常可以是一个小凹陷
胶原纤维胶原蛋白（collagen）占哺乳类动物总蛋白质约20% ，也是人体的一种非常重要的蛋白质，主要存在于结缔组织中。它有很强的伸张能力，是韧带的主要成分，胶原蛋白也是细胞外基质的主要组