Every journey is a search for the self, even when we think we are running away.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
西方赢得了冷战,但它没有赢得和平。
The limits of sense are not to be determined by the narrow bounds of our own capacities.