几何离散与逻辑
大卫·希尔伯特
1862年-1943年 · 德国
为20世纪数学开出「待办清单」的人
大卫·希尔伯特是德国数学家,为20世纪数学指明了方向。1900年,他提出了23个待解决的问题,为此后一整个世纪的研究绘制了地图。他致力于用少数几条公理重建几何学,并领导「希尔伯特纲领」,试图把整个数学建立在牢不可破的逻辑基础之上。
主要贡献
- 提出希尔伯特23个问题
- 用公理重新奠定几何学基础
- 引领数学基础与形式主义研究
为20世纪数学开出「待办清单」的人
大卫·希尔伯特是德国数学家,为20世纪数学指明了方向。1900年,他提出了23个待解决的问题,为此后一整个世纪的研究绘制了地图。他致力于用少数几条公理重建几何学,并领导「希尔伯特纲领」,试图把整个数学建立在牢不可破的逻辑基础之上。