數學家希爾伯特在《幾何基礎》中提出了從公理化走向機械化的數學構想。
知識科普：
戴維·希爾伯特，又譯大衛·希爾伯特，（David Hilbert，1862年1月23日～1943年2月14日），德國著名數學家，是20世紀最偉大的數學家之壹，被後人稱為“數學世界的亞歷山大”。 他對數學的貢獻是巨大的和多方面的，研究領域涉及代數不變式，代數數域，幾何基礎，變分法，積分方程，無窮維空間，物理學和數學基礎等。他在1899年出版的《幾何基礎》成為近代公理化方法的代表作，且由此推動形成了“數學公理化學派”，可以說希爾伯特是近代形式公理學派的創始人。?
1900年8月8日，在巴黎第二屆國際數學家大會上，希爾伯特提出了新世紀數學家應當努力解決的23個數學問題，被認為是20世紀數學的至高點。對這些問題的研究有力推動了20世紀數學的發展，在世界上產生了深遠的影響。希爾伯特領導的數學學派是19世紀末20世紀初數學界的壹面旗幟，希爾伯特被稱為“數學界的無冕之王”，他是天才中的天才。