"The past is always with us, whether we acknowledge it or not."

哲学的任务不是去发现什么是真实的，而是去理解我们已经知道的东西。

出自《海国图志序》。善于学习外国的长处，就能够征服外国;不善于学习外国的长处就会被外国所征服。

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

"To be born poor is an accident, but to die poor is a choice."

"I couldn’t be in a play because plays are not real life and they are full of people doing things that don’t make sense."

文学的本质在于捕捉人类存在的短暂瞬间，并通过文字赋予它们永恒。