lamda，南大lamda组
一、lamda定理
Lamda定理是一个形式系统，它被设计出来用来研究函数定义，函数应用和递归。它是在二十世纪三十年代由AlonzoChurch和StephenColeKleene发明的。
Church在1936年使用lambda演算来证明了判定问题是没有答案的。Lambda演算可以用来清晰的定义什么是一个可计算的函数。两个lambda演算表达式是否相等的问题不能够被一个通用的算法解决，这是第一个问题，它甚至排在停机问题之前。为了证明停机问题是没有答案的，不可判定性能够被证明。
二、宝马仪表盘lam灯亮是什么意思
需要具体分析。一般情况下，当宝马车辆的仪表盘中的LAM灯亮起来时，表示排气管排放的废气排放浓度过高，引擎的调节参数需要调整。但也可能是其他问题导致的LAM灯亮起来，比如氧传感器的损坏或者空气感应器失灵。因此，需要到专业的维修站进行排故，修理车辆才能消除问题。
三、什么是lambda函数它有什么好处
Lambda其实不是函数，而是表达式，它的英文是「LambdaExpression」，意思是这只是一种表达方式，而不是具体的什么东西。
那Lambda如果具体地说，是什么呢？答案是要看情况。例如，在Java里，Lambda表达式是创造匿名类对象的一种简化写法；在Kotlin里，Lambda表达式是一个函数类型的对象；在Groovy里，Lambda表达式是闭包（Closure）的具体写法。
至于它的好处，就是表面上我们看到的：简洁、直观。
