元数学

✍ dations ◷ 2025-09-18 05:50:24 #元数学

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

相关

喉囊肿喉囊肿（laryngeal cysts）是指囊肿发生在喉部、或更频繁使用的声门上之位置，诸如“会厌谷囊肿(epiglottic vallecula cyst)”发生在会厌旁谷（英语：Vallecula）里的现象。通常喉囊肿
次级代谢产物次级代谢产物（英语：Secondary metabolites，又称为次生代谢物、二代谢物）是不直接涉及到生命正常生长、发育或繁殖的有机化合物。不像初级代谢产物，缺少次级代谢产物不会导致立即
死刑犯死刑犯（英语：Death row，或称死囚、死刑囚犯）常指被司法宣判为死刑，而尚未被处决的犯人。他们被监禁在监狱中（中国大陆、台湾及日本的死刑犯则是囚禁在看守所内），等待死刑的执行。但
选择压力演化压力，或选择压力，可以被认为是外界施与一个生物演化过程的压力，从而改变该过程的前进方向。所谓达尔文的自然选择，或者物竞天择，适者生存，即是说，自然界施与生物体选择压力从而
三立新闻台三立新闻台（英语：SET News Channel），简称“三立新闻”，是台湾三立电视旗下的电视新闻频道，1998年3月3日开播，是台湾多家24小时即时播出的新闻频道之一。原名SET电视台，后改为SETN，200
促炎性细胞因子促炎性细胞因子（英语：Proinflammatory cytokine）是一系列可以促进炎症的细胞因子的总称。比较常见的促炎细胞因子包括白细胞介素-1（IL-1）和肿瘤坏死因子α（TNF alpha）。
英联邦国家英联邦（英语：Commonwealth of Nations），是一个由54个主权国家（包括属地）所组成的国际组织，成员大多为前英国殖民地或者保护国。英联邦元首为伊丽莎白二世女王，同时身兼包括英国在内
迈锡尼迈锡尼希腊语是希腊语的已知最古老的形式，多利亚人入侵前，在迈锡尼时期（公元前16至前12世纪）使用于希腊大陆和克里特岛上。它保存在线形文字B写的题字中，这种文字是公元前14世纪
细菌学细菌学（英语：bacteriology），一个以研究细菌为主的学科，是微生物学的分支。主要的工作是辨认细菌、培养细菌、分类细菌种属、找出细菌种属的特征。它跟微生物学，有时候会被人当成同
神经胶质瘤神经胶质瘤是一种中枢神经系统的肿瘤疾病，源自神经胶质细胞的病变。神经胶质瘤通常出现于脑部（称为脑神经胶质瘤），但也有可能出现于其他神经，如视觉神经。