Math 29
Computability theory

Downloads

Below may appear links or documents for the course.

A URM simulator

This simulator uses the same notation as our textbook. I strongly recommend you test the first URMs you write to check they behave as you intend.