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

On 7/7/2024 5:19 AM, joes wrote:

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.
 

Maybe everyone here has severe ADD. Richard said that he has ADD.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
(a) HHH determines that it must abort DDD
(b) HHH reports that DDD will not stop unless aborted
(c) HHH aborts its simulation of DDD
If HHH reported that it did not need to abort DDD before HHH
aborts DDD this is like you need groceries and report that
you do not need groceries before you got more groceries: a lie.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer