数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
生活就是当你忙于制定其他计划时发生的事情。