元数学

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

相关

  • 牙病牙病是指先天性或后天性的任何牙齿疾病,是人类最常见的疾病之一。
  • 腺苷脱氨酶缺乏症腺苷脱氨酶缺乏症(英语:Adenosine deaminase deficiency)缺乏症是一种体染色体隐性遗传疾病 ,会破坏免疫系统并导致严重复合型免疫缺乏症(SCID)。此病的病因是腺苷脱氨酶(ADA)缺乏导
  • 高收入经济体高收入经济体(high-income economy),根据世界银行的定义,使用图表集法计算的人均国民总收入超过某个标准的经济体,称为高收入经济体。此标准在2018年为12,355美元。“高收入经济
  • 扩散核武器扩散是指地球上越来越多国家拥有核武器且核物总数越来越多的状态,其带来的政治、军事、经济相关变化和问题。垂直扩散指的是一个国家同时增加核武器的种类多样性和数量
  • 幽门狭窄幽门狭窄(Pyloric stenosis)是指胃部和小肠之间的幽门窄化的状况。症状为喷射性呕吐,且呕吐物不含胆汁,好发于婴儿吃奶之后。此一症状通常出现在婴儿出生二周到十二周之间的期间
  • 古希腊神庙列表本条目主旨在于介绍各地区的希腊神庙,如欲详细了解神庙内部建筑规模请参阅古希腊神庙条目。节庆:这里所陈述的古希腊神庙列表是希腊人由公元前六世纪到西元二世纪之间的神殿建
  • 自然死亡非正常死亡在法医学上指由外部作用导致的死亡,包括火灾、溺水等自然灾难;或工伤、医疗事故、交通事故、自杀、他杀、受伤害等人为事故致死。与之相对的正常死亡,则指由内在的健
  • 国际癌症研究机构国际癌症研究机构(英语:International Agency for Research on Cancer,简称IARC)是世界卫生组织下属的一个跨政府机构,办公地点设在法国的里昂。该机构的主要任务是进行和促进对
  • 亚伦·贝克亚伦·特姆金·贝克(英语:Aaron Temkin Beck,1921年7月18日-),美国精神病医生,同时也是宾夕法尼亚大学精神病学的名誉教授。他是认知疗法之父,他开创性的理论被广泛应用于临床治疗抑
  • 血蓝蛋白结构 / ECOD1oxy :110-373 1nol :110-373 1lla :110-373 1ll1 :110-373 1hc1A:136-393 1hcyD:136-393 1hc6B:136-393 1hc4C:136-393 1hc3C:136-393结构 /