The best artworks are questions, not answers.
"The challenge of acting is to live truthfully under imaginary circumstances."
The goal of computer architecture is to make the common case fast and the rare case correct.
逻辑学研究不仅仅是关于正确推理,而是关于思想的解放。