On 28 Dec 2013, at 04:41, Jason Resch wrote:




On Fri, Dec 27, 2013 at 10:20 PM, LizR <lizj...@gmail.com> wrote:
There is one point to add which I think you've missed, Jason (apologies if I've misunderstood). The UD generates the first instruction of the first programme, then the first instruction of the second programme, and so on. Once it has generated the first instruction of every possible programme, it then adds the second instruction of the first programme, the second instruction of the second programme, and so on.

If it did work like this, it would never get to run the second instruction of any program, since there is a countable infinity of possible programs.

This is why it's called a dovetailer, I believe, and stops it running into problems with non-halting programmes, or programmes that would crash, or various other contingencies...

This is addressed by not trying to run any one program to its completion, instead it gives each program it has generated up to that point some time on the CPU.


This isn't intrinsic to the UD, which could in principle write the first programme before it moves on to the next one - but it allows it to avoid certain problems caused by having a programme that writes other programmes.

There is no program with the UD encountering programs that themselves instantiate other programs.

I guess you mean "there is no problem with the UD encountering programs ...", and you are right.



 Indeed, the UD encounters itself, infinitely often.



...I think. I'm sure Bruno will let me know if that's wrong.

:)



Jason did it. Liz, Stephen, Are you OK with the UD and UD*. Both the list of all programs AND their execution are done little bit by little bit.

Thanks to Jason for a code. With the phi_i, you can code the UD by

For all i, j, k,
execute k steps of phi_i(j)



Bruno




PS I like the "while (true)" statement. What would Pontius Pilate have made of that? :-)

:-) Good question, I haven't the faintest idea. I could have used "while (i == i)" but then if someday Brent's paralogic takes over, it might fail.

Jason

--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

http://iridia.ulb.ac.be/~marchal/



--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to