Clearly programmes don't have to be deterministic. They could contain a source of genuine randomness, in principle.
I don't think the UD does, however. The definition of deterministic would be - gives the same output on each run (given that the UD has no input). On 28 December 2013 17:03, Stephen Paul King <[email protected]>wrote: > I ask this because I am studying Carl Hewitt's Actor Model... > > > On Fri, Dec 27, 2013 at 11:03 PM, Stephen Paul King < > [email protected]> wrote: > >> Hi jason, >> >> Do programs have to be "deterministic". What definition of >> deterministic are you using? >> >> >> On Fri, Dec 27, 2013 at 11:00 PM, Jason Resch <[email protected]>wrote: >> >>> >>> >>> >>> On Fri, Dec 27, 2013 at 10:54 PM, LizR <[email protected]> wrote: >>> >>>> On 28 December 2013 16:44, Stephen Paul King < >>>> [email protected]> wrote: >>>> >>>>> Hi Jason, >>>>> >>>>> "The first, second, 10th, 1,000,000th, and 10^100th, and 10^100^100th >>>>> state of the UD's execution are mathematical facts ..." Umm, how? >>>>> Godel and Matiyasevich would disagree! If there does not exist a program >>>>> that can evaluate whether or not a UD substring is a faithful >>>>> representation of a "true theorem", then how is it "a fact"? >>>>> >>>>> That depends on whether the UD is deterministic or not. >>>> >>> >>> It is. The evolution of any Turing machines is deterministic. >>> >>> >>>> If it is, then, its Nth state is a fact. (It doesn't need to be run or >>>> evaluated, and the Nth state may be a fact that nobody knows, like the >>>> googolth digit of pi, assuming no one's worked that out.) >>>> >>> >>> Right. :-) >>> >>> The fact that I remember drinking a glass of water is as much a >>> mathematical fact about the UD, as the fact as the third decimal digit of >>> Pi is 4. >>> >>> Jason >>> >>> -- >>> You received this message because you are subscribed to a topic in the >>> Google Groups "Everything List" group. >>> To unsubscribe from this topic, visit >>> https://groups.google.com/d/topic/everything-list/sqWzozazMg0/unsubscribe >>> . >>> To unsubscribe from this group and all its topics, send an email to >>> [email protected]. >>> To post to this group, send email to [email protected]. >>> Visit this group at http://groups.google.com/group/everything-list. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >> >> >> >> -- >> >> Kindest Regards, >> >> Stephen Paul King >> >> Senior Researcher >> >> Mobile: (864) 567-3099 >> >> [email protected] >> >> http://www.provensecure.us/ >> >> >> “This message (including any attachments) is intended only for the use of >> the individual or entity to which it is addressed, and may contain >> information that is non-public, proprietary, privileged, confidential and >> exempt from disclosure under applicable law or may be constituted as >> attorney work product. If you are not the intended recipient, you are >> hereby notified that any use, dissemination, distribution, or copying of >> this communication is strictly prohibited. If you have received this >> message in error, notify sender immediately and delete this message >> immediately.” >> > > > > -- > > Kindest Regards, > > Stephen Paul King > > Senior Researcher > > Mobile: (864) 567-3099 > > [email protected] > > http://www.provensecure.us/ > > > “This message (including any attachments) is intended only for the use of > the individual or entity to which it is addressed, and may contain > information that is non-public, proprietary, privileged, confidential and > exempt from disclosure under applicable law or may be constituted as > attorney work product. If you are not the intended recipient, you are > hereby notified that any use, dissemination, distribution, or copying of > this communication is strictly prohibited. If you have received this > message in error, notify sender immediately and delete this message > immediately.” > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
