λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
人类最伟大的能力不是改变世界,而是改变自己。
Pity, or compassion, is an emotion equally natural to all men.
Music is the language of the spirit. It opens the secret of life bringing peace, abolishing strife.
最好的投资是投资于你相信的人。
身体记得头脑试图忘记的事。