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

关于阿隆佐·邱奇的名人名言哲理格言警句语录 - 每日文摘
阿隆佐·邱奇 提出λ演算，影响计算理论

阿隆佐·邱奇是美国逻辑学家和计算机科学家，以提出λ演算闻名，对计算理论和逻辑学有深远影响。

The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The paradoxes of set theory are not to be regarded as indicating any inconsistency in the theory itself, but rather as showing that certain methods of reasoning which had been thought to be valid are in fact not so.
集合论的悖论不应被视为理论本身的不一致，而应被视为表明某些被认为有效的推理方法实际上并非如此。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The discovery of the antinomy of the liar and of related antinomies has led to the realization that the intuitive notion of truth is not as simple as it appears at first sight.
发现说谎者悖论及相关悖论使人们认识到，直觉上的真理概念并不像乍看起来那么简单。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.
λ演算的基本概念是函数，被视为一种对应规则。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
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 fact that a certain proposition can be deduced from a certain set of axioms by means of a certain system of rules does not in itself make it true.
某个命题可以从某一组公理通过某一规则系统推导出来，这一事实本身并不使其为真。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇