Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: key error in all the proofs --- Correction of Fred
Date: Fri, 16 Aug 2024 09:09:40 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <v9nmj5$1f34m$1@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <v9da2d$3bth4$1@dont-email.me>
 <64ddeeaa3a55a9e410de599bd8df53d3644ee5a3@i2pn2.org>
 <v9de0o$3cjse$1@dont-email.me> <v9dela$3cjse$2@dont-email.me>
 <b7c45ea22cb83908c31d909b67f4921156be52e3@i2pn2.org>
 <v9dgvl$3d1an$1@dont-email.me>
 <d289636b1d244acaf00108f46df093a9fd5aa27c@i2pn2.org>
 <v9dk2j$3dp9h$1@dont-email.me>
 <8318f5969aa3074e542747fe6ba2916d7f599bde@i2pn2.org>
 <TyKdnc3hCNvmUyf7nZ2dnZfqn_udnZ2d@brightview.co.uk>
 <v9ekta$3necg$1@dont-email.me>
 <2f8c1b0943d03743fe9894937092bc2832e0a029@i2pn2.org>
 <v9fn50$3ta4u$2@dont-email.me> <v9hmfc$c71c$1@dont-email.me>
 <v9ic89$f16v$6@dont-email.me>
 <06ea0f3a1ff938643b3dfefdf62af15559593733@i2pn2.org>
 <v9iqgc$go4j$2@dont-email.me>
 <LcucnRYb5ZiYhyD7nZ2dnZfqnPednZ2d@brightview.co.uk>
 <v9j6ci$jo32$1@dont-email.me> <v9kdp9$srkm$1@dont-email.me>
 <v9ku3k$v95g$1@dont-email.me> <v9nbqr$1dmui$1@dont-email.me>
 <v9nf3o$1dvef$3@dont-email.me> <v9nkhd$1ertd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 16 Aug 2024 16:09:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0832828dca420f70d701da47ce3141da";
	logging-data="1543318"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18/yRMj4kCZ6xznqVixi48e"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2Aribvd9DIAxXbkYIGrQ3f+wFKw=
Content-Language: en-US
In-Reply-To: <v9nkhd$1ertd$1@dont-email.me>
Bytes: 2704

On 8/16/2024 8:34 AM, Mikko wrote:
> On 2024-08-16 12:02:00 +0000, olcott said:
> 
>>
>> I must go one step at a time.
> 
> That's reasonable in a discussion. The one thing you were discussing
> above is what is the meaning of the output of HHH. Its OK to stay
> at that step until we are sure it is understood.
> 

void DDD()
{
   HHH(DDD);
   return;
}

Unless an unlimited emulation of DDD by HHH
can reach the "return" instruction of DDD it is
construed that this instance of DDD never halts.

For three years now at least most reviewers insisted
on disagreeing with the semantics of the x86 language.



-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer