计算复杂性的研究不仅仅是关于问题的分类;它是关于理解计算本身的本质。
I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
Innovation is the vitality of the infrastructure industry, without innovation there is no future.