The study of algorithms is as much about creativity as it is about logic and mathematics.
Thinking is the hardest work there is, which is probably the reason why so few engage in it.
写作的行为需要不断地潜入过去的阴影中,在那里时间像幽灵一样徘徊。
The joy of discovery in mathematics is unparalleled.
λ演算本质上是一个关于函数及其应用的理论。