心理过程进化是为了解决实际问题。

Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.

NP中的每个问题都可以归约为可满足性问题，这是计算复杂性理论的基石。

我不追求风格。我追求一致性。