定理是永恒的;它们的证明是短暂的。
Theorems are eternal; their proofs are ephemeral.
Mathematics is not a spectator sport. You have to do it to understand it.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
The strongest people are those who have been through the most.
追求数学真理是一场永无止境的冒险。
The happiness of society is the end of government.