摘要：
哥尼斯堡，这个德国小镇以拥有 7 座令人晕头转向的小桥而著名（直到瑞士人欧拉发明图论治好了晕头症）。一个被当地人用来对时的超级宅男诞生于此，他的名字叫康德。若干年后，康德仙逝，康德的母校迎来了一位新同学，他的名字叫希尔伯特。勤奋好学的希尔伯特迅速成长为数学界的带头大哥。在风起云涌的 1920 年代，这位带头大哥为江湖侠士们编织了一个值得赴汤蹈火、万死不辞的伟大梦想：构造一个完美的（一致且完备的）形式证明系统，用以证明任何数学命题的真假。（这令人想起他的德国前辈莱布尼茨）。直到 1930 年退休时，希尔伯特仍然对此心怀壮志，他掷地有声的放言：我们必须知道，我们必将知道（Wir müss 阅读全文
posted @ 2012-07-24 21:53 ilogic 阅读(755) 评论(0) 推荐(0) 编辑