学习lambda微积分的先决条件

Question

谁能告诉我学习Lambda微积分的先决条件（如果有的话）？

Answer 1

这实际上取决于您想对Lambda演算做什么。如果您想学习它只是为了查看它的工作原理，那真的没有任何先决条件。这是非常独立的。但是，如果您想了解有关它的任何证据（图灵完整，教会数字，正常化等），则可能需要更多的数学预先准则。特别是，我建议使用电感证明技术，尤其是结构诱导的背景。了解停止问题或某种不完整定理可能也可能很高兴，因为Lambda微积分的某些有趣结果涉及不可及性。

Answer 2

没有理解Lambda微积分本身的先决条件。如果您不是计算机科学家，甚至都不知道递归，则可以在大约30分钟内非正式地学习（Untyped）Lambda微积分的基础知识： http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html 这应该为您提供有关它的作用和工作方式的工作直觉。

如果您熟悉基本的数学符号和递归定义，则可以进行标准介绍。特别是，如果您想了解Lambda演算作为Haskell的基础，则应深入研究类型的Lambda Colculus的深处： http://www.cse.chalmers.se/research/group/logic/typessss05/extra/geuvers.pdf