希爾伯特，D.
正文
德國數學家，邏輯學家。生於柯尼斯堡（今蘇聯的加里寧格勒）。1880～1884年在柯尼斯堡大學主修數學，1885年獲博士學位，1886年在該校通過講師資格考試，1893年任教授。他於1895年接受數學家F.克萊因（1849～1925）的邀請去哥丁根大學任教，直至1930年退休。希爾伯特對許多數學分支都有卓越貢獻。他曾先後致力於不變性理論、代數數域理論、幾何基礎、積分方程、物理、數學基礎和數理邏輯的研究。
在數理邏輯和數學基礎方面，希爾伯特的工作具有重大的意義和影響。具體表現在:①在1899年出版的《幾何基礎》一書中，給出了一個初步形式化的歐幾里得幾何公理系統，並提出和探討了此系統的邏輯性質，把歐幾里得幾何的一致性歸結為實數系的一致性；②1900年在巴黎第二次國際數學會上發表關於數學23個問題的講話,其中第一個就是如何證明連續統假設和良序定理,第二個是求證實數系統的一致性，他在提出問題的同時還說明了自己對“數學存在”的理解；③從1922年開始提出以他的名字命名的希爾伯特方案。他總結了20世紀初數學基礎方面的爭論，計畫用一種包括邏輯和數學的有窮方法來論證假定了實無窮大的數學系統的一致性。他稱這種研究為“元數學”或“證明論”，並組織力量探索和研究。1931年，K.哥德爾的不完全性定理雖給此方案以衝擊，但希爾伯特對元數學加以擴張後，還取得了一些重要結果。希爾伯特的這些工作推動了數理邏輯和數學基礎的研究，從而發展出數理邏輯的四個分支，即公理集合論、證明論、遞歸論和模型論。
希爾伯特的著作除全集3卷外,還有：《幾何基礎》(1899)、《理論邏輯原理》（與W.阿克曼合著，1928）、《數學基礎》（2卷，與P.貝奈斯合著，1934～1939）。
