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.

Evaluation

Login to evaluate.