Leadership is about inspiring others to see possibilities where they once saw limits.

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.

People just don't understand how obsessed I am with winning.

唯一使生活成为可能的是永久而难以忍受的不确定性；不知道接下来会发生什么。