元数学

✍ dations ◷ 2024-07-03 00:08:23 #元数学

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

相关

界在很长一段时间里，界（Kingdom）是生物科学分类法中最高的类别。一开始人只将生物分为动物和植物两界，微生物被发现后，也长时期被分入动物或植物界：好动的微生物被分入动物界，有色素
基因体基因组（genome）在生物学中，是指一个生物体所包含的DNA（部分病毒是RNA）里的全部遗传信息，又称基因体。基因组包括基因和非编码DNA。1920年，德国汉堡大学植物学教授汉斯·温克勒（Hans
变态反应超敏反应（hypersensitivity），也叫变态反应，是免疫反应产生作用分子移除外来抗原的过程，这些作用分子诱导产生轻微、无临床症状或局部性的发炎反应，并不会对宿主造成组织伤害。特殊
多巴胺转运体n/an/an/an/an/an/an/an/an/an/a多巴胺转运体（英语：Dopamine transporter，DAT；溶质载体家族6成员3（英语：solute carrier family 6 member 3，SLC6A3））是负责将神经递质从突触运输回细
漱口药水漱口水，又称为口腔漱洗液，是口腔卫生产品，具有杀除微生物牙垢的功能，并防止由其引起的龋齿、齿龈炎和口臭的功效。防蛀漱洗液通过使用氟化物，从而保护牙齿并防止龋齿。漱口水也有
开罗省开罗省（阿拉伯语：محافظة القاهرة‎），是埃及的一个省，位于该国尼罗河三角洲东南角。首府开罗同时也是埃及的首都。开罗省面积3,085平方公里，人口13,000,000人（2006年统
煞买煞买（希伯来文：שמאי‎，约公元前50年－约30年）是1世纪的犹太教学者，煞买学派的创始人。他从严格的角度理解犹太教律法，曾欲使其幼年儿子在赎罪日禁食，经朋友劝阻才作罢。正统派（哈
结肠结肠，中国古称回肠，是大多数脊椎动物消化系统的最后一部分，在将固体废物排出体外前吸收水和盐。结肠中未吸收的废物也在微生物（主要是细菌）的帮助下发酵。在食品和营养物质的吸收
有机溶剂当有机化合物作为溶剂时，这个有机物就简称为有机溶剂。常见的有机溶剂有乙醚、二氯甲烷、苯、四氯甲烷、氯仿等。在一些职业安全相关的法规中，所指的“有机溶剂”是指具有挥发
细胞素风暴细胞素风暴、细胞因子风暴（英语：Cytokine storm），又称高细胞因子症（英语：Hypercytokinemia），一种不适当的免疫反应，因为细胞因子与免疫细胞间的正回馈回路而产生。这也被认为是1918年