The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
对现实的探求始于我们承认自己的无知。
如果你想理解功能,就研究结构。
The real challenge in computer science is not to write programs, but to understand the nature of computation.