λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
科学不仅是知识的学科,更是一种思维方式。
The most important thing is that we develop an interest in the world and take joy in our fellow human beings.