Re: Is Richard a Liar?

On 7/7/2024 8:15 AM, joes wrote:

Am Sun, 07 Jul 2024 08:11:23 -0500 schrieb olcott:

On 7/7/2024 6:13 AM, Richard Damon wrote:

On 7/6/24 11:36 PM, olcott wrote:

On 7/6/2024 10:07 PM, Richard Damon wrote:

On 7/6/24 10:44 PM, olcott wrote:

>
When there is a mandatory sequence you cannot avoid it.
Trying to lie about this proves that you are a liar.

 

The actual topic is that actions must be taken in a specific order for
the same result to be derived.

 

HHH cannot report that its input would halt because its input would
never halt.

Yes it does, since HHH aborts the simulation.
 

When someone is shot in the head and killed you cannot say
they are taking a nap. When DDD is forced to stop this is
not halting. From a software engineering point of view
halting only includes normal termination.

HHH cannot report that the DDD that invoked HHH will halt because that
DDD is not its input.

Its input is DDD.
 

The directly executed DDD that calls HHH(DDD) is not the
input to HHH.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer