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

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
"To love without knowing how to love wounds the person we love."
"I'm interested in the human condition and what makes people tick."
预测未来的最好方法就是去创造未来。
To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
真相总是比小说更奇怪,因为小说必须讲得通,而真相不需要。
在科学的道路上,没有平坦的大道可走,只有不畏劳苦沿着陡峭山路攀登的人,才有希望达到光辉的顶点。
The only way to deal with the world is to write about it.