元数学

✍ dations ◷ 2025-10-29 05:15:20 #元数学

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

相关

查洛特–玛丽亚氏–齿病X1进行性神经性腓骨肌萎缩症，即（Charcot-Marie-Tooth disease、C-M-T，又称腓骨肌萎缩症、恰克-马利-杜斯氏症），是以三位最早发现此病的法国研究者的姓氏共同命名的。其主要表现是双
2型糖尿病2型糖尿病（英语：Diabetes mellitus type 2，简称T2DM，台湾称为第二型糖尿病），大陆旧称为非胰岛素依赖型糖尿病（英语：noninsulin-dependent diabetes mellitus，简称NIDDM）或成人发病型糖
生殖繁殖，或生殖，是透过生物的方法制造生物个体的过程。繁殖是所有生命都有的基本现象之一。每个现存的个体都是上一代繁殖所得来的结果。已知的繁殖方法可分为两大类：有性生殖以及
霾霾（英语：haze，又称雾霾、烟霾、烟霞等）是一种由固体颗粒形成的空气污染，其核心物质是空气中悬浮的灰尘颗粒，气象学上称为气溶胶颗粒。霾中含有数百种大气化学颗粒物质，它们在人们毫
卢旺达– 非洲（浅蓝及深灰）– 非盟（浅蓝）卢旺达共和国（卢旺达语：Repubulika y'u Rwanda，法语：République du Rwanda，英语：Republic of Rwanda，斯瓦希里语：Jamhuri ya Rwanda），通称卢旺达，是
德谟克利特德谟克利特（希腊语：Δημόκριτος ，前460年—前370年或前356年，英语：Democritus）来自古希腊爱琴海北部海岸的自然派哲学家。德谟克利特是经验的自然科学家和第一个百科全书
新型冠状病毒新型冠状病毒（英语：Novel coronavirus，缩写为nCoV），简称新冠病毒，可以指：
中国科学院院士中国科学院院士，是中华人民共和国设立的科学技术方面的最高学术称号，为终身荣誉。授予在科学技术领域做出系统的、创造性的成就和重大贡献的中国籍科学家。院士不设任期，为终身
维他命B17扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
扶余语族扶余语系是一种假定存在的古代语系，约莫于公元前1世纪到公元5世纪左右在今日的朝鲜半岛和中国东北南部通行。扶余语族包括了濊貊、扶余国、高句丽、东濊、沃沮、百济等国家的