λ演算是一种表示函数及其应用的形式体系。

预测未来的最好方法就是创造未来。

I have great faith in fools; self-confidence my friends call it.

商业的本质是创造价值，而不是简单的交易。

Liberal democracy may constitute the "end point of mankind's ideological evolution" and the "final form of human government."

纠错是使量子计算机实用的关键。

每个人对自己劳动的产权既是所有其他产权的最初基础，也是最神圣和不可侵犯的。