改变世界的阻碍,并非人类的冷漠,而是世界实在太复杂。
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.