希尔伯特计划

✍ dations ◷ 2025-04-05 00:43:44 #希尔伯特计划

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

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

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

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

相关

  • 法荷战争法荷战争,1672年-1678年,是一场欧洲战争,一方为路易十四法兰西王国、瑞典帝国、明斯特主教区、科隆主教区和英国,另一方为荷兰共和国,以及后来加入的神圣罗马帝国、勃兰登堡、西
  • 硒化合物硒化合物是含有硒(Se)元素的化合物,在这些化合物中,硒有着多种氧化态,最常见的是−2、+4和+6。硒化合物在自然界中以各种矿物的形式存在,如硒铅矿(英语:Clausthalite)、硒铋矿(法语:Gua
  • 美国国家肖像画廊美国国家肖像画廊(National Portrait Gallery)位于美国华盛顿特区第8街和F街路口,成立于1962年,1968年向公众开放,属于史密森尼学会,美国名人肖像。国家肖像画廊和史密森尼美国艺
  • 糕点店糕点店或面包糕饼店,零售糕点或面包的专门食品店,专门售卖面包或以售卖面包为主的称为面包店,专门售卖糕饼或以售卖糕饼为主的的称为饼店或糕点店。烘培坊是烘培师傅工作的地方
  • 法利·德昂法利·德昂(Finley Peter Dunne,1867年-1936年),美国幽默作家、新闻工作者,其父母为爱尔兰移民。妻子玛格丽特·阿芭特获得1900年巴黎奥运会高尔夫比赛冠军,是美国第一位女性奥运金
  • 福星高照猪八戒福星高照猪八戒是一部中国古装神话剧。是猪八戒系列电视剧的第二部(第一部是《春光灿烂猪八戒》,第三部是《喜气洋洋猪八戒》)。本剧是《春光灿烂猪八戒》的续篇,于2003年9月
  • 范直彦范直彦(?-?),苏州吴县(今江苏省苏州市)人。北宋朝奉郎。其父范正民北宋团练推官。祖父范纯仁北宋丞相。其曾祖父为北宋政治家、文学家、军事家、教育家范仲淹。
  • 周今觉周达(1879年-1949年),字梅泉、美权,笔名今觉、寄闲,清末民初集邮家。父亲周学海是进士出身,候补扬州同知,负责河防。辛亥革命后曾在上海从事房地产行业,并以集邮为副业。周今觉于45岁
  • 欧洲中世纪狩猎欧洲中世纪狩猎(英语:Medieval hunting)。整个西欧在中世纪,人们会经常猎杀野生动物。这些狩猎活动是一个重要的食物来源,而且这是很少的营养品的主要来源。社会的各个阶层都会从
  • 孙铱孙铱(1993年7月20日-),中国大陆女演员,出生于四川省成都市。