每一部电影都是一次旅程,每一次旅程都是一部电影。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
我们将永不停止探索,而我们一切探索的终点,将是到达我们出发的地方,并且生平第一遭知道这地方。