A mathematician is a device for turning coffee into theorems.
唯一使生活成为可能的是永久的、无法忍受的不确定性;不知道接下来会发生什么。
Technology will be the great enabler in reducing our carbon footprint.
我从不后悔生命中做过的任何事或任何选择,但我对那些没做过的事充满遗憾。