Author Archives: nqnz

New homepage

I am now a lecturer at Victoria University of Wellington. My homepage has moved there. Advertisements

Posted in Posts | Leave a comment

The Recursion Theorem

The standard proof of the recursion theorem is slick but unintuitive. This is my attempt to give a proof that is easier to understand. Theorem (Kleene) If is a recursive function, then there exists an such that the Turing machine … Continue reading

Posted in Posts | Leave a comment