数理逻辑

✍ dations ◷ 2025-05-17 00:45:32 #数理逻辑

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

相关

林奈氏分类系统二名法（英语：Binomial Nomenclature，Binominal Nomenclature 或 Binary Nomenclature），又称双名法，依照生物学上对生物种类的命名规则，所给定的学名之形式，自林奈《植物种志》(1753
乙型肝炎病毒乙型肝炎病毒（英语：Hepatitis B virus）简称乙肝病毒（HBV）。是一种DNA病毒，属于嗜肝DNA病毒科（hepadnavividae）。根据目前所知，HBV就只对人和猩猩有易感性，引发乙型病毒性肝炎疾病。完
DNA复制DNA复制是指DNA双链在细胞分裂分裂间期进行的以一个亲代DNA分子为模板合成子代DNA链的过程。复制的结果是一条双链变成两条一样的双链（如果复制过程正常的话），每条双链都与原来
异型增生发育不良（英语：Dysplasia）也称为发育异常，是病理学的词语，是指生物组织发育时的异常，或是上皮部位在分化及发育的问题（上皮发育不良（英语：epithelial dysplasia））。像髋关节发育不全症（
补体补体系统（英语：complement system）由一系列的蛋白质组成，属先天免疫系统的一部分。补体系统透过一连串的酵素（酶）相互切割启动，最终在目标微生物上形成类似孔洞的膜攻击复合物(Memb
通用通用希腊语（希腊语：Κοινὴ Ἑλληνική；通用希腊语: ἡ κοινὴ διάλεκτος，“通用语”），又译民间希腊语、共通希腊语、科伊内希腊语，或作希利尼话（Hellenisti
伊本·泰米伊哈伊本·泰米叶（Taqī ad-Dīn Aḥmad ibn Taymiyyah，Arabic：تقي الدين أحمد ابن تيمية）是一个争议性的伊斯兰黄金时代逊尼派神学家、法学家、逻辑学家（英语：Lo
意大利文艺复兴意大利文艺复兴（意大利语：Rinascimento italiano）开创了早期的文艺复兴时代，即从14世纪末期到大约1600年之间，一个具有文化上重大改变与成就的时代。虽然它的起源可以追溯到14世
详2019冠状病毒病英国疫情，介绍在2019新型冠状病毒疫情中，在英国及其属地发生的情况。2020年1月，希思罗机场加强了对每周从武汉接收的三班直达航班的监控；每一个人都将要接受海关
产褥热产褥热（puerperal fever）也称为产后感染（postpartum infections）、产褥感染（Puerperal infections）或产褥期发热，是在分娩、流产或是堕胎后，产道的细菌性感染。其症状一般会包括发烧