实现明天理想的唯一限制是我们今天的疑虑。
形式语言和自动机的研究对于理解计算机科学的理论基础至关重要。
技术应该服务于人,而不是让人去适应技术。
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的:它是关于理解的。
The world is full of chaos, but within that chaos, there is beauty.