The same principles that at first lead to skepticism pursued to a certain point ends in religion.

Mathematics allows us to see the hidden structures that govern the world around us.

函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。

生活是一系列的时刻，有些转瞬即逝，有些永恒。