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: Anyone that disagrees with this is not telling the truth --- V5
 --- Professor Sipser
Date: Thu, 22 Aug 2024 08:06:37 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <va7d4u$ebdg$2@dont-email.me>
References: <va104l$376ed$4@dont-email.me>
 <cd375f68f97a737988bab8c1332b7802509ff6ea@i2pn2.org>
 <va13po$376ed$7@dont-email.me>
 <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org>
 <va24hl$3cvgv$1@dont-email.me>
 <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org>
 <va38qh$3ia79$1@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me> <va5bo3$3v0rh$2@dont-email.me>
 <va5d1u$3vepf$2@dont-email.me> <va6ses$c9tl$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 22 Aug 2024 15:06:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="62a25b741157347252c8096938b61d22";
	logging-data="470448"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18HWhFD5NrCyMmnAnIvANfu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:M70Bb6hJ5B9I9HdpmIEsMwBMqbg=
Content-Language: en-US
In-Reply-To: <va6ses$c9tl$2@dont-email.me>
Bytes: 2785

On 8/22/2024 3:21 AM, Fred. Zwarts wrote:
> Op 21.Aug.2024 OM 20:52 olcott:
>>
>> You keep missing the idea that HHH does a partial
>> simulation of DDD to predict what would happen if
>> this HHH never aborted its simulation of DDD.
>>
>>
> You keep missing the idea that HHH must predict the behaviour of its 
> input (the HHH that does a partial simulation), not the behaviour of a 
> different hypothetical non-input (the HHH that never aborted).

The would be stupid. If that was the case then HHH could ignore
its input and accept every input as halting including this one:

void Infinite_Loop()
{
   HERE: goto HERE;
}


> There is a reason why HHH has an input. If it were correct to predict 
> the behaviour of a hypothetical non-input, then HHH would not need an 
> input.

That is stupid

> Are you still cheating with the Root variable to change the behaviour of 
> HHH from an input to a non-input?


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