理论计算机科学不仅仅是关于算法和数据结构；它是关于理解计算的基本限制。
"Theoretical computer science is not just about algorithms and data structures; it's about understanding the fundamental limits of computation."
The challenge is to express the most with the least.
写作就是留下痕迹，留下痕迹，说“我曾在这里”。
If a doctrine is not unintelligible, it has to be vague; and if neither unintelligible nor vague, it has to be unverifiable.
The test of a psychological idea is its life-enhancing power.