证明是一种可重复的说服实验。
A proof is a repeatable experiment in persuasion.
The man who writes about himself and his own time is the only man who writes about all people and about all time.
信息是对不确定性的消除。
The study of computational complexity is not just about solving problems, but also about understanding the limits of what can be computed.
"你越是试图理解,就越少知道。"