--- Vladimir Nesov <[EMAIL PROTECTED]> wrote: > On Sun, May 11, 2008 at 4:06 AM, Matt Mahoney <[EMAIL PROTECTED]> > wrote: > > > > > > Yes, but in this case the input to P is not (P,y), it is a self > reference > > to whatever program P is running plus y. > > > > It's irrelevant, because description of P (or Q) could've been > contained in the prefix that said "simulate this on yourself: ", and > it could've been handled by the same machinery that in my example was > printing "the output is ". The only problem is brackets, so if the > description is always [finite prefix with machine specification]+[data > parameters], it will work.
If a machine P could simulate two other machines Q and R (each with n bits of memory), then P needs n+1 bits, n to reproduce all the states of Q or R, and 1 to remember which machine it is simulating. You described a machine P that can simulate only P. -- Matt Mahoney, [EMAIL PROTECTED] ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=101455710-f059c4 Powered by Listbox: http://www.listbox.com