元数学

✍ dations ◷ 2025-04-24 18:35:37 #元数学

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

相关

阵发性剧痛症阵发性剧痛症（英语：paroxysmal extreme pain disorder、PEPD）是一种常染色体显性遗传的疼痛性疾病，症状为无征兆的突发性烧灼痛，伴有皮肤潮红，一般发生在直肠、下颌和眼部。阵发性
免疫球蛋白E免疫球蛋白E（英语：Immunoglobulin E，简称IgE）是一类只发现于哺乳动物内的抗体，是正常人血清中含量最小的免疫球蛋白。免疫球蛋白E由黏膜下淋巴组织中的效应B细胞合成，IgE的单体由
临床流行病学临床流行病学是将流行病学知识应用于临床实践。从70年代以来开始盛行，循证医学是临床流行病学应用的表现。与一般的流行病学一样，临床流行病学也分为描述型和分析型两类。
曼吉斯套州曼格斯套州（哈萨克语：Маңғыстау облысы）是哈萨克斯坦的一个州份，西临里海，东邻乌兹别克，南邻土库曼。面积165,600平方公里。人口373,400（2006年资料）。首府阿克套。1
人工电子耳人工耳蜗，亦称为“人工电子耳”，是一种植入式听觉辅助设备，其功能是使重度失聪的病人（聋人）产生一定的声音知觉。与助听器等其它类型的听觉辅助设备不同，人工耳蜗的工作原理不是放
弗拉维奥·比翁多弗拉维奥·比翁多（英语：Flavio Biondo），（1392年－1463年），文艺复兴时期欧洲考古学家。为考古学研究的先驱。他在其所著的一本著作《论拉丁语》（1435年出版）中，他把意大利语和拉丁语两者
乳房切除术在医学中，乳房切除术（英语：Mastectomy）是指手术去除部分或全部，一个或两个乳房的医用术语。做乳房切除术是为了治疗乳癌；在一些情况，被认为是乳腺癌的高危人群的妇女和一些男性，需要
营养补充品营养补充品，又称营养补充剂、膳食补充剂、营养剂、饮食补充剂、保健食品、健康食品等，是一种成分是从食物中萃取对人体有益的营养素（如氨基酸、微量元素、维生素、矿物质等）的补
1515号染色体是人类23对染色体中的一对，正常人拥有2条15号染色体。15号染色体缠绕了约1亿100万碱基对（构筑DNA的材料），并包含了人类细胞中约3%至3.5%的DNA。每条染色体上的基因识
元音附标文字元音附标文字（英语：abugida，出自吉兹字母中的四个字母ሀቡጊደ），又称音素音节文字（英语：alphasyllabary），是一类以辅音字母为主体、元音以附加符号形式标出的表音文字。该书写系统的