Die Wahrheit ist oft unwahrscheinlicher als die Fiktion.

The only way to discover the limits of the possible is to go beyond them into the impossible.

向更清洁能源的过渡必须实用、经济且可靠。

给我看看你的日程表，我就能知道你的优先顺序。告诉我谁是你的朋友，我就可以知道你要去往何处。

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。