一旦不再抱那么大的希望，我们就不会再这么愤怒了。《哲学的慰藉》

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

最根本的问题不是什么最好，而是谁来决定什么是最好。

我是行尸走肉，但我只是一个说话的脑袋，一个漂浮的僵尸，但我永远不会死。

2001年，杨元庆来华为参观时，杨元庆表示联想要加大研发投入，做高科技的联想，任正非以一位长者的口吻对他说。