计算的研究不仅仅是关于机器，而是关于思维和逻辑的本质。
The study of computation is not just about machines, but about the very nature of thought and logic.
想法是生产中的关键投入，而人是产生想法的关键投入。
人们为了被拯救，会去拯救别人。
I am among those who think that science has great beauty.
数学是一门活生生的学科，随着新的思想和发现不断演变。