λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"We are all of us made up of several people, and we contain the potential for all possible futures."