All links in this post have been lost to the mists of time. I’ve kept it here out of pure nostalgia.

I’m typing the lectures of the course 236343 Computability Theory this semester. Attached are my lectures notes in PDF form:

Computability Lecture Notes Computability Tutorial Notes

If you also type the notes and would like to collaborate with me, I use a git repository stored here:

To use it, install git-core and curl, and run

git clone

Any changes you have - send to me as patches, or push to your own repository and send me a link. (Drawings would be most welcome, and you’re obviously welcome to add your name to the list of typers)

If you need git storage, try, or ask the T2 admins to install git :)