The future of computer science will be shaped by those who can seamlessly blend mathematical theory with computational practice.
计算机科学的未来将由那些能够无缝融合数学理论与计算实践的人塑造。
我认为最好的表演是本能的。它不是智力的,不是机械的,它是本能的。
智力上复杂的人对所有真正的个性都漠不关心,因为由此产生的关系和反应不能用逻辑操作来穷尽。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。