The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
Millions saw the apple fall, but Newton asked why.
The best fiction makes the familiar strange and the strange familiar.
The most powerful works are those that challenge our perception of reality.
I've always been thinking about how to make Japanese art accepted globally.
儿童有着他自己的人格,他自身具有创造精神的美和尊严。这种美和尊严是永远不能磨灭的,所以他的纯洁而非常敏感的心灵需要我们最审慎的爱护。
To be a father is to be condemned to watch your child grow up.
The best way to predict the future is to create it.
永远不要回头看,除非你想走回去。