希尔伯特计划

✍ dations ◷ 2025-07-27 12:14:48 #希尔伯特计划

希尔伯特计划是由德国数学家大卫‧希尔伯特在1920年代提出的一个数学计划。它是一个关于公理系统相容性的严谨证明的一项计划。

这个计划不应该和希尔伯特的二十三个问题混淆,不过这个计划对数学的发展也有着重要的影响。

哥德尔不完备定理指出,希尔伯特计划大多数目标无法实现。

这个计划的主要目标,是为全部的数学提供一个安全的理论基础。具体地,这个基础应该包括:

相关

  • 布基纳法索面积以下资讯是以2019年估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018
  • 数量级数量级是指数量的尺度或大小的级别,每个级别之间保持固定的比例。通常采用的比例有 10、2、1000、1024、e (欧拉数,大约等于 2.71828182846 的超越数,即自然对数的底)。通常情况
  • 罗伯特三世罗伯特三世(1340年9月27日-1406年4月4日),原名约翰·斯图亚特(John Stewart),是14世纪末15世纪初的苏格兰国王,斯图亚特王朝的第二代君主。罗伯特三世是前任君主罗伯特二世和他的情
  • 缎是一种丝织品,经丝或纬丝中只有一种显露于表面,相邻的两根经丝或纬丝上的组织点均匀分布,但不相连,故外观光亮平滑,质地柔软,但反面无光。 缎的品种很多,是丝绸产品中技术最为复
  • 约翰·多恩约翰·多恩(又译邓约翰;英语:John Donne, 1572年-1631年3月31日)是英国詹姆斯一世时期的玄学派诗人,他的作品包括十四行诗、爱情诗、宗教诗、拉丁译本、隽语、挽歌、歌词等。出生
  • 汶山车辆基地汶山车辆基地(朝鲜语:문산차량사업소/汶山車輛事業所  */?)是韩国铁道公社位于京畿道坡州市的一个车辆段,在京义线附近,北接汶山站。这个车辆段主要用于首都圈电铁京义线的33100
  • 稻叶敦志稻叶敦志(1971年8月28日-),日本的游戏设计师,出生于石川县金泽市。早年于Irem、SNK就职程序员,1998年加入CAPCOM。后来成为CAPCOM的第四开发部的制作人以及第九开发部的部长,并于20
  • 爱利脱利亚海周航记《爱利脱利亚海周航记 》(希腊语:Περίπλους τῆς Ἐρυθράς Θαλάσσης, 拉丁语:Periplus Maris Erythraei),又译《厄立特里亚海航行记》、《
  • 广州医药足球俱乐部2008赛季2008赛季是广州足球俱乐部在中超联赛的第一个赛季。本文介绍统计俱乐部在2008年赛季俱乐部的球员,也列出了所有比赛。赛事时间:2008年4月7日-07月15日
  • Jay-Z肖恩·科里·卡特(英语:Shawn Corey Carter,1969年12月4日-),艺名杰斯(Jay-Z,形象化为JAY-Z),是一名美国饶舌歌手、企业家、词曲作家和声乐制作人,他是世界上最畅销的音乐艺人之一,也是有史以来最受好评的饶舌歌手之一。他曾经是Def Jam与Roc-a-Fella两间音乐制作公司的执行长并持有40/40俱乐部酒吧与布鲁克林篮网的股份。在美国,他是获得最大经济上成功的嘻哈音乐艺人和企业家之一,在美国本土售出了超过2600万张唱片。他受到高度而有钻研性的赞扬的专辑《蓝图》只用了