数学之美在于它是人类少数几个可以知晓绝对真理的领域之一。

The future of computing lies in the development of systems that can verify their own correctness.

没有功能的设计是艺术，但有功能的设计改变生活。

Architecture should be a collective act, a dialogue between the architect and society.

旅行对我来说，是恢复青春活力的源泉。