λ演算本质上是一个关于函数及其应用的理论。

The things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success.

船舶自动转向的引入是一个相当困难的问题，但解决方案在于PID控制器的应用。

数学家们至今徒劳地试图在素数序列中发现某种规律，我们有理由相信这是一个人类思维永远无法穿透的谜题。

释义：他认为气不仅是万物的起源，也是万物的归宿，万物在气的循环中生生不息。