原帖由 3_141592653589 于 2011-5-21 01:06 发表


上个世纪，数学就已然自我证明了其不可能解决一切问题。

数百年前，莱布尼兹希望创造一台可以推演一切问题的机器，终究只是一个幻想罢了。