每日文摘
阿隆佐·邱奇
提出λ演算，影响计算理论
阿隆佐·邱奇是美国逻辑学家和计算机科学家，以提出λ演算闻名，对计算理论和逻辑学有深远影响。
📝 阿隆佐·邱奇 的名言
12句名言
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.
阿隆佐·邱奇
提出λ演算，影响计算理论
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
