对于任何一个发展变化的数学(或物理)系统,只要赋于它的状态以一定的语义,将它从一个状态变换到另一个状态,这个变化过程就是一个演算过程。强人工智能主义者认为:人类思考问题,也是在做某种演算。
在经典的计算理论中,演算的最重要的性质就是机械性,这是“演算”的强大威力所在,也是其局限性所在。但是如果把演算的概念扩展到物理世界中,有可能能突破机械性的局限(量子图灵机)。
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