逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。
The Langlands program is a testament to the power of abstract thought in mathematics.
"You have to be willing to be misunderstood if you're going to innovate."
The body is a site of memory.