太美妙了

看完了前4章，太震撼太美妙了！ 从来没有想到过，在康托尔、希尔伯特、哥德尔、图灵这些天才之间有如此清晰一条脉络相承！而上个世纪之初发生在罗素/怀特海、庞加莱和希尔伯特之间关于逻辑主义、直觉主义和形式主义的数学哲学大论战，竟然也直接影响了计算机是否能超过人脑这个命题。 希尔伯特在1900年巴黎数学家大会上提出是否存在解决数学问题的一般算法步骤，以期用固定公理和...>>查看原文