爱是我们唯一心甘情愿拥抱的疯狂。
Love is the only madness we willingly embrace.
What a fool old Adam was. Had everything his own way; had succeeded in gaining the love of the best looking girl in the neighborhood, but yet unsatisfied with his conquest he had to eat a miserable little apple.
Science is a journey, not a destination.
形式系统的发展彻底改变了我们对数学的理解。