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é)史上最偉大的成就之一。