NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
最好的建筑是人性化的。
The Langlands program is a vision of the future of mathematics.