### Turing Completeness of the Lambda Calculus Date: 11:15 08/05-15 Location: Incuba-129 Host(s): Christian Clausen
During this talk I will live implement a Turing Machine in Lambda Calculus. This will serve three purposes: it will be a good demonstration of the use of datatypes as taught the week before, it will prove that it is possible to implement large and complex programs in Lambda Calculus, and it will prove that Lambda Calculus is Turing Complete.
### EvaluationLogin to evaluate. |