最終，計算機科學的目標不僅僅是構建更快的機器，而是加深我們對宇宙的理解。
The development of formal systems has revolutionized our understanding of mathematics.
The cognitive map is not a picture or a model in the head, but a dynamic, changing representation of the environment.