元数学

✍ dations ◷ 2025-04-03 13:29:11 #元数学

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

相关

运动医学运动医学（英文：Sports Medicine）为医学的一个分支，为复健医学的一个次专科，范畴为研究体适能、防止及处理与运动及体能锻炼相关的创伤。20世纪后期，运动医学才从医疗卫生中分门别
脱铁杆菌门脱铁杆菌门(Deferribacteres)是一类通过专性或兼性厌氧代谢获得能量的细菌，可利用多种电子受体。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
合成生物学合成生物学（英语：synthetic biology）是将生物科学应用到日常生活中的一种崭新方式。英国伦敦的皇家科学院（Royal Society）认为：合成生物学结合了其他领域的知识与工具，涉及的领域包
深部静脉栓塞深静脉血栓是在深静脉形成的血栓，常形成于下肢或骨盆部位深处的静脉。有时也形成于上肢的静脉（这被称为Paget-Schrötter综合症（英语：Paget–Schroetter disease））。近期接受外科
核动力推进核动力推进，或核动力驱动，是一大类的推进系统使用核反应作为主要的功能装置，不特指船舰的动力，也可以是陆上，航天器的能量来源。很多潜艇，以及破冰船等使用核反应堆做为他们的动力
革马拉《革马拉》（英语：Gemara，英语：Gemora或英语：Gemorra），犹太教经典，是《塔木德》的一部分。主要的内容是在于解释《密西拿》中犹太口传律法的意义。革马拉，源自于亚拉姆语的 גמרא（ga
喉乳头状瘤喉乳头状瘤（laryngeal papillomatosis）亦称为复发性呼吸道乳头状瘤（recurrent respiratory papillomatosis）或声门状乳头状瘤（glottal papillomatosis）或与尖锐湿疣相关，是一种罕见
唑类唑（Azole）在有机化合物的命名中指五元环骨架的两个或两个以上杂原子，其中至少一个是氮的杂环化合物。该名称源于Hantzsch-Widman杂环命名系统（英语：Hantzsch–Widman nomenclatur
科摩多巨蜥科摩多巨蜥（学名：Varanus komodoensis）又译科莫多巨蜥，俗称科摩多龙，属于巨蜥科巨蜥属，是现存世上体型最大的蜥蜴，仅分布于印度尼西亚的四个岛屿。科摩多巨蜥是现今体型最大的蜥蜴，
基频基本频率（或简称基频、fundamental frequency），当发声体由于振动而发出声音时，声音一般可以分解为许多单纯的正弦波，也就是说所有的自然声音基本都是由许多频率不同的正弦波组成