用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
To write is to give shape to the formless.
每一部电影都是一次旅程,对电影制作人和观众都是如此。
The dialogue between client and architect is about as intimate as any conversation you can have.