元数学

✍ dations ◷ 2025-07-18 06:46:12 #元数学

元数学（英语：Metamathematics），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。

相关

气单胞菌目气单胞菌科 Aeromonadaceae 琥珀酸弧菌科 Succinivibrionaceae气单胞菌目（Aeromonadales）为变形菌门的一目，有2科10属。该目内的物种均为厌氧、杆状。部分物种可透过单个鞭毛移
宫颈举痛宫颈举痛（英语：cervical motion tenderness）或宫颈刺激（cervical excitation），是一类妇科盆腔检查症状。它通常都病发于盆腔炎和宫外孕中，并用于区分盆腔炎和阑尾炎。它也被口语称
氮醉氮醉是在进行潜水或深潜运动时常用的名词。一般而言，水压会随着潜水深度而增加，当潜水员处于高水压环境（约3至4大气压力以上），肺内氮气会因高压缘故，而对潜水员产生麻醉作用。于浅
无法理解别人的话感觉性失语症，又被称为韦尼克氏失语症，流畅失语症，或接受性失语症。此类患者有语言理解障碍，患者的阅读能力或了解他人谈话内容的能力低下。虽然患者能够说初具语法、速
耳鼻喉科耳鼻喉科学（Otorhinolaryngology /oʊtoʊˌraɪnoʊˌlærənˈɡɒlədʒi/；亦称为：otolaryngology-head and neck surgery）是一门医学专科，专门研究耳、鼻、喉病变的诊断及治
宏观经济学宏观经济学（英语：Macroeconomics，来自希腊语前缀makro-意为“大”+经济学），是指用国民收入、经济整体的投资和消费等总体性的统计概念来分析经济运行规律的一个经济学领域。宏观
甲磺酸赖氨酸安非他命甲磺酸赖氨酸安非他命（英语：Lisdexamfetamine），名字来源为“离胺酸-右旋安非他命”，是中枢神经系统（CNS）右旋安非他命刺激剂的前体药物，一种安非他命类（英语：substituted amphetamine
牙齿牙齿存在于很多脊椎动物(鸟类除外)的头部（或口部）内、功能用于咀嚼食物的钙化组织。肉食性动物尤其倚赖牙齿进行猎食或搏斗、御敌。牙齿的构成成分不是骨骼，而是由动物体内不同
压力反应应激（英文：Stress）或心理压力，是一种反应模式，指动物机体受到外界不良因素刺激后，在没有发生特异的病理性损害前所产生的一系列非特异性应答反应。当刺激事件打破了有机体的平衡和
Who Named It?《Whonamedit?》是一部记载医学名称及其有关人物的英语词典，由医学史家Ole Daniel Enersen（英语：Ole Daniel Enersen）负责维护，其服务器位于挪威。