Re: Proof that DDD specifies non-halting behavior --- point by point --- in our head

On 2024-08-15 16:26:21 +0000, olcott said:

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.

At least the proof by Linz does not violate the rules as specified in
Linz' book. Other authors may specify different rules for the theory
of computation.
Anyway, a vague cliam like that does not really mean anything. If it
were about a specific violation of a specific rule then it might be
worth of some consideration.
--
Mikko