数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
The truth is rarely pure and never simple.
革命是被压迫和被剥削者的节日。
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
Dream more, do more, and become more.