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

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
The brain is a kind of computer, but it's a very different kind of computer from the ones we're used to.
科学不是民主。它是独裁。重要的不是人们相信什么,而是可以通过实验证明什么。
Mathematics is not a spectator sport; you have to play to understand.