某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
网络是我们用来创造一个更平等社会的最有力工具。
预测未来的最好方式就是创造未来。
勇气是面对恐惧时的坚持。
图灵机和现代计算机之间有什么区别?这与希拉里(Hillary)登上珠穆朗玛峰(Everest)和在高峰期建立希尔顿酒店之间的过程相同。
Everyone can be taught to sculpt: Michelangelo would have had to be taught not to. So it is with great programmers.
地壳在某种程度上是过去时间的博物馆。
The leather industry has a rich history, but its future depends on innovation and ethical practices.