True understanding comes from seeing connections between seemingly unrelated ideas.

求学的人必须先立下志向。志向确立后，学问就可以按部就班地下功夫。

这不是关于成为第一个女性，而是关于成为一个优秀的数学家。

Time is what keeps everything from happening at once.

判断两个λ表达式是否等价的问题是无法解决的。

最好的配方来自内心，而不仅仅是食谱书。

数字世界的货币是信任。

"The task of the writer is to make the invisible visible."