
Recent Posts
Archives
Categories
Meta
Author Archives: nqnz
New homepage
I am now a lecturer at Victoria University of Wellington. My homepage has moved there.
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