The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
在量子力学中,粒子的概念失去了它通常的意义。
Setting goals is the first step in turning the invisible into the visible.
So given a Time Turner, I would tell my 21-year-old self that personal happiness lies in knowing that life is not a check-list of acquisition or achievement. Your qualifications, your CV, are not your life, though you will meet many people of my age and older who confuse the two. Life is difficult, and complicated, and beyond anyone’s total control, and the humility to know that will enable you to survive its vicissitudes.
科学的进步不仅依赖于知识的积累,还需要有挑战未知的勇气。
空容器发出的声音最大。
The human being is a most curious creature. He thinks he has a soul, but all he has is a body.
我们都是自己故事中的英雄。