Descriptive Hierarchies
Today, I was reading Sipser’s Theory of Computation and in chapter 6 it said: For statement 3 (Machines cannot self-reproduce) we make the following argument that machines cannot self-reproduce. Consider a machine that constructs other machines, such as an automated…