URM computability, recursion and minimalisation, Church’s thesis, universal function, solvability and partial solvability, the imperfection of number theory, complexity theory.
Teaching methods
The amount of tuition depends on the number of credits awarded for the course.
Modes of study
Evaluation
Numeric 1-5.
Study materials
Cutland, Computability. An introduction to recursive function theory.