用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
书是一扇门,你打开它,然后走进去。
真正的冒险不是在地理上的探索,而是在心灵深处的旅程。
最好的团队是那些彼此信任的团队。
我们需要对非人类发展出一种新的敏感性。
永远要黑白分明、百折不回。你的诚信必须要毋庸置疑。当一个人不需要付出代价或承担后果的时候,坚持做正确的事情并非难事。但当必须得放弃一些东西时,你就很难保持信用记录。要始终言而有信,不要为了自己的利益误导任何人。