The fact that a certain proposition can be deduced from a certain set of axioms by means of a certain system of rules does not in itself make it true.
某个命题可以从某一组公理通过某一规则系统推导出来，这一事实本身并不使其为真。
Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.
在你20多岁的时候，是发展你职业生涯的最佳时机。
我不在乎别人是否怀疑我，我相信自己。
只有首先看到事情的可能性，才会有发生的机会。
企业的成功不仅仅依赖于技术，更依赖于对市场的深刻理解和快速反应。