元数学

✍ dations ◷ 2025-08-28 21:47:16 #元数学

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

相关

遗传密码遗传密码（英文：Genetic code）是一组规则，将DNA或mRNA序列以三个核苷酸为一组的密码子转译为蛋白质的氨基酸序列，以用于蛋白质合成。几乎所有的生物都使用同样的遗传密码，称为标准
忧郁忧郁（英语：Melancholia，或英语：lugubriousness），一种情绪与心理状态，指一个人呈现哀伤、心情低落的状况，绝望与沮丧为其特色。这是人类正常的情绪之一，但是强烈而长久持续的忧郁情绪，
印度艾滋病情况根据印度国家艾滋病控制组织（英语：National AIDS Control Organisation）的数据，2013年后天免疫缺乏症候群在印度的患病率为0.27，估计印度有239万人患有艾滋病，而英国医学期刊在201
经济学分支JEL分类系统，是美国经济学会《经济文献杂志》（Journal of Economic Literature）所创立的对经济学文献的主题分类系统，并被现代西方经济学界广泛采用。该分类方法主要采用开头的
麻疹、腮腺炎、德国麻疹结合疫苗麻腮风三联疫苗（英语：Measles mumps and rubella vaccine, MMR），港澳台译为麻疹腮腺炎德国麻疹混合疫苗，，大陆简称麻腮风疫苗，是预防麻疹、腮腺炎、风疹（德国麻疹）的疫苗，由三种疾病病
德谟克利特德谟克利特（希腊语：Δημόκριτος ，前460年—前370年或前356年，英语：Democritus）来自古希腊爱琴海北部海岸的自然派哲学家。德谟克利特是经验的自然科学家和第一个百科全书
克罗托内克罗托内（意大利语：Crotone ）也称克罗顿（意大利语：Croton），是位于意大利南部卡拉布里亚大区，爱奥尼亚海沿岸的一个城市。在1994年，克罗托内成为新成立的克罗托内省的首府所在地。目前
肾衰竭肾功能衰竭（英语：renal failure、kidney failure，或renal insufficiency），又简称肾衰竭，是指因肾病变，造成肾脏出现问题导致未能有效带走血液中的杂质，继而影响身体的代谢，严重者可致
创伤后心理压力紧张综合症创伤后压力综合征（Post-traumatic stress disorder，简称PTSD，又称创伤后遗症）是指人在经历过情感、战争、交通事故等创伤事件后产生的精神疾病。其症状包括会出现不愉快的想法、
方块侗字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧