在1900年，希尔伯特发表了题为《数学问题》著名讲演。 1930年，奥地利数理逻辑学家哥德尔证明了希尔伯特方案是不可能实现的，这使他的伟大蓝图变成了泡影，但这一方案在数学思想上的地位是不可磨火的，正如哥德尔所…