元数学

✍ dations ◷ 2025-05-15 17:11:26 #元数学

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

相关

咯血咳血又称为咯血，是一种症状，指肺或气管中的出血，经由咳嗽而吐出。多半是因为所吐出的痰中带有血丝而被发现。最常见的原因就是支气管炎、肺炎、肺肿瘤、肺结核等疾病。或是使用
恙虫东方体恙虫病东方体（Orientia tsutsugamushi）是恙虫病的病原体。其种小名“tsutsugamushi”源自于日语“つつがむし”，为日本汉字“恙虫”和“病”两字的发音。恙虫东方体的自然病媒
米诺环素米诺环素又称“二甲胺四环素”或“美满环素”，是一种广谱抗菌的四环素类抗生素。它能与tRNA结合，从而达到抑菌的效果。米诺环素比同类药物具有更广的抗菌谱，具有抑菌活性。因为
死亡学死亡学是一门研究死亡的学问。它调查死亡的外在环境与状况，以及相关生还人士的心理状况，以及广大社会对死亡的态度。基本上这门学问跨越许多领域，经常在医疗、护理、兽医等专业
平民保育团平民保育团（Civilian Conservation Corps，CCC）是美国在1933年至1942年间，对19至24岁的单身救济户失业男性推行的以工代赈计划，这些救济户都是在经济大萧条期间失业、难以找到工作
塞利农特塞利农特(希腊语：Σελινοΰς, 意大利语：Selinunte)--一座位于意大利西西里岛南岸的古代城市，该城由希腊人在公元前628年创建。塞利农特是西西里岛南岸的一座重要的城市，公
第一次犹太罗马战争犹太战争，亦称大起义或犹太人大起义，是位于地中海东岸黎凡特的犹太人在公元66年至135年间，对抗罗马帝国的一连串战争大规模的起义。历史上第一次的犹太-罗马战争（公元66-73年）以
食管裂孔疝食管裂孔疝（hiatus hernia、hiatal hernia）是一种疝气，是腹部的器官（通常是胃）通过横膈膜进入纵膈腔中。这可能导致胃食道逆流（GERD）或咽喉反流，其症状包括口腔酸味或胃灼热感。其他
就业推销骗术就业推销法(日文：就活商法)为一种推销诈骗手法，佯装会提供估工作机会然而吸引来想赚钱的求职者最后都成了消费者，在话术中被推销想获得工作机会，必须先购买一些物品或服务，而最后
诺威萨市诺威萨，又译诺维萨德（塞尔维亚语：Нови Сад；德语：Neusatz），欧洲国家塞尔维亚共和国的第二大城市，临近首都贝尔格莱德。诺威萨位于首都贝尔格莱德以北，北纬45.25°，东经19.85°，海