Software System Design and Implementation (18s1)

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.

2018-03-23 Fri 13:33

Announcements RSS