Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.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: Fri, 16 Aug 2024 10:05:46 -0500
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <v9npsa$1flup$1@dont-email.me>
References: <v8jh7m$30k55$1@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>
 <6590517a070695b81751db1b64c3d26019ee9b13@i2pn2.org>
 <v9nog5$1fe76$1@dont-email.me>
 <0a080ae812729bc25f3c2dab98bb4d9dfac6641d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 Aug 2024 17:05:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0832828dca420f70d701da47ce3141da";
	logging-data="1562585"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19LoDmiwCPwZQF4Jmkgo+oU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:nbFZyWwTRmRzEtUeSlODjLTj1Jk=
Content-Language: en-US
In-Reply-To: <0a080ae812729bc25f3c2dab98bb4d9dfac6641d@i2pn2.org>
Bytes: 3623

On 8/16/2024 9:56 AM, Richard Damon wrote:
> On 8/16/24 10:42 AM, olcott wrote:
>> On 8/16/2024 9:28 AM, Richard Damon wrote:
>>> On 8/16/24 10:09 AM, olcott wrote:
>>>> 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.
>>>
>>> But that also construes that HHH is a program that DOES an unlimited 
>>> emulation of DDD, and thus isn't a decider
>>>
>>
>> Not at all. never has.
>> HHH must predict what the behavior of an unlimited
>> simulation would be.
>>
> 
> Right, unlimited emulation of the EXACT input that HHH got, that is the 
> DDD that calls the HHH that is the decider
> 

PREDICT WHAT THE BEHAVIOR WOULD BE
PREDICT WHAT THE BEHAVIOR WOULD BE
PREDICT WHAT THE BEHAVIOR WOULD BE
PREDICT WHAT THE BEHAVIOR WOULD BE

IF IT WAS AN UNLIMITED EMULATION
IF IT WAS AN UNLIMITED EMULATION
IF IT WAS AN UNLIMITED EMULATION
IF IT WAS AN UNLIMITED EMULATION



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