有时，最伟大的反抗行为仅仅是记住。
"Sometimes the greatest act of rebellion is simply to remember."
把灯笼背在背上的人，有黑影遮住前路。
"Hope is a verb with its sleeves rolled up."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
La poesía es la única prueba concreta de la existencia del hombre.
The best architecture comes from a synthesis of all the elements that separately comprise a building: the structure that holds it up; the services that allow it to function; the ecology of the building - its relationship to the surroundings; the quality of natural light; the symbolism of the form; the relationship of the building to the skyline.
数学家是把咖啡转化为定理的装置。