希尔伯特计划

✍ dations ◷ 2025-09-14 14:20:34 #希尔伯特计划

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

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

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

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

相关

  • 洪泛平原河漫滩,又称泛滥平原或洪泛平原,通常位于河流中下游,指由于河流堆积作用而形成的大片堆积体,是河流堆积地貌的一种。常在在枯水季节露出水面,在丰水季节又常被淹没。河漫滩一旦形
  • 湿季雨季,指在降水量有显著季节差异的地区,年降水量主要发生的月份,通常持续一个或多个月 。拥有雨季的地区分布在热带和亚热带。根据柯本气候分类法,对于热带气候,雨季定义为平均降
  • 罗老号运载火箭罗老号(朝鲜语:나로호/羅老號,Naro-1/2/3)又名KSLV-I(Korea Space Launch Vehicle-I),为韩国第一种运载火箭。因在韩国南部全罗南道高兴郡外罗老岛罗老宇航中心发射而得名。罗老号为
  • 恰蒂斯加尔邦恰蒂斯加尔邦(恰蒂斯加尔语/印地语:छत्तीसगढ़,拉丁字母转写:Chattisgarh)是位于印度中部的一个行政邦,它于2000年11月1日从中央邦脱离,成为印度的第26个邦,全国第十大邦,首府
  • 亚当·奈韦尔亚当·奈韦尔(1969年-)是英国一名恐怖小说作家,因其作品《仪式》获奖而知名。亚当出生于英国伯明翰,童年时分别在英国与新西兰度过,成年后于圣安德鲁大学得到创意写作学位,毕业后即
  • 慕尼黑卡尔广场车站慕尼黑卡尔广场车站(德语:Bahnhof München-Karlsplatz),地铁站名卡尔广场站(德语:Karlsplatz)是一座慕尼黑地铁4和5号线和快轨位于莱赫尔的一座车站,位于卡尔广场。这个车站也是一
  • 大帕米尔大帕米尔(瓦罕语:Past Pamir,吉尔吉斯语:Chang Pamir,波斯语:پامیر کلان‎,转写:Pāmīr-e Bozorg / Pāmīr-e Kalan)是帕米尔的八帕之一,位于阿富汗与塔吉克斯坦国界瓦罕东
  • 2018年NBA选秀2018年NBA选秀在2018年6月24日在纽约布鲁克林区的巴克莱中心举行。届时,ESPN将向全美直播。 国家篮球协会(NBA)球队将轮流挑选美国大学篮球业余球员和其他符合资格的球员,包括国际球员。本次选秀将成为最后一次使用2005年的加权选秀抽签系统,新的规则将使得原本选秀顺位在后段的球队中签几率提高。这项规则已经在2017年9月28日的NBA联盟会议中通过,但将会到2019年选秀才会实施新方案。2018年NBA选秀抽签于2018年5月15日举行。选秀的前14个签位归属于14支未能进入季后赛的球队参加;
  • 瓦尔加县 (爱沙尼亚)瓦尔加县(爱沙尼亚语:Valga maakond,或称Valgamaa)是爱沙尼亚15个县之一,位于接壤拉脱维亚的边境,首府瓦尔加。该县位于爱沙尼亚南部,其东面为珀尔瓦县和沃鲁县,北面为维尔扬迪县和塔尔图县,西面和南面是拉脱维亚。面积1,917平方公里。2021年人口为27,983人。瓦尔加县划分为三个乡村型市镇。塔格佩拉庄园塔格佩拉教堂霍尔德雷庄园桑加斯特庄园奎加齐庄园胡穆利庄园
  • 方文培方文培(1899年-1983年),字植夫,男,四川忠县人,中国植物分类学家,曾任四川大学教授,兼任中国科学院植物研究所研究员。