The true test of a mathematical idea is its ability to inspire further thought.

The concept of nondeterminism in computation is one of the most important ideas in computer science.

"Every discovery in science is a step closer to a cure."

最高的知识是知道我们被神秘所包围。

遗忘的存在从未被证实：我们只知道某些事情在我们需要时不会出现在脑海中。