λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The only purpose for which power can be rightfully exercised over any member of a civilized community, against his will, is to prevent harm to others.
Technology is just a tool. It's the creativity and imagination of the people using it that makes the difference.