希尔伯特计划

✍ dations ◷ 2025-06-10 13:20:39 #希尔伯特计划

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

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

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

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

相关

  • HACCP危害分析关键控制点(Hazard Analysis and Critical Control Points,简称:HACCP)是一种以科学为依据,保证加工系统流程的食品安全。该系统的重点是以预防的角度来生产最低危害风险
  • 自杀地点下面是关于现在和历史上常为多数人作为自杀之选的地方,通常是自杀者以跳下的方式进行。一些地点被安装了防自杀护栏和其他预防设施。而某些地点的自杀者之确切数字难以确定,因
  • 哈维穆德学院哈维穆德学院(英语:Harvey Mudd College)是一所以科学,工程学和数学为主的私立寄宿制文理学院,成立于1955年,坐落于美国加利福尼亚州克莱蒙特市,系克莱蒙特诸校之一。该学院因哈维
  • 塔纳巴万塔纳巴万(Thana Bhawan),是印度北方邦Muzaffarnagar县的一个城镇。总人口31183(2001年)。该地2001年总人口31183人,其中男性16530人,女性14653人;0—6岁人口5459人,其中男2869人,女259
  • 肃杀刑者肃杀刑者(Code of Honor)是一部由迈克尔·温尼克导演的美国动作电影,主演为史蒂芬·席格。该电影于2016年5月6日在美国上映。该片主要叙述一名曾参加利比亚战争与伊拉克战争的
  • 伊丽莎白·韩斯翠奇伊丽莎白·法兰西丝·韩斯翠奇(英语:Elizabeth Frances Henstridge,1987年9月11日-) 是一名出身自东15表演学院(英语:East 15 Acting School)的英国女演员,最为人熟知的作品为《神盾
  • 鲁布桑旺丹·包勒德鲁布桑旺丹·包勒德(英语:Luvsanvandangiin Bold,1961年-)蒙古族,蒙古乌兰巴托人,蒙古国政治人物。包勒德1961年生于乌兰巴托。早年在民主德国学习,1983年毕业于Hochschule für Gew
  • 阿维尔达 阿维尔达(英语:Awilda/Alwilda)被认为是历史上最古老的女海盗之一,主要活跃于北欧波罗的海。有些历史学家质疑她是否真实存在过。有时她的名字会被错误的拼写成“Alwida”(阿尔维达),而这种拼法在日本相当普遍,日文中她的译名“アルビダ ”也以Alwida的发音为基础。阿维尔达的父亲锡纳德斯(英语:Synardus)是五世纪斯堪的纳维亚的一名国王,据说国王为阿维尔达安排了一场婚姻,对象是丹麦王储阿尔夫(英语:Alf and Alfhild),但阿维尔达拒绝这桩婚事。她和她的一些女性朋友打扮成水
  • 伊翁·提里亚克伊翁·提里亚克(罗马尼亚语:Ion Ţiriac,罗马尼亚语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi U
  • Random Album Title《Random Album Title》是加拿大DJ、电子音乐制作人Deadmau5(乔尔·齐默曼,Joel Zimmerman)的第三张录音室专辑。本专辑于2008年9月2日由Ultra Records(英语:Ultra Records)和Mau5trap(英语:Mau5trap)发行,是Deadmau5的成名作。Deadmau5在该专辑中首次尝试使用类Arial Black字体来作为专辑标题。专辑中包含单曲《Faxing Berlin(英语:Faxing Berlin)》、《Not Exactly(英