德国数学家。哥尼斯堡大学哲学博士。哥尼斯堡大学、格丁根大学教授。柏林科学院院士。早期研究代数不变式论、代数数论、几何学基础，后来又研究变分法、积分方程、函数空间和数学物理方法等。1899年出版《几何基础》一书，把欧几里得几何学整理为从公理出发的纯粹演绎系统，并把注意力转移到公理系统的逻辑结构，成为20世纪初公理化思想的代表作。晚年致力于*数学基础问题，把公理系统的无矛盾性看成为数学可靠性的标准，是*形式主义学派的代表人物。1900年在国际数学家大会上提出23个数学问题，后来统称为“希尔伯特问题”，对20世纪的数学研究有很大影响。