《Lambda Calculus》的相关内容

在 lambda 演算中，每个表达式都代表一个只有单独参数的函数，这个函数的参数本身也是一个只有单一参数的函数，同时，函数的值是又一个只有单一参数的函数。函数是通过 lambda 表达式匿名地定义的，这个表达式说明了此函数将对其参数进行什么操作。例如，“加 2”函数 f(x) = x + 2 可以用 lambda 演算表示为 λ x. x + 2 (λ y. y + 2 也是一样的，参数的取名无关 ...

Wikipedia（维基百科全书）中关于lambda演算的解释如下： The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. It was introduced by Alonzo Church and Step ...

康托尔、哥德尔、图灵——永恒的金色对角线刘未鹏 /文我看到了它，却不敢相信它。——康托尔计算机是数学家一次失败思考的产物。——无名氏哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特 ...

准备在CommonTemplate(http://commontemplate.org)中实现简单的lambda表达式，转摘一篇介绍性的文章。 先来看一下lambda表达式的基本语法(BNF)： <expr> ::= <identifier> <expr> ::= lambda <identifier-list>. <expr> <expr> ::= (& ...

数学基础差加之受严重的功利主义思想的影响，我对数学一直是没有太大兴趣。不过最近一段时间在看《算法导论》和《SICP》，几周下来发现进度之慢，归结原因是大部分数学知识都被我遗弃了，然后看的时候不得不在案头放上离散数学、微积分、线性代数、统计学、运筹学等大学未弃之书作为速查手册，说能快起来那是在自我忽悠。     做程序不能不懂数学犹如绘画不能不懂素描，基本功扎实了才好发 ...