元数学

✍ dations ◷ 2025-10-08 21:07:15 #元数学

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

相关

地壳在地理上，地壳（英语：Crust）是指一个星球最外层的实心薄壳，可以用化学方法将它与地幔区别。地球，月球，水星，金星，火星以及其它星球的地壳大部分都是由火成岩形成的，星球的地壳比起它们
链霉素链霉素是一种抗生素，为第一个氨基糖苷类抗生素，也是第一个应用于治疗肺结核的抗生素。是从革兰氏阳性的放线菌灰色链霉菌培养液中分离出来的抗菌素。其硫酸盐为白色或微黄色粉
美地霉素美地霉素又称为“麦加霉素”“美欧卡霉素”“米卡霉素”“乙酰麦迪霉素”或“醋酸麦迪霉素”，是一种大环内酯类抗生素。美地霉素是麦迪霉素的二乙酸酯，其血药浓度大、生物学半
香料香料是具挥发性，并能用以配制香精的芳香物质的总称。分为天然香料和人造香料，用于制造化妆品、食品等。古人云：“香之为用从上古矣。所以奉神明，可以达蠲洁。”天然香料包括动物
人为疾患人为疾患，亦作人为障碍，是一种在人格及行为方面的精神病障碍。病况包括蓄意制造病征、伪装病征、又或把原有病征夸大。代理性人为疾患指一种源自病患照顾者的人为疾患。孟乔森
造血干细胞造血干细胞（Hematopoietic stem cells, HSCs）是可以分化出所有血细胞的干细胞。增殖、分化血细胞的过程称作造血作用 (Hematopoiesis)，主要发生在红骨髓。而红骨髓则是在胚胎发
法显法显（337年－422年），俗姓龚，平阳武阳（今山西省长治市襄垣县）人，东晋、刘宋的高僧、旅行家、翻译家。因法显的三位兄长都幼年早亡，其父亲怕殃及法显，在其三岁时便让他剃度出家为沙弥。二
17α-羟孕酮17α-羟孕酮（英语：17α-Hydroxyprogesterone，17α-OHP)，有时就简称为羟孕酮（英语：hydroxyprogesterone，OHP）是一种孕酮类似的内源性的孕激素类甾体激素，同时也是很多内源性甾体激素生
吕山德吕山德（Λύσανδρος，Lysander，或译“莱山德”）（？—前395年），斯巴达人，古希腊军事家。凭借出色的外交手段，获得波斯的支持之后，吕山德指挥斯巴达舰队于公元前405年在埃果斯河战役
武尔卡诺岛武尔卡诺岛（Vulcano）是意大利第勒尼安海中的一个火山岛，在西西里岛以北25千米，是伊奥利亚群岛8个岛中位置最靠南的一个。面积21平方千米，海拔500米。岛上有意大利四个活跃的非海