数理逻辑

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

相关

  • 儿童医学小儿科(或称儿科)是现代医学的一个分支,专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
  • D06BB(Antifungals for dermatological use)(Emollients and protectives)(Preparations for treatment of wounds and ulcers)(Antipruritics, including antihistamines, anesthetics,
  • 土霉素土霉素 Oxytetracycline也称为“地霉素”或“氧四环素”,是第二个被发现的广谱抗菌的四环素类抗生素。土霉素是由Finlay等人在辉瑞实验室附近分离到的链霉菌Streptomyces rim
  • ICD-9编码列表 (800–999)Template:FracturesTemplate:Nonmusculoskeletal injuries of head, neck, and thorax Template:Chest trauma Template:Nonmusculoskeletal injuries of abdomen and pelvi
  • 马勃马勃(Puffball)是一类担子菌门的真菌通称,一般为球形,未成熟前是白色,成熟后为褐色,内部为粉末状。可入中药,用于止血。以前的分类法将马勃统一列为一个腹菌纲(Gasteromycetes)或腹
  • 梭菌属C. acetobutylicum C. aerotolerans C. beijerinckii C. bifermentans 肉毒杆菌(C. botulinum) 丁酸梭菌 C. butyricum C. chauvoei C. colicanis 艰难梭菌 (C. difficile) C. f
  • 自然主义自然主义通常是指综合唯物主义和实用主义、不探究自然界中超自然因素的哲学立场,其理论基础认为所有现象皆可用自然理由的概念解释。自然主义不一定认为超自然现象和对于不存
  • 弯曲菌属见内文弯曲菌属(学名:Campylobacter),又名曲状杆菌属或弯曲杆菌属,是一种革兰氏阴性细菌的属。曲状杆菌属的型态就是折曲了的一般杆菌,呈“逗号”状或S字型。本属绝大多数物种均为
  • E85ICD-10 第四章:内分泌、营养和代谢疾病,为WHO规定的已发现的各类内分泌,营养和代谢疾病。甲状腺疾患 (E00-E07)糖尿病 (E10-E14)其他葡萄糖调节和胰腺内分泌的疾患 (E15-E16)其他内分
  • 人类的由来《人类的由来》全称《人类的由来及性选择》(英语:The Descent of Man, and Selection in Relation to Sex),是英国科学家查尔斯·达尔文的名著,首次出版于1871年。在此书中达尔文