数理逻辑

✍ dations ◷ 2025-04-06 10:38:38 #数理逻辑

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

相关

慢性肺部阻塞疾病慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
羊水羊水是水状液体，包围衬垫著羊膜内的胚胎。羊水让胚胎能够自由活动，不会让子宫壁压的太紧。羊水也提供浮力。此外，由于水的比热容高，羊水能提供胎儿一个恒定温度的环境，羊水也在生
醛类.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
Cambridge University Press剑桥大学出版社（英语：Cambridge University Press）隶属于英国剑桥大学，成立于1534年，是世界上仅次于牛津大学出版社的第二大大学出版社。剑桥大学出版社为世上现存最古老的大学出
真菌修复真菌修复（Mycoremediation）是一个由美国真菌学家保罗·史塔曼兹创立的新词，是生物修复的一种，意指以真菌来降解环境中的污染物。真菌可分泌酵素到环境中，将许多有机污染物分解成
咽喉炎咽喉痛（sore throat、throat pain，又称喉咙痛或喉痛），是指咽喉出现痛楚的症状，最主要的成因是咽喉炎（喉咙发炎），但可由其他原因引致，例如白喉和伤风感冒威胁。服用非类固醇消炎止痛
耳蜗神经前庭耳蜗神经（Vestibulocochlear nerve）是12对脑神经当中的第8对，同时也称作听神经。它是支配内耳的脑神经，其中又可分为掌管听力的耳蜗神经、掌管平衡的前庭神经。本神经位在颞
世俗世俗人文主义（英语：Secular humanism）是一种涵盖人类理智、伦理学和哲学意义上的自然主义的哲学或者人生观。世俗人文主义把宗教教义、超自然主义、伪科学和迷信排除在道德基础
自我哲学自我哲学（英语：philosophy of self）是一个经验主体与所有其他的事物区别的身份条件。当代有关自我本性的探讨与人格本性、个人身份相关的讨论有所不同。“自我”一词有时被认为
本驹込本驹込（日语：本駒込／ほんこまごめ Hon-komagome */?）是东京都文京区的町名。现行行政地名为本驹込一丁目至本驹込六丁目。2013年8月1日为止的居住人口有24,880人。邮递区号为1