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.

网络背后的梦想是一个共同的信息空间，我们通过共享信息进行交流。

The secret to living is giving.

政府的科学是我必须研究的，比其他所有科学都重要；立法、行政和谈判的艺术应该取代，实际上在某种程度上排除所有其他艺术。

数学的美在于它能够以最优雅和简洁的方式描述宇宙。