>A universal Turing machine that "contains all Turing machines" already exists You are misquoting the paper here Quoting the abstract: >Assuming that a super

>A universal Turing machine that "contains all Turing machines" already exists You are misquoting the paper here Quoting the abstract: >Assuming that a superintelligence will contain a program that includes all the programs that can be executed by a universal Turing machine on input potentially as complex as the state of the world... Note the difference between "programs" and "Turing Machines".