最好的领导者是那些最热衷于让比自己更聪明的人围绕在身边的人。
The best leaders are those most interested in surrounding themselves with assistants and associates smarter than they are.
The wise seek happiness within their own souls, while fools search outside.
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 probably not important to mathematics.
复杂性和矛盾不是要解决的问题,而是有待探索的机会。