Re: Liar detector: Fred, Richard, Joes and Alan

Op 05.jul.2024 om 16:13 schreef olcott:

On 7/5/2024 9:10 AM, Fred. Zwarts wrote:

Op 05.jul.2024 om 15:04 schreef olcott:

On 7/5/2024 7:29 AM, Fred. Zwarts wrote:

Op 05.jul.2024 om 14:20 schreef olcott:

On 7/5/2024 4:49 AM, joes wrote:

Am Wed, 03 Jul 2024 13:57:40 -0500 schrieb olcott:

On 7/3/2024 1:40 PM, Fred. Zwarts wrote:

Op 03.jul.2024 om 20:20 schreef olcott:

>

DDD correctly emulated by any element of the infinite set of every
pure function HHH cannot possibly reach its own ret instruction and
halt. That HHH aborts its emulation at some point or never aborts its
emulation cannot possibly change this.
>

Ad hominem attacks always try to hide a lack of argumentation.
It has been proved that HHH cannot possibly correctly simulate itself.

>
That is false and you know it. That might not be a flat out lie as it is
an sloppy use of language.
>
HHH does correctly simulate itself simulating DDD one time, then it
stops correctly simulating itself because this criteria is met:
      HHH correctly simulates its input DDD until HHH correctly
      determines that its simulated DDD would never stop running unless
      aborted

But it would stop running.

>
Not if not aborted.

>
If you knew a little bit of programming, you would know that a program that is programmed to abort and stop, will abort and stop, if not aborted.

>
I have two software engineering patents.
HHH is a generic program that works on many different
inputs thus it is not programmed to abort and stop.
It is programmed according to this algorithm.

>
Apparently the algorithm is incorrect, because it does not recognize that the simulation of HHH would reach its end, if not aborted, because the simulated HHH aborts and returns.

 In other words when a bear is running at you to kill you
there is no need to shoot it because you know that you
would shoot it so this is enough, except that the bear
then kills you.
 

Nice comparison, although the conclusion is incorrect.
'Bear' compares to 'simulator'.
'running' compares to 'aborting'
'kill' compares to 'halt'.
HHH is a simulator that aborts the simulation of itself and halts.
A correct simulator of HHH should determine that HHH would abort and halt.
You have shown correct simulators that indeed perform a correct simulation.
HHH, however, cannot possibly simulate itself correctly, because it determines that HH does not abort and does not halt.
'not abort' compares to 'not running'
'not halt' compares to 'not kill'
So, this decision of HHH is like thinking that the bear is not running and will not kill.
That is a fatal error.