Re: Flat out dishonest or totally ignorant?

On 7/4/2024 6:09 AM, joes wrote:

Am Wed, 03 Jul 2024 10:55:14 -0500 schrieb olcott:

On 7/3/2024 10:52 AM, Fred. Zwarts wrote:

Op 03.jul.2024 om 15:24 schreef olcott:

On 7/3/2024 3:42 AM, Fred. Zwarts wrote:

Op 03.jul.2024 om 05:55 schreef olcott:

On 7/2/2024 10:50 PM, joes wrote:

Am Tue, 02 Jul 2024 14:46:38 -0500 schrieb olcott:

On 7/2/2024 2:17 PM, Fred. Zwarts wrote:

Op 02.jul.2024 om 21:00 schreef olcott:

On 7/2/2024 1:42 PM, Fred. Zwarts wrote:

Op 02.jul.2024 om 14:22 schreef olcott:

On 7/2/2024 3:22 AM, Fred. Zwarts wrote:

Op 02.jul.2024 om 03:25 schreef olcott:

Similarly, if you think that HHH can simulate itself correctly, you
are wrong.
         int H(ptr p, ptr i);
         int main()
         {
           return H(main, 0);
         }
You showed that H returns, but that the simulation thinks it does not
return.
DDD is making it unnecessarily complex, but has the same problem.

main correctly emulated by H never stops running unless aborted.

As a matter of fact, H does abort it. H then returns to main,
which then stops running.

main correctly simulated by H never returns.