元数学

✍ dations ◷ 2024-11-05 16:25:12 #元数学

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

相关

新陈代谢代谢（英语：Metabolism /məˈtæbəlɪzəm/，来自希腊语：μεταβολή / metabolē “改变”），亦称新陈代谢，是生物体内维持生命的化学反应的集合。代谢是生物体维持生命的化学
水杨酸水杨酸（英语：Salicylic acid，源于拉丁文的“杨柳” salix），又名柳酸、邻羟基苯甲酸、2-羟基苯甲酸。水杨酸易溶于乙醇、乙醚、氯仿、苯、丙酮、松节油，不易溶于水，20°C时溶解度为
产科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学产科学是一门研究女性妊娠期、分娩期
气候气候包括温度、湿度、气压、风力、降水量、大气成分数及众多其他气象要素在很长时期及特定区域内的统计数据。与气候相比，天气是指这些气象要素在近两周内的实时状态。一个地
电泳电泳是空间匀强电场作用下，分散粒子在流体中发生移动的现象。由于各物质的迁移速率有差别，故电泳是分离物质的常用方法。它又可分为：在盛有红褐色Fe(OH)3胶体的U形管的两个管口
尼采弗里德里希·威廉·尼采（德语：Friedrich Wilhelm Nietzsche/ˈniːtʃə/；德语：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI"
详2019冠状病毒病英国疫情，介绍在2019新型冠状病毒疫情中，在英国及其属地发生的情况。2020年1月，希思罗机场加强了对每周从武汉接收的三班直达航班的监控；每一个人都将要接受海关
病理性赌博赌博成瘾或问题赌博（Ludomania）是一种持续需要赌博的心理，尽管患者明知其负面危害，又或希望停止。问题赌博的定义，在于赌徒或其他人受到伤害，而不是赌徒的行为会否构成伤害。对于
镫骨镫骨（stapes /ˈsteɪpiːz/、stirrup）是中耳的一块听小骨，存在于人类和其他哺乳动物。这块骨头形如马镫，贴在卵圆窗上，负责将声波震动由此处传送至内耳。镫骨是人体最小且最轻的
脊髓性肌萎缩症脊髓性肌肉萎缩症（英语：Spinal muscular atrophy，简写为SMA），是一种遗传性神经疾病。它会造成运动神经元退化、肌肉萎缩，肌肉无力，最终造成死亡。控制肌肉的运动神经里的某种蛋白质