You have to be comfortable with being uncomfortable if you want to make progress in mathematics.
The most advanced farming technology is useless without the wisdom to apply it properly.
每本书都是作者首先要独自经历的旅程。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
元素若按其原子量排列,会呈现出性质的周期性。
I always try to find the humanity in every story I tell.