出生年代： 1862-1943　国籍：德国

希尔伯特，（David Hilbert，1862年1月23日～1943年2月14日），德国著名数学家，是20世纪最伟大的数学家之一，被后人称为“数学世界的亚历山大”。 他对数学的贡献是巨大的和多方面的，研究领域涉及代数不变式，代数数域，几何基础，变分法，积分方程，无穷维空间，物理学和数学基础等。他在1899年出版的《几何基础》成为近代公理化方法的代表作，且由此推动形成了“数学公理化学派”，可以说希尔伯特是近代形式公理学派的创始人。

1900年8月8日，在巴黎第二届国际数学家大会上，希尔伯特提出了新世纪数学家应当努力解决的23个数学问题，被认为是20世纪数学的至高点。对这些问题的研究有力推动了20世纪数学的发展，在世界上产生了深远的影响。希尔伯特领导的数学学派是19世纪末20世纪初数学界的一面旗帜，希尔伯特被称为“数学界的无冕之王”，他是天才中的天才。

希尔伯特是20世纪最伟大的数学家之一。他的数学贡献是巨大的和多方面的。他解决了代木贞治、阿根廷等人发展成一门完整的学科。1899年，希尔伯特在《几何基础》一书中，第一次给出了完备的欧几里得几何公式体系，奠定了现代公理化方法的基础。希尔伯特用对数不变式问题。1989年，他的论文《相对阿贝尔域理论》中概括地提出了类域论，后经高角线方法证明了狄利克雷原理，丰富了变分法的经典理论。希尔伯特对积分方程及无穷维空间理论也有深入的工作，建立了希尔伯特空间理论（1904—1912），1912—1922年希尔伯特曾专注于理论物理领域，其目标是用公理化新手法整理近代物理学的重要部门，获得很多成果。1918年以后，希尔伯特发展了早期关于几何基础的工作，其主要思想被概括为所谓【形式主义计划】。提出了证明论（或积元数学），成为数理逻辑五大主要部门之一。

希尔伯特的数学工作可以划分为几个不同的时期，每个时期他几乎都集中精力研究一类问题。按时间顺序，他的主要研究内容有：不变量理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础，其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间”等。

在这些领域中，他都做出了重大的或开创性的贡献。希尔伯特认为，科学在每个时代都有它自己的问题，而这些问题的解决对于科学发展具有深远意义。他指出：“只要一门科学分支能提出大量的问题，它就充满着生命力，而问题缺乏则预示着独立发展的衰亡和终止。”

在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题统称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用。希尔伯特问题中有些现已得到圆满解决，有些至今仍未得到解决。他在讲演中所阐发的相信每个数学问题都可以得到解决的信念，对数学工作者是一种巨大的鼓舞。他说：“在我们中间，常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯思维找到它，因为在数学中没有不可知。”三十年后，1930年，在接受哥尼斯堡荣誉市民称号的讲演中，针对一些人信奉的不可知论观点，他再次满怀信心地宣称：“我们必须知道，我们必将知道。”希尔伯特去世后，这句话就刻在了他的墓碑上。

希尔伯特的《几何基础》（1899年）是公理化思想的代表作，书中把欧几里得几何学加以整理，成为建立在一组简单公理基础上的纯粹演绎系统，并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。

1904年，又着手研究数学基础问题，经过多年酝酿，于二十年代初，提出了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统，并从不假定实无穷的有穷观点出发，建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质，从而创立了元数学和证明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明，以便克服悖论引起的危机，一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。

1930年，年轻的奥地利数理逻辑学家哥德尔（K.G?del，1906～1978）获得了否定的结果，证明了希尔伯特方案是不可能实现的。但正如哥德尔所说，希尔伯特有关数学基础的方案“仍不失其重要性，并继续引起人们的高度兴趣。”