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? > > All Turing-equivalent computation is deterministic. By deterministic I mean the (N+1)th state of the machine is exactly and unambiguously defined by the Nth state of the machine. Jason > > 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.” > > -- > 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.
