摘录《The Calculi of Lambda Conversion》格言名句让我们在迷茫中找到方向不迷失
汇总《An Unsolvable Problem of Elementary Number Theory》格言名句是生活的智慧让我们在困境中坚持 收集《The Calculi of Lambda-Conversion》经典名句点亮生活照亮心灵 摘录《Introduction to Mathematical Logic》名人名言是成功的指南激励我们不断前行
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇   /  《The Calculi of Lambda Conversion》
The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。
阿隆佐·邱奇   /  《The Calculi of Lambda Conversion》
The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
阿隆佐·邱奇   /  《The Calculi of Lambda Conversion》