
Recent Posts
Archives
Categories
Meta
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