函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
如果调试是去除软件错误的过程,那么编程必须是引入它们的过程。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
引自海德格尔,孙周兴在著作中多次阐释
The magic of cinema lies in its ability to make us see the world through someone else's eyes.