—— 请按键盘 空白键 开始游戏 ——

收集《The Calculi of Lambda-Conversion》经典名句点亮生活照亮心灵
汇总《An Unsolvable Problem of Elementary Number Theory》格言名句是生活的智慧让我们在困境中坚持 摘录《The Calculi of Lambda Conversion》格言名句让我们在迷茫中找到方向不迷失 摘录《Introduction to Mathematical Logic》名人名言是成功的指南激励我们不断前行
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《The Calculi of Lambda-Conversion》
The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《The Calculi of Lambda-Conversion》
The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.
λ演算的基本概念是函数，被视为一种对应规则。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《The Calculi of Lambda-Conversion》
The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《The Calculi of Lambda-Conversion》
A function is a rule of correspondence by which when anything is given (as argument) another thing (the value of the function for that argument) may be obtained.
函数是一种对应规则，通过它当给定任何东西（作为参数）时，可以获得另一个东西（该参数的函数值）。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇   /  《The Calculi of Lambda-Conversion》