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

I’m not a guy that’s going to let my passion down.
The best way to predict the future is to create it.
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.
Science cannot solve the ultimate mystery of nature. And that is because, in the last analysis, we ourselves are part of nature and therefore part of the mystery that we are trying to solve.