All earthly existence must ultimately be contained in a book.

自动机和形式语言的研究对于理解计算的极限是基础性的。

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

追求知识是一段永无止境的旅程，每一个发现都为新的问题打开了大门。

Architecture is not just about creating beautiful forms, it's about solving problems.