首页 >
数理逻辑
✍ dations ◷ 2025-04-26 17:05:48 #数理逻辑
数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。“数理逻辑”的名称由皮亚诺首先给出,他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学,但从记号学的观点来讲,它是用抽象代数来记述的。某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试,比如说莱布尼兹和朗伯(Johann Heinrich Lambert);但他们的工作鲜为人知,后继无人。直到19世纪中叶,乔治·布尔和其后的奥古斯都·德·摩根才提出了一种处理逻辑问题的系统性的数学方法(当然不是定量性的)。亚里士多德以来的传统逻辑得到改革和完成,由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论,但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。传统的逻辑研究(参见逻辑论题列表)较偏重于“论证的形式”,而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”(例如,从一形式语言把一个文字串传送给一编译器程序,从而转写为机器指令)和“语义”(在模型论中构造特定模型或全部模型的集合)。数理逻辑的重要著作有戈特洛布·弗雷格(Gottlob Frege)的《概念文字》(Begriffsschrift)、伯特兰·罗素的《数学原理》(Principia Mathematica)等。数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处,这是因为许多计算机科学的先驱者既是数学家、又是逻辑学家,如艾伦·图灵、邱奇等。程序语言学、语义学的研究从模型论衍生而来,而程序验证中的模型检测则从模型论衍生而来。柯里-霍华德同构给出了“证明”和“程序”的等价性,这一结果与证明论有关,直觉主义逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献,比如说自动定理证明和逻辑编程。一些重要结果是:
相关
- 拟杆菌门拟杆菌门(Bacteroidetes)包括三大类细菌,即拟杆菌纲、黄杆菌纲、鞘脂杆菌纲。它们的相似性体现在核糖体16S RNA。很多拟杆菌纲的细菌种类生活在人或者动物的肠道中,有些时候成
- 需氧菌好氧生物(英语:Aerobic organism,或 aerobe),又译为好气生物、耗氧生物、需氧生物,是能在有氧的环境中生存及生长的生物。好氧生物利用氧的化学反应来分解糖及脂肪,以获得能量。几
- 致命创伤致命创伤也称为致命伤,是非常严重,直接导致死亡的创伤,创伤多半会指穿透伤或撕裂伤,创伤的原因可能是意外,或是有意造成的伤害(杀人或是自杀),死亡不一定会和致命创伤同时出现,但会在
- 化学治疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学化学疗法(英语:Chemotherapy),简称化疗(Che
- 次原子粒子亚原子粒子,或称次原子粒子。是指比原子还小的粒子。例如:电子、中子、质子、介子、夸克、胶子、光子等等。亚原子粒子,按照参与基本相互作用的性质可以分为:以及:一个不属于规范
- 健康政策分析卫生政策和健康的关系
- 大气扩散模式大气扩散模式 是一种用电脑模拟空气污染物如何扩散到附近的大气中。并且知道污染源附近的空气质量,是否会危害人体。这对许多工业区的规划非常重要,因为必须要评估工厂所排出
- 锡诺普锡诺普(辞源赫梯文: Sinuwa, 希腊文: Σινώπη/Sinope) ,土耳其在黑海的港口,锡诺普省省会,人口47000。它位于伊斯坦布尔到巴统航线中间,古代属于帕夫拉戈尼亚地区,是一个向东
- SNAC社交网络及存档内容(SNAC)是发现、定位和运用分布式信史的在线平台。它是由设在美国的一些组织合作发起的。SNAC的主要工作为“从对人的描述中分隔出人创造和记录人生活和工作
- 封建制封建是源自于中国古代天子依爵位高低将领土分封与宗室或功臣作为食邑的制度。在下,大地主或领主能强行索取土地收入,并且能在其领地上行使政府职权。而在现代的汉语使用上,“封