—— 请按键盘 空白键 开始游戏 ——

"Every book is a journey, and every journey changes you."
证明的目的是理解,而不仅仅是验证。
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.
To study the phenomena of mind from the standpoint of the soul is nothing less than the way to perfect knowledge.
The world needs your voice, don’t be afraid to use it.
应对过去的唯一方法就是直面它。