大卫·希尔伯特
概述
大卫·希尔伯特（David Hilbert，1862–1943）是德国数学家，20世纪最具影响力的数学家之一。他在数学基础（公理化方法）、不变量理论、积分方程、泛函分析、数学物理等领域做出开创性贡献。1900年提出的"希尔伯特23个问题"深刻影响了20世纪数学研究方向。哥廷根大学（Göttingen）在他领导下成为世界数学中心。
关键内容
主要贡献
- 公理化方法：1899年《几何基础》彻底公理化欧几里得几何，奠定现代公理化数学的范式
- 希尔伯特空间：泛函分析的核心概念，统一了线性代数与分析，是量子力学数学框架的基础
- 希尔伯特23个问题（1900）：巴黎数学大会提出，涵盖从黎曼猜想到数学基础，多数已解决，部分仍未解决（如黎曼假设）
- 不变量理论：彻底解决代数不变量有限基定理（用非构造性证明引发争议）
- 积分方程：系统建立积分方程理论，开创算子理论先河
Hilbert 形式化纲领与判定问题
1928年，Hilbert 明确提出了判定问题（Entscheidungsproblem）：是否存在一种通用的、机械化的方法，能够判定一阶谓词逻辑中任意命题的真假？这是 Hilbert 形式化纲领的核心支柱之一，其愿景是：如果数学可以被完全形式化且可判定，那么原则上所有数学真理都可以通过一台机器被自动发现和验证。
然而，这一梦想被连续击碎： - 1931年：Godel 不完备定理证明了任何足够强的形式系统都无法同时满足一致性和完备性 - 1936年：Church 率先使用 λ 演算给出否定回答；几乎同时，Turing 独立地用图灵机给出了同样的结论
判定问题的否定回答意味着：数学推理不能被完全机械化——人类的数学直觉和创造力具有某种不可被机器替代的本质。
在哥廷根的影响
希尔伯特领导的哥廷根学派吸引了冯·诺依曼、外尔、闵科夫斯基等一代数学家，直至1933年纳粹上台导致学派瓦解。