理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。
The biographer's task is to resurrect the past, not to judge it.
There are certain things that we cannot make ourselves believe, no matter how hard we try.