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.

设计中的简洁是终极的复杂。

The notion of truth is not definable in any formal system that is strong enough to include arithmetic.

你喜欢的东西，并不意味着世界一定会给你。

过去从未消逝，它甚至还未成为过去。

我认为数学家的作用是发现这些模式并解释它们。

Love is or it ain't. Thin love ain't love at all.

技术最大的敌人是惯性。