# Re: Bruno's mathematical reality

```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 <stephe...@provensecure.com>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 <
> stephe...@provensecure.com> 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 <jasonre...@gmail.com>wrote:
>>
>>>
>>>
>>>
>>> On Fri, Dec 27, 2013 at 10:54 PM, LizR <lizj...@gmail.com> wrote:
>>>
>>>> On 28 December 2013 16:44, Stephen Paul King <
>>>> stephe...@provensecure.com> 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
>>> .
>>> 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.”
>>
>
>
>
> --
>
> 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