有谁能告诉我学习lambda演算的先决条件（如果有的话）是什么？
答案 0 :(得分：5)
这实际上取决于你想用lambda演算做什么。如果你想学习它只是为了看它是如何工作的，那真的没有任何先决条件;它非常独立。但是，如果你想了解它的任何证明（图灵完整性，教会数字，规范化等），你可能需要更多的数学先验。特别是，我建议了归纳证明技术的背景，特别是结构感应。也许对暂停问题或某种不完整性定理有所了解也很好，因为lambda演算的一些有趣结果涉及不可计算性。
答案 1 :(得分：3)
理解Lambda微积分本身没有先决条件。如果您不是计算机科学家，甚至不知道递归，您可以在大约30分钟内非正式地学习（无类型）Lambda微积分的基础知识：http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html 这应该会让你对它的作用及其运作方式有一个直觉。
如果您熟悉基本的数学符号和递归定义，则可以进行标准介绍。特别是，如果你想了解Lambda微积分作为Haskell的基础，你应该深入研究输入的Lambda微积分的深度：http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf