函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
我不想成为环境的产物。我希望我的环境成为我的产物。
In language, we find the essence of human creativity.
"The world is a prison, and language is the key."
风、海和移动的潮汐就是它们本来的样子。如果其中有奇迹、美丽和庄严，科学将会发现这些品质。