一座建筑必须忠于它自己。
Mathematics is a creative endeavor, just like art or music.
The principles of logic and mathematics are true universally simply because we never allow them to be anything else.
程序测试可以用来显示错误的存在，但永远不能显示它们的缺失！
Never let your sense of morals prevent you from doing what is right.
"Memory is a strange thing, it doesn't work like I thought it did. We are so used to thinking of it as a camera or a tape recorder, but it's not like that at all. It's more like a painter, who adds and subtracts elements according to his own rules."
