阿隆佐·邱奇 编辑
阿隆佐·邱奇是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。
8
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
邱奇编码是把数据和运算符嵌入到Lambda演算内的一种方式，最常见的形式即邱奇数，它使用lambda符号表示自然数。方法得名于阿隆佐·邱奇，他首先以这种方法把数据编码到lambda演算中。
彼得·约翰·兰丁，英国计算机科学家。他最早提出阿隆佐·邱奇的Λ演算可以被用作计算机程序语言的模型，这后来成为函数式编程和指称语义的基础。
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。
λ演算是一套从数学逻辑中发展，以变数绑定和替换的规则，来研究函数如何抽象化定义、函式如何被应用以及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。