Lecturer: Marcus Tressl

School websites of the course: MATH43042 / MATH63042

A good

Tuesday 9.00-10.00 and Friday 13.00-15.00. Room: Alan Turing G.113

Lecture Notes | Example Sheets (to be worked on in the week shown in the first column) | |
---|---|---|

Week 1 | Chapters 1 - 5 | Please read section 1.1 of Chapter 1 and the revision notes |

Week 2 | Sheet 1 (solutions) | |

Week 3 | Sheet 2 (solutions) | |

Week 4 |
Sheet 3 (solutions) | |

Week 5 | Sheet 4 (solutions) | |

Week 6 | Sheet 5 (solutions) | |

Week 7 | Sheet 6 (solutions) | |

Week 8: Mar 18 - 22 |

- [
**Cutland**] Nigel Cutland. Computability. Cambridge University Press, Cambridge, 1980. An introduction to recursive function theory. -
[
**DaPuRo**] Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Ann. of Math. (2), 74:425-436, 1961. -
[
**Goedel63**] Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems. Translated by B. Meltzer, with an introduction by R. B. Braithwaite. Basic Books Inc. Publishers, New York, 1963. -
[
**Goedel31**] Kurt Gödel. Über formal unentscheidbare Sätze der principia mathematica und verwandter Systeme. I. Monatsh. Math., 149(1):1-30, 2006. Reprinted from Monatsh. Math. Phys. 38 (1931), 173-198 [MR1549910], With an introduction by Sy David Friedman. -
[
**Grzegorczyk**] Andrzej Grzegorczyk. Undecidability of some topological theories. Fund. Math., 38:137-152, 1951. -
[
**Matija**] Ju. V. Matijasevic. The Diophantineness of enumerable sets. Dokl. Akad. Nauk SSSR, 191:279-282, 1970. -
[
**Rautenberg**] Wolfgang Rautenberg. A concise introduction to mathematical logic. Universitext. Springer, New York, second edition, 2006. With a foreword by Lev Beklemishev. -
[
**Robinson**] Julia Robinson. The undecidability of algebraic rings and fields. Proc. Amer. Math. Soc., 10:950-957, 1959. -
[
**Smullyan**] Raymond M. Smullyan. Gödel's incompleteness theorems, volume 19 of Oxford Logic Guides. The Clarendon Press Oxford University Press, New York, 1992. -
[
**Tarski**] Alfred Tarski. Undecidable theories. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1953. In collaboration with Andrzej Mostowski and Raphael M. Robinson. -
[
**PrLog**] Marcus Tressl. Predicate Logic. Lecture Notes, 2016. pdf -
[
**Encyclopedia**] http://plato.stanford.edu/entries/goedel-incompleteness/