The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
I have always preferred working on concrete problems rather than abstract theories.
算法是计算机科学的诗歌,逻辑与创造力在此相遇。
The best way to learn mathematics is to do mathematics.