20世纪数学先知
希尔伯特(1862-1943)在1900年提出23个未解问题,引导20世纪数学发展。在函数空间、数学基础、代数不变量方面贡献巨大。
Proposed 23 problems in 1900 guiding 20th-century math.希尔伯特计划与哥德尔的打击
希望将全部数学建立于一致完备的公理系统之上。1931年哥德尔用不完备定理证明此计划不可能。
希尔伯特(1862-1943)在1900年提出23个未解问题,引导20世纪数学发展。在函数空间、数学基础、代数不变量方面贡献巨大。
Proposed 23 problems in 1900 guiding 20th-century math.希望将全部数学建立于一致完备的公理系统之上。1931年哥德尔用不完备定理证明此计划不可能。