lambda演算 [资料收集]

对于任何一个发展变化的数学(或物理)系统，只要赋于它的状态以一定的语义，将它从一个状态变换到另一个状态，这个变化过程就是一个演算过程。强人工智能主义者认为：人类思考问题，也是在做某种演算。

 

在经典的计算理论中，演算的最重要的性质就是机械性，这是“演算”的强大威力所在，也是其局限性所在。但是如果把演算的概念扩展到物理世界中，有可能能突破机械性的局限(量子图灵机)。

 

Lambda 演算对函数式程序设计Functional Programming有巨大的影响，特别是Lisp语言的精髓。λ-演算可以说是最简单、最小的一个形式系统。它是在二十世纪三十年代由Alonzo Church 和 Stephen Cole Kleene发明的。

 

Lambda 演算可以被称为最小的通用程序设计语言。它包括一条变换规则（变量替换）和一条函数定义方式，Lambda 演算之通用在于，任何一个可计算函数都能用这种形式来表达和求值。因而，它是等价于图灵机的。尽管如此，Lambda 演算强调的是变换规则的运用，而非实现它们的具体机器。可以认为这是一种更接近软件而非硬件的方式。 

 

http://lambda-the-ultimate.org/

 

http://okmij.org/ftp/Computation/lambda-calc.html

维基百科的介绍

http://zh.wikipedia.org/wiki/%CE%9B%E6%BC%94%E7%AE%97

http://en.wikipedia.org/wiki/Lambda_calculus

http://zh.wikipedia.org/wiki/%E7%AE%80%E5%8D%95%E7%B1%BB%E5%9E%8Blambda%E6%BC%94%E7%AE%97

 

 

mathworld的介绍

http://mathworld.wolfram.com/LambdaCalculus.html 

http://safalra.com/science/lambda-calculus/

 

 

good math  Lamda Calculus (Index)

http://goodmath.blogspot.com/2006/06/lamda-calculus-index.html

 

School of Computer Science and Software Engineering, Faculty of Information Technology, Monash University, Australia 3800

这个大学的FP课程中的Lambda演算相关部分

http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/

wikipedia中lambda演算相关介绍

http://en.wikipedia.org/wiki/Lambda_calculus

《数理逻辑与集合论》第二版 清华大学出版社

 

An Introduction to Lambda Calculus and Scheme

http://www.jetcafe.org/jim/lambda.html

 

Lambda Calculus & A++
http://www.lambda-bound.com/book/lambdacalc/lcalconl.html

 

http://www.aplusplus.net/bookonl/node233.html