当下总是不稳定的所在，过去才是你锚定自我的地方。
"The present is always an unstable place, the past is where you anchor yourself."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
The dialogue between client and architect is about as intimate as any conversation you can have.
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的：它是关于理解的。
"We are all so much more than we think we are."