首页 >
数理逻辑
✍ dations ◷ 2025-08-08 00:58:29 #数理逻辑
数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。“数理逻辑”的名称由皮亚诺首先给出,他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学,但从记号学的观点来讲,它是用抽象代数来记述的。某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试,比如说莱布尼兹和朗伯(Johann Heinrich Lambert);但他们的工作鲜为人知,后继无人。直到19世纪中叶,乔治·布尔和其后的奥古斯都·德·摩根才提出了一种处理逻辑问题的系统性的数学方法(当然不是定量性的)。亚里士多德以来的传统逻辑得到改革和完成,由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论,但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。传统的逻辑研究(参见逻辑论题列表)较偏重于“论证的形式”,而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”(例如,从一形式语言把一个文字串传送给一编译器程序,从而转写为机器指令)和“语义”(在模型论中构造特定模型或全部模型的集合)。数理逻辑的重要著作有戈特洛布·弗雷格(Gottlob Frege)的《概念文字》(Begriffsschrift)、伯特兰·罗素的《数学原理》(Principia Mathematica)等。数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处,这是因为许多计算机科学的先驱者既是数学家、又是逻辑学家,如艾伦·图灵、邱奇等。程序语言学、语义学的研究从模型论衍生而来,而程序验证中的模型检测则从模型论衍生而来。柯里-霍华德同构给出了“证明”和“程序”的等价性,这一结果与证明论有关,直觉主义逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献,比如说自动定理证明和逻辑编程。一些重要结果是:
相关
- H2受体阻抗剂H2受体阻抗剂(英语:H2 antagonist)是一系列用于阻断组织胺作用于胃壁细胞、减少壁细胞分泌胃酸的药物。H2受体阻抗剂用于治疗消化不良,但现在已经有效果更好的氢离子泵阻断剂。
- RR00-R09 涉及循环和呼吸系统的症状和体征R10-R19 涉及消化系统和腹部的症状和体征R20-R23 涉及皮肤和皮下组织的症状和体征R25-R29 涉及神经和肌肉骨骼系统的症状和体征R30-
- 主动脉瓣狭窄主动脉瓣狭窄(Aortic stenosis,简称AS或AoS)乃描述左心室通向主动脉的瓣膜口狭窄的现象。可能是由主动脉瓣(英语:aortic valve)的结构异常造成,或主动脉瓣的上游或下游解剖结构的异
- 亲和性在化学、生物化学及药理学中,解离常数(英语:dissociation constant, K d {\d
- 黑龙江黑龙江(满语:ᠰᠠᡥᠠᠯᡳᠶᠠᠨᡠᠯᠠ,穆麟德:sahaliyan ula,太清:sahaliyan ula,蒙古语:Амар мөрөн),俄罗斯称之为阿穆尔河(俄语:Река Амур,罗马化:Reka Amur,IPA:.mw-pa
- 沙尘暴沙尘暴(英语:Dust storm)为沙暴与尘暴的总称,是一种多发生在干旱和半干旱地区的天气现象,由强风刮起干燥地表上的松软沙土和尘埃形成,其导致空气混浊,能见度变低。最近几十年来的沙
- 亚美利哥·维斯普西亚美利哥·韦斯普奇(意大利语:Amerigo Vespucci,1454年3月9日-1512年2月22日)是佛罗伦萨商人、航海家、探险家和旅行家,美洲(全称亚美利加洲)是以他的名字命名的。他经过对南美洲东
- 周围神经系统周围神经系统(英语:Peripheral Nervous System,缩写为PNS),又称外周神经系统、周边神经系统、边缘神经系统或末稍神经系统,是神经系统的组成部分,包括除脑和脊髓之外的神经部分。脑
- 科尔萨科夫综合症科尔萨科夫氏症候群(Korsakoff's syndrome),又称健忘综合征,为一种大脑缺乏硫胺(维生素B1)而引起的精神障碍。其疾病由俄国神经学家谢尔盖·科尔萨科夫最先发现而命名。科尔萨科夫
- 幽门括约肌幽门(pylorus)是胃和十二指肠的连接口,包含幽门窦(pyloric antrum)和幽门管(pyloric canal)两个部分。幽门括约肌(pyloric sphincter)在幽门管末端,可以控制食物从胃进入十二指肠的过