数理逻辑

✍ dations ◷ 2025-12-08 15:18:49 #数理逻辑

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

相关

预后人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学预后（Prognosis、outcomes）是一个医学名
肠胃炎肠胃炎是以胃和小肠炎症为特征的胃肠道病症，可导致腹泻、呕吐、腹部的疼痛和绞痛合并而成疾病表现。虽然与流感并无关系，但该病也被称为肠胃型感冒和消化道流感。肠胃炎通常是
ε详见细菌分类表ε-变形菌要么厄氏杆菌是变形菌中的一类，与δ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
猪只猪科（学名：Suidae）属于哺乳纲偶蹄目，共有约20种现生物种与许多化石物种，包括家猪以及疣猪和鹿豚等多种野猪。所有物种均原产于亚洲、欧洲、非洲等旧大陆地区。已知最早的猪科化石
希腊化时代的希腊希腊化时代的希腊是指古希腊核心—希腊半岛在希腊化的时期，起始点从前323年亚历山大大帝逝世到前146年被罗马并吞为止，尽管之后被罗马占领，古希腊的文学、艺术、建筑、文化甚至
提尔泰奥斯提尔泰奥斯（英语：Tyrtaeus），约活动于公元前7世纪前后。古希腊挽歌体诗人之一。在第二次美塞尼亚战争期间，他住在斯巴达，用战争歌曲鼓励斯巴达人，用哀歌体诗句激励迈塞内。他的诗歌
圣殿圣殿（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
枕部枕骨（L'os occipital / occipital bone）中医上又称山骨、玉枕骨、乘枕骨、后枕骨。组成颅骨的29块骨骼之一。共一块。枕骨位通人字缝连接顶骨之后，一直延伸至颅底。枕骨下方中
脐肚脐、脐，俗称肚脐眼，中医称之为“神阙”，从本质上来说是胎儿出生后，脐带脱落后留下的疤痕。肚脐位于髂前上棘水平的腹部正中线上，直径约为1.0至2.0公分。它通常可以是一个小凹陷
盆腔髋（拉丁语：pelvis），又称腰带、骨盆、盘骨，是一个骨骼构造，位于脊椎末端，连接脊柱和股骨，与四足动物的后肢、双足动物的下肢相连。股骨与腰带在臀部连接处形成髋关节，它是球窝关节。健