Always be grateful for what you have.
"Understanding the limits of computation is as important as understanding the limits of mathematics."
逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。