Monthly Archives: April 2013

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