求人须求大丈夫，济人须济急时无。
向人求助之时应该去求真正胸襟开阔的人；帮助别人时要帮助真正需要帮助的人。
学习数学的唯一方法就是做数学。
The heart of any great company lies in its people. Invest in them, and they will invest in the business.
Don’t be afraid to fail, be afraid not to try.
"我写作是为了逃离自己，但最终总是找到自己。"
"I don't want to just be an artist. I want to be a great artist."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
What can be said at all can be said clearly, and what we cannot talk about we must pass over in silence.
过去并未死去，它甚至从未过去。
人们不会使用手持计算器来学习计算，但是却会忘记算术。