https://forensicblog.org/self-replicating-software-part-2-recursion-theorem-proof/
Self replicating software - Part 2 - Recursion theorem proof | Forensic Computing
Jul 9, 2006 - In this post I’ll cover the proof of the Recusion theorem (see Self Replicating Software – Part 1 – The Recursion Theorem). The proof for the Recursion theorem...
recursion theoremforensic computingselfreplicatingsoftware