一个好的数学家是能看到定理之间类比的人；一个伟大的数学家是能看到类比之间的类比的人。
A good mathematician is someone who can see analogies between theorems; a great mathematician is someone who can see analogies between analogies.
人一定要懂得“礼”之后才能产生恭敬之心，产生恭敬之心以后才能有所尊敬，有所礼让。
Don't just follow the market—shape it.
The future of computing lies in the development of systems that can verify their own correctness.