The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函數(shù)的概念在數(shù)學(xué)中是基礎(chǔ)的，而λ演算提供了一種形式化這一概念的方法。
地球在所有方向上都是相同的。
我愛(ài)做女人，我愛(ài)做朋友，我愛(ài)做女兒，我愛(ài)做媽媽
發(fā)現(xiàn)超對(duì)稱將是物理學(xué)史上最偉大的成就之一。