Sujet : Re: Proof that DDD specifies non-halting behavior --- point by point --- in our head
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 15. Aug 2024, 17:26:21
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9la7f$113gd$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 8/15/2024 5:32 AM, Mikko wrote:
On 2024-08-15 02:03:44 +0000, olcott said:
On 8/14/2024 6:40 PM, Richard Damon wrote:
Note, its "Behavior" is defined as what it would do when run, even if it never is,
>
>
No that is the big mistake of comp theory where it violates
its own rules.
The big mistake is yours where you violate the rules of computation
theory and honest discussion.
It is at least the case that conventional halting
problem proofs violate one of the rules of the theory
of computation.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer