Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: Detecting infinite recursion (halt deciding criteria)
5 views
Skip to first unread message
olcott
Mar 3, 2021, 4:50:58 PM3/3/21
to
On 3/3/2021 3:41 PM, Ben Bacarisse wrote:
> olcott <No...@NoWhere.com> writes:
>
>> As soon as this criteria is met a non-halting computation has been determined:
>>
>> -On 11/27/2020 9:02 PM, Ben Bacarisse wrote:
>> -> A computation that would not halt if its simulation were not
>> -> halted is indeed a non-halting computation.
>
> You used to quote this sentence when you were re-defining what it means
> for a computation to be a halting one. Given that you are still quoting
> it can we take it that you have not changed your mind about this and you
> are still using your own criterion for what is a halting computation?
>
> I need to ask because you don't understand what I said, so your quoting
> it does not mean you agree with me.
>
To mean it means exactly what it says, did you intend it to not mean
exactly what it says?
When so ever it is known that a computation would not halt unless its
simulation was halted [exactly and precisely the above criteria]
the simulator can stop simulating its input and report not halting.
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
> olcott <No...@NoWhere.com> writes:
>
>> As soon as this criteria is met a non-halting computation has been determined:
>>
>> -On 11/27/2020 9:02 PM, Ben Bacarisse wrote:
>> -> A computation that would not halt if its simulation were not
>> -> halted is indeed a non-halting computation.
>
> You used to quote this sentence when you were re-defining what it means
> for a computation to be a halting one. Given that you are still quoting
> it can we take it that you have not changed your mind about this and you
> are still using your own criterion for what is a halting computation?
>
> I need to ask because you don't understand what I said, so your quoting
> it does not mean you agree with me.
>
To mean it means exactly what it says, did you intend it to not mean
exactly what it says?
When so ever it is known that a computation would not halt unless its
simulation was halted [exactly and precisely the above criteria]
the simulator can stop simulating its input and report not halting.
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
0 new messages