希尔伯特，大卫

---

【生卒】：1862－1943

【介绍】：

德国数学家和逻辑学家，哥丁根数学学派的创始人。

希尔伯特的主要著作涉及到代数不变式论和代数数论，涉及到数学基础和数理逻辑。希尔伯特在《几何基础》(1899年)一书中，按严格的公理系统整理了欧几里德的几何学，这在很大程度上决定了科学知识的公理化研究的进一步发展(参见公理学方法)。希尔伯特在论述命题演算和谓词演算方面的著作具有重大的意义。20世纪初，希尔伯特奠定了用新观点对数学作出论证的基础，这种新的观点一方面导致数学论证中形式主义观念的出现，另一方面又导致新的数学部门——元数学(证明的理论)的产生。