The study of formal languages and automata is essential for understanding the theoretical underpinnings of computer science.

计算的未来不在于硬件，而在于软件。

Illness is the night-side of life, a more onerous citizenship. Everyone who is born holds dual citizenship, in the kingdom of the well and in the kingdom of the sick.

Psychology must illuminate the practical workings of the mind.

为全人类提供食物的战斗已经结束。为未来全人类提供食物的战斗才刚刚开始。