设定新目标或做新梦想永远不会太老。
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
Art is not a substitute religion: it is a religion in its own right.
A good mystery should keep the reader guessing until the very end, but the clues must all be there.
The universe is a free lunch.