元数学

✍ dations ◷ 2024-12-22 11:04:08 #元数学

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

相关

PP00-P04 胎儿和新生儿受母体因素及妊娠、产程和分娩并发症的影响P05-P08 与妊娠期长短和胎儿生长有关的疾患P10-P15 产伤P20-P29 特发于围生期的呼吸和心血管疾患P35-P39 特
麻疹病毒麻疹（拉丁语：Morbilli；德语：Masern；法语：Rougeole；英语：Measles 或 Rubeola；日语：はしか），是麻疹疫苗未出现前，一种好发在儿童身上的传染病，但成人也有一定机会感染。儿童常见的急性病毒是
病程人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学病程，是指一个疾病或者其治疗的持续时
分类药物列表Nervous SystemAntiepilepticsHydantoin derivativesCarboxamide derivativesFatty acid derivativesBarbiturates and derivativesAnalgesicsOpioidsNatural opium alkaloi
奇霉素奇霉素，通常以曲必星(Trobicin)为名贩售，系为一种用以治疗淋病感染症状的抗生素。投药方式是注射进肌肉以发挥药效。常见的副作用包含注射处疼痛、起疹子、恶心、发烧及出现睡
OECD经济合作与发展组织（简称经合组织；英语：Organization for Economic Cooperation and Development，OECD）是全球36个市场经济国家组成的政府间国际组织，总部设在法国巴黎米埃特堡（Ch
心血管绕道手术冠状动脉旁路移植（英语：Coronary artery bypass graft，常缩写为CABG）或心脏绕道手术，俗称冠脉搭桥或搭桥，即冠状动脉旁路移植术，是一项缓解心绞痛和减少冠心病死亡风险的手术。搭桥
南美洲南亚美利加洲（西班牙语：Sudamérica 或 América del Sur；葡萄牙语：América do Sul；法语：Amérique du Sud；英语：South America；荷兰语：Zuid-Amerika；字源：阿美利哥·维斯普西），简称南美
维他命B17扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
自然语言异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学