# Notes (Week 1)

## Table of Contents

## 1 Computability

To get a basic idea of the notion of ''computability'', please study the following two Wikipedia articles. They are not very deep, but they will give you a general understanding of this fundamental topic:

## 2 Lambda calculus

To get a basic understanding of the lambda calculus, please study the Wikipedia article:

Liam has also made an interactive lambda calculus evaluator, available here:

## 3 History (optional)

If you want to read up on some of the people beyond Alan Turing I mentioned in the lecture, their Wikipedia pages are good starting points.

The book Gödel, Escher, Bach: an eternal golden braid explores (among other topics) the consequences of the incompleteness theorem.