# Re: Bruno's mathematical reality

```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?
>
>
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 <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.”
>
> --
> 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