数理逻辑

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

相关

  • 简单疱疹病毒Herpes simplex virus 1 (HSV-1) Herpes simplex virus 2 (HSV-2)单纯疱疹病毒(英语:herpes simplex virus; HSV) 1 和 2 (HSV-1 和 HSV-2),也叫人类单纯疱疹病毒 1 和 2 (HHV
  • 斑疹伤寒斑疹伤寒(Typhus),是由立克次体引起的传染病,可分为两大类:分别是是流行性斑疹伤寒(Epidemic Louseborne typhus)与地方性斑疹伤寒(Endemic Fleaborne typhus)。斑疹伤寒是流行性斑疹
  • 酵母纲酵母菌纲(学名:Saccharomycetes)是在真菌界的子囊菌门以下的纲,是酵母亚门以下唯一的纲。酵母菌纲中只有一个目,是酵母菌目(Saccharomycetales)。酵母菌纲之下包括有近千个已知物种
  • 下颚颔(又称下巴、下颔、下巴颏),是位于脊椎动物包括人类面部嘴唇以下的部位,人到年老时下巴会逐渐萎缩,这是老化现象的一个过程。
  • 呕吐呕吐,是由于胃和肠道内容物(食糜)由于受到强力积压经过食道由口腔吐出的动作。在呕吐的过程中腹肌急剧收缩,贲门括约肌舒张、胃体肌肉舒张,这些生理反应造成腹腔压强升高,胃内容物
  • 阿斯克勒庇俄斯阿斯克勒庇俄斯(希腊语:Ἀσκληπιός,拉丁语:Asclepius),是古希腊神话中的医神,在古罗马神话中被称为埃斯库拉庇乌斯(拉丁语:Aesculapius),他是太阳神阿波罗之子,形象为手持蛇杖。
  • 苯海拉明苯海拉明(英语:Diphenhydramine)是一种抗组胺药,主要用于治疗过敏症,也可以用于治疗失眠、感冒症状、帕金森氏症震颤和恶心。给药方式是口服、静脉注射及肌肉注射。最大效果通常
  • 阿尔哈拉克阿尔哈拉克(西班牙语:Aljaraque),是西班牙安达卢西亚自治区韦尔瓦省的一个市镇。总面积34平方公里,总人口12026人(2001年),人口密度354人/平方公里。
  • 失认症失认症(英语:agnosia)是指由大脑受损而导致的认知障碍。患者在意识正常、无感觉障碍的情况下,对传入的感觉刺激缺乏认识能力,包括物体失认、相貌失认、听觉失认等。须注意的是,此
  • 孢子丝菌症孢子丝菌病是一种因为受到申克氏孢子丝菌(Sporothrix schenckii)感染,引起皮肤产生病变,也可能发生在肺、关节、骨骼,甚至脑,但是较为罕见。申克氏胞子丝菌存在于土壤中,干草堆、