元数学

✍ dations ◷ 2025-06-27 11:37:42 #元数学

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

相关

慢性肾脏疾病慢性肾脏病（又称慢性肾功能不全或慢性肾衰竭、Chronic kidney disease（CKD）、chronic renal disease（CRD）），指肾功能在几个月或若干年期间逐渐而难以逆转的衰退。据估计，慢性肾病患
联合国人口基金联合国人口基金（英语：United Nations Population Fund，简称UNFPA）是联合国一个专门机构，其使命是促进所有人健康生活和平等机会的权利。作为一个志愿性的基金机构，联合国人口基金
指甲指（趾）甲，亦称指（趾）盖、指（趾）甲盖、指（趾）头盖等，分为手指甲（简称手甲）或脚趾甲（简称脚甲），是哺乳类动物长于肢体指前端的由皮肤角质层硬化的一层硬物，指（趾）甲的作用是保护末节指腹避免受损
新城病病毒新城病（英文：Newcastle disease）是一种禽鸟传染病，由新城病病毒引致。此病毒在禽鸟间有很高的传染性和死亡率，现时没有治疗方法，但可以透过疫苗和消毒措施以减少其爆发之可能性。
DMT二甲基色胺（N,N-Dimethyltryptamine，简称DMT），是一种色胺类的致幻剂。它以痕量见于人体中，由色胺-N-转甲基酶催化产生。通常会在冥想与禁食期间大量产生。其结构与血清素、褪黑激
水圈水圈（英语：hydrosphere），是一个行星、卫星或小行星上所有的水以及其所构成的系统。地球上的水以气态、液态和固态三种形式存在于空中、地表和地下，包括大气水、海水、陆地水（河、
乳果糖乳果糖（英语：Lactulose）是一种不会被吸收的糖，用来治疗便秘和高血氨症。当治疗便秘时须以口服给药，治疗肝性脑病时则可以口服或直肠给药。乳果糖通常在口服8-12小时后起效，但是治
伊巴密浓达伊巴密浓达（英语: Epaminondas；希腊语：Ἐπαμεινώνδας，又译作埃帕米农达、义巴敏诺达，前418年－前362年），古希腊城邦底比斯的将军与政治家。其领导底比斯脱离斯巴达的控制，
我思故我在“我想，所以我是”，旧译“我思故我在”（拉丁语：Cogito, ergo sum；法语：Je pense, donc je suis）是法国哲学家笛卡尔的哲学命题，又称为“笛卡尔的cogito”。印欧语系中，很多语言的系词
阿拔斯王朝阿拔斯王朝（阿拉伯语：العبّاسيّون‎）是哈里发帝国的一个王朝，也是阿拉伯帝国的第二个世袭王朝。于750年取代倭马亚王朝，定都巴格达，直至1258年被旭烈兀西征所灭。阿拔