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: Fri, 16 Aug 2024 10:45:29 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v9ns6p$1fvsr$1@dont-email.me>
References: <v8jh7m$30k55$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>
 <v9npsa$1flup$1@dont-email.me>
 <b2d424392298da7dc7b6c6937f18329f277fcde7@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:45:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0832828dca420f70d701da47ce3141da";
	logging-data="1572763"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/zMM/3tAJQPQvI6cxx7SkA"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HzkE3caitmaUIp+QqVB6dc9TKnU=
Content-Language: en-US
In-Reply-To: <b2d424392298da7dc7b6c6937f18329f277fcde7@i2pn2.org>
Bytes: 3943

On 8/16/2024 10:39 AM, Richard Damon wrote:
> On 8/16/24 11:05 AM, olcott wrote:
>> 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
>>
> 
> So, I guess you aren't working on the Halting Problem, 

Halt deciders have always been required to predict what the
behavior of their input would be.

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