The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
The road to the heart is the ear.
The study of consciousness must be free from all preconceptions.
他认为,人不抱希望是很傻的。