用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
具有坚定意志并能付诸实践的人,才是君子。
The computer is a tool, not a substitute for thinking.
Opposition brings concord. Out of discord comes the fairest harmony.
在阿秒世界里,时间不是一条河流,而是一系列等待被捕捉的快照。
过去是一个异国他乡;那里的人做事方式不同。