On Fri, Dec 27, 2013 at 11:11 PM, Stephen Paul King < [email protected]> wrote:
> Hi Jason, > > > On Fri, Dec 27, 2013 at 11:08 PM, Jason Resch <[email protected]>wrote: > >> >> >> >> On Fri, Dec 27, 2013 at 11:01 PM, Stephen Paul King < >> [email protected]> wrote: >> >>> How do we distinguish a program from a string of random numbers. >>> (Consider OTP encryptions). >>> >>> >>> >> By "we" do you mean the UD or something else? >> > > What "else" is there? > > It doesn't matter whether i will be translated to a non-sensical or useful program, all i's map to programs, and all programs can be executed one instruction at a time. Jason > > >> >> Jason >> >> >> >> >>> On Fri, Dec 27, 2013 at 10:56 PM, Jason Resch <[email protected]>wrote: >>> >>>> >>>> >>>> >>>> On Fri, Dec 27, 2013 at 10:42 PM, Stephen Paul King < >>>> [email protected]> wrote: >>>> >>>>> Hi Jason, >>>>> >>>>> "Any program, and whether or not it ever terminates can be translated >>>>> to a statement concerning numbers in arithmetic. Thus mathematical truth >>>>> captures the facts concerning whether or not any program executes forever, >>>>> and what all of its intermediate states are. >>>>> " >>>>> >>>>> this also captures every instance of random numbers as well. >>>>> >>>> >>>> It is not clear to me what "random" means in arithmetical truth. >>>> >>>> Randomness can appear from the perspectives of observers, but I don't >>>> see how it can arise in arithmetic. >>>> >>>> >>>>> What method is deployed to ensure that a program is not just a >>>>> "regular" random number and not some random number prefixed on a "real" >>>>> halting program? >>>>> >>>> >>>> It don't see how it makes a difference. >>>> >>>> >>>>> >>>>> Truth is not a measure zero set, or is it? >>>>> >>>> >>>> I don't understand this question.. Could you clarify? >>>> >>>> Jason >>>> >>>> >>>>> >>>>> >>>>> >>>>> On Fri, Dec 27, 2013 at 10:09 PM, Jason Resch <[email protected]>wrote: >>>>> >>>>>> >>>>>> >>>>>> >>>>>> On Fri, Dec 27, 2013 at 9:31 PM, Stephen Paul King < >>>>>> [email protected]> wrote: >>>>>> >>>>>>> Hi Jason, >>>>>>> >>>>>>> Could you discuss the "trace of the UD" that LizR mentioned? How >>>>>>> is it computed? Could you write an explicit example? I have never been >>>>>>> able >>>>>>> to grok it. >>>>>>> >>>>>>> >>>>>> Bruno has written an actual UD in the LISP programming language. I >>>>>> will write a simple one in pseudo-code below: >>>>>> >>>>>> List listOfPrograms = new List[]; # Empty list >>>>>> int i = 0; >>>>>> while (true) >>>>>> { >>>>>> # Create a program corresponding to the binary expansion of the >>>>>> integer i >>>>>> Program P = createProgramFromInteger(i); >>>>>> >>>>>> # Add the program to a list of programs we have generated so far >>>>>> listOfPrograms.add(P); >>>>>> >>>>>> # For each program we have generated that has not halted, execute >>>>>> one instruction of it >>>>>> for each (Program p in listOfPrograms) >>>>>> { >>>>>> if (p.hasHalted() == false) >>>>>> { >>>>>> executeOneInstruction(p); >>>>>> } >>>>>> } >>>>>> >>>>>> # Finally, increment i so a new program is generated the next time >>>>>> through >>>>>> i = i + 1; >>>>>> } >>>>>> >>>>>> >>>>>> Any program, and whether or not it ever terminates can be translated >>>>>> to a statement concerning numbers in arithmetic. Thus mathematical truth >>>>>> captures the facts concerning whether or not any program executes >>>>>> forever, >>>>>> and what all of its intermediate states are. If these statements are true >>>>>> independently of you and me, then the executions of these programs are >>>>>> embedded in arithmetical truth and have a platonic existence. The first, >>>>>> second, 10th, 1,000,000th, and 10^100th, and 10^100^100th state of the >>>>>> UD's >>>>>> execution are mathematical facts which have definite values, and all the >>>>>> conscious beings that are instantiated and evolve and write books on >>>>>> consciousness, and talk about the UD on their Internet, etc. as part of >>>>>> the >>>>>> execution of the UD are there, in the math. >>>>>> >>>>>> 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 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 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.
