Path: ...!weretis.net!feeder8.news.weretis.net!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: Sun, 18 Aug 2024 07:59:04 -0500
Organization: A noiseless patient Spider
Lines: 47
Message-ID: <v9sr6p$2c67u$21@dont-email.me>
References: <v8jh7m$30k55$1@dont-email.me> <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>
 <v9nmj5$1f34m$1@dont-email.me> <v9pgpc$1qm46$1@dont-email.me>
 <v9q9ak$1tedb$3@dont-email.me> <v9sa5l$2am2o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 14:59:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d";
	logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/L0UApKUnd8iG0XSeqvE+h"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:NWQ5aBKGRDqCHIOrR1/KrQUtI5k=
In-Reply-To: <v9sa5l$2am2o$1@dont-email.me>
Content-Language: en-US
Bytes: 3469

On 8/18/2024 3:08 AM, Mikko wrote:
> On 2024-08-17 13:41:39 +0000, olcott said:
> 
>> On 8/17/2024 1:42 AM, Mikko wrote:
>>> On 2024-08-16 14:09:40 +0000, olcott said:
>>>
>>>> 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.
>>>
>>> Whaatever you "construe" does not change the fact that DDD specifies
>>> a halting computation if HHH does.
>>>
>>>> For three years now at least most reviewers insisted
>>>> on disagreeing with the semantics of the x86 language.
>>>
>>> If you claim that HHH halts and DDD doesn't you disagree with
>>> the semantics of both C and x86 languages.
>>>
>>
>> Please see my new post.
> 
> Which new post? Message ID? Subject? Date and time?
> 

[Anyone that disagrees with this is not telling the truth --- V3]

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