Facts are stubborn things; and whatever may be our wishes, our inclinations, or the dictates of our passion, they cannot alter the state of facts and evidence.

计算复杂性的研究不仅仅是关于解决问题，还在于理解可计算性的极限。