汉诺威的公爵们认为他们知道莱布尼茨最应当做什么:编写他们的家族史。今天的情况更是如此,那些为科学家们提供生活和工作所必须资源的人竭力要把他们引向那些被认为能够尽快出结果的方向。这不仅在短期内可能是徒劳的,而且更重要的是,如果只重眼前利益,而轻视那些不会带来直接回报的研究,那么最终遭殃的还是我们的未来。

摘自马丁·戴维斯《逻辑的引擎》

(湖南教育出版社,2005

A Review of Engines of Logic