数理逻辑

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

相关

  • 计算生物学计算生物学(Computational Biology)是生物学的一个分支。根据美国国家卫生研究所(NIH)的定义,它是指开发和应用数据分析及理论的方法、数学建模和计算机仿真技术,用于生物学、行为
  • 克莱恩-莱文综合征克莱恩-莱文症候群(英语:Kleine-Levin syndrome,简称为KLS),又名睡美人症候群(英语:Sleeping Beauty syndrome),系一种不常见的睡眠障碍,特征是持续的阵发过度嗜睡症及认知或情绪变化
  • 分子系统发生学分子系统发生学(Molecular phylogenetics)是分析遗传分子差异(主要是DNA序列)的系统发生学的一个分支,以获得有机体进化关系的信息。分子系统发生学分析的结果在系统发生树(phylo
  • 滴状病毒科滴状病毒属滴状病毒科Guttaviridae
  • 非正统经济学思想非主流经济学(英语:Heterodox economics),又称异端经济学、非正统经济学,是指采取不同于主流经济学研究方法的经济学学派的概称。主流经济学,又称正统经济学,是指在英语世界中,具备
  • 资源水资源包括经人类控制并直接可供灌溉、发电、给水、航运、养殖等用途的地表水和地下水,以及江河、湖泊、井、泉、潮汐、港湾和养殖水域等。水资源是发展国民经济不可缺少的重
  • 拉齐拉齐(波斯语:ابوبكر محمّد زکرياى رازى‎ ,Abūbakr Mohammad-e Zakariā-ye Rāzī ;865年8月26日-925年),波斯医师、炼金术师、化学家、哲学家。他博学多才
  • 出版出版或称发表,是指将作品通过任何方式公之于众的一种行为。在大多数国家,作品一经完成,不论是否出版,即享有著作权。作品获得国际标准书号并经过一定资质的出版机构印刷成书籍称
  • 金属疲劳疲劳一词在材料科学领域, 意指物件因持续受到动态变化的应力而造成结构劣化。引起疲劳的动态变化应力通常远小于静态的极限拉伸应力或极限屈变应力。疲劳是渐进且局部的结构
  • 楚科奇-堪察加语系楚科奇-堪察加语系,又名罗拉维特兰语系(Luorawetlan),是古西伯利亚语言的其中一种,通行于东北西伯利亚。虽然古西伯利亚语言本身的成员未必有关连,但楚科奇-堪察加语族之内的语言