学习lambda演算的先决条件

Question

学习lambda演算的先决条件

theorylambda-calculus

7

有人能告诉我学习λ演算的先决条件是什么吗？（如果有的话）

- Ishihara

这个问题与编程无关。请尝试在 math.stackexchange.com 上提问。 - Cody Gray

@Cody：lambda演算怎么可能与编程无关呢？它就像是所有函数式编程语言的鼻祖。 - sepp2k

就我而言，数学是计算机科学中万事之母。我仍然认为有关学习λ演算的问题并不完全涉及编程。我们似乎已经有了一个适合这些问题的网站。我认为它不适合出现在SO上，因为该问题没有提到任何编程语言，也没有涉及具体的算法，没有发布任何代码等。 - Cody Gray

Lambda演算比它是“数学”更多地属于“计算机科学”。 - Eli Barzilay

2个回答

3

Lambda Calculus本身没有先决条件，即使您不是计算机科学家，甚至不知道递归，您也可以在大约30分钟内非正式地学习(untyped) Lambda Calculus的基础知识。只需点击http://palmstroem.blogspot.de/2012/05/lambda-calculus-for-absolute-dummies.html。这应该能让您对它做什么以及如何工作有一个工作直觉。

如果您熟悉基本的数学符号和递归定义，您可以选择标准介绍。特别是，如果您想了解Lambda Calculus作为Haskell基础的情况，您应该深入了解类型化Lambda Calculus：http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf。

- Weltregierung

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- templatetypedef · Accepted Answer

这实际上取决于您想如何使用lambda演算。如果您只是想了解它的工作原理，那么没有任何先决条件；它相当自包含。但是，如果您想理解有关它的任何证明（图灵完备性、教堂数、标准化等），则可能需要更多的数学先决条件。特别是，我建议您具备归纳证明技巧的背景，尤其是结构归纳。此外，了解一些停机问题或某种不完备定理也可能很有用，因为与lambda演算相关的一些有趣结果涉及非可计算性。