The challenge of computer science is not just to build faster machines, but to understand the very fabric of computational possibility.
自动机和形式语言的研究对于理解计算的极限是基础性的。
我们希望能释放(内心的)怪兽,让它们和世界打交道。
共识是缺乏领导力的表现。
【译文】 孔子说:“不到苦思冥想时,不去提醒;不到欲说无语时,不去引导。不能举一例能理解三个类似的问题,就不要再教他了。”
忙碌的人没有时间流泪
The architect must be a craftsman.
开放的社会、对知识的无限制获取、人们为推进知识而进行的无计划和无拘束的联合——这些可能使一个庞大、复杂、不断增长、日益专业化和技术化的世界,仍然是一个人类共同体的世界。