MAGIC107: Computability Theory and Applications

Course details

A specialist MAGIC course

Semester

Spring 2023
Monday, January 23rd to Friday, March 31st

Hours

Live lecture hours
10
Recorded lecture hours
0
Total advised study hours
40

Description

This is an introductory course on computability theory, the branch of mathematical logic concerned with classifying sets of natural numbers by how much extra information is needed to describe them by computer programs.  The computational strength of a set is intimately tied to the complexity of its definition, thus, more generally, computability theory is the study of definable sets of natural numbers.  Any countable mathematical object, such as a countable ring or a countable graph, can be coded by a set of natural numbers.  A continuous function on the reals, for example, can be coded by a set of natural numbers too.  Thus the techniques and results of computability theory can be applied to describe the complexities of all manner of mathematical objects.

The computational strength of a set is measured by its Turing degree.  The collection of all Turing degrees has a rich structure and is the central object of study in computability theory.  This course introduces the basic theory of the Turing degrees.  Time permitting, the course also surveys contemporary research directions that connect to other areas of mathematics, such as reverse mathematics and algorithmic randomness. 

Prerequisites

The following prerequisites are preferable but not essential:
  • A basic knowledge of first-order logic. 
  • Familiarity with a formal model of computation, such as Turing machines, register machines, while programs, or similar. 
  • A basic knowledge of undecidability, such as many-one reducibility and the undecidability of the halting problem. 

Syllabus

Core topics:
  • Review of computable functions, computably enumerable sets, and undecidability.
  • Turing reducibility.
  • The arithmetical hierarchy.
  • Basic structure of the Turing degrees.
  • Basic structure of the computably enumerable Turing degrees.
  • Trees and diagonally non-computable functions.
Additional topics and applications:
  • Reverse mathematics.
  • Algorithmic randomness.

Lecturer

  • PS

    Dr Paul Shafer

    University
    University of Leeds

Bibliography

No bibliography has been specified for this course.

Assessment

The assessment for this course will be released on Monday 1st May 2023 and is due in by Friday 12th May 2023 at 23:59.

Assessment for all MAGIC courses is via take-home exam which will be made available at the release date (the start of the exam period).

You will need to upload a PDF file with your own attempted solutions by the due date (the end of the exam period).

If you have kept up-to-date with the course, the expectation is it should take at most 3 hours’ work to attain the pass mark, which is 50%.

Please note that you are not registered for assessment on this course.

Files

Only consortium members have access to these files.

Please log in to view course materials.

Lectures

Please log in to view lecture recordings.