# Re: Bruno's mathematical reality

```On Fri, Dec 27, 2013 at 10:42 PM, Stephen Paul King <
stephe...@provensecure.com> 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 <jasonre...@gmail.com>wrote:
>
>>
>>
>>
>> On Fri, Dec 27, 2013 at 9:31 PM, Stephen Paul King <
>> stephe...@provensecure.com> 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
>>
>>    # 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
>> .
>> To unsubscribe from this group and all its topics, send an email to
>> 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.
>>
>
>
>
> --
>
> Kindest Regards,
>
> Stephen Paul King
>
> Senior Researcher
>
> Mobile: (864) 567-3099
>
> stephe...@provensecure.com
>
>  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
> 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.
>

--
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