Re: Liar detector: Fred, Richard, Joes and Alan --- Richard is a Liar?

Am Sat, 06 Jul 2024 18:09:16 -0500 schrieb olcott:

On 7/6/2024 5:49 PM, Richard Damon wrote:

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

On 7/6/2024 5:23 PM, Richard Damon wrote:

On 7/6/24 6:20 PM, olcott wrote:

On 7/6/2024 5:16 PM, Richard Damon wrote:

On 7/6/24 5:55 PM, olcott wrote:

On 7/6/2024 4:51 PM, Richard Damon wrote:

On 7/6/24 5:40 PM, olcott wrote:

>
That requires HHH to report on what itself does before it does
this,

Nope, because HHH is deterministic in behavior,

>
It cannot report on the effect of what it did before it does this
>

It MUST report on what it DOES.

>
Exactly. That means that it cannot report on the effect of something
that it has not yet done.
>

But all of its behavior comes into existance at once.

The program executes in sequence, but the BEHAVIOR, which the execution
REVEALS is instantaneously created by determinism.
 

HHH must report on what it must do at a specific point in the execution
trace of its simulation of DDD.
You are insisting that HHH must report on what it will do as if it
already did this. That would make HHH a liar.

Therefore it cannot report that it will run forever when it hasn’t
simulated the abort yet.

--
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.