数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
人的本性是恶的,那些善良的行为是人为的。
化工行业有能力改变社会,但前提是我们在进步的同时承担责任。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.