Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Sat, 10 May 2025 00:19:33 -0500
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <vvmnl5$3c2gn$1@dont-email.me>
References: <vv97ft$3fg66$1@dont-email.me> <vvjc9b$27753$1@dont-email.me>
 <87ecwyekg2.fsf@nosuchdomain.example.com> <vvjg6a$28g5i$3@dont-email.me>
 <d577d485d0f5dfab26315f54f91eb84f25eecc40@i2pn2.org>
 <87bjs2cyj6.fsf@nosuchdomain.example.com> <vvkffn$2m36t$4@dont-email.me>
 <vvl84g$2rl0l$10@dont-email.me>
 <c0b0db5de5c7f7ccb24b06d44108deb41fbde8dc@i2pn2.org>
 <vvlm2k$30idv$1@dont-email.me> <vvlnad$2uvnf$5@dont-email.me>
 <vvlnpj$30vce$1@dont-email.me> <vvlsp5$31vqc$1@dont-email.me>
 <vvlv04$32kt3$1@dont-email.me> <87r00xchn5.fsf@nosuchdomain.example.com>
 <23a27379d226b7b3b9f8c303a492f66edc9019ff.camel@gmail.com>
 <vvmgtr$3a34p$7@dont-email.me>
 <1020d30c2c5b5a7cce584777131d5ce414b480ea.camel@gmail.com>
 <vvmk29$3atmt$3@dont-email.me>
 <0323d5ca6d757a1e35d7e4cf5eb4fc8f41bc866a.camel@gmail.com>
 <vvmlk0$3blcs$1@dont-email.me>
 <c6904fbe42c4ad1eb3d1dcc50d18e6e75f159d75.camel@gmail.com>
 <vvmmtd$3bqvb$1@dont-email.me>
 <9f5774bfb493325652f97d72f760ad98442c333d.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 May 2025 07:19:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7be348abb5bc2ec0a70724586a3ca680";
	logging-data="3541527"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18U2jVI2IPftJmVzoLp0DO+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:eQlBD/2e/ha4GCC7PuUeZqkpLiM=
X-Antivirus: Norton (VPS 250510-0, 5/9/2025), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <9f5774bfb493325652f97d72f760ad98442c333d.camel@gmail.com>
Bytes: 3697

On 5/10/2025 12:13 AM, wij wrote:
> On Sat, 2025-05-10 at 00:06 -0500, olcott wrote:>>
>> When mathematical mapping is properly understood
>> it will be known that functions computed by models
>> of computation must transform their input into
>> outputs according to the specific steps of an
>> algorithm.
>>
>> _DDD()
>> [00002172] 55         push ebp      ; housekeeping
>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>> [00002175] 6872210000 push 00002172 ; push DDD
>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>> [0000217f] 83c404     add esp,+04
>> [00002182] 5d         pop ebp
>> [00002183] c3         ret
>> Size in bytes:(0018) [00002183]
>>
>> For example HHH(DDD) only correctly map to the
>> behavior that its input actually specifies by correctly
>> emulating DDD according to the rules of the x86 language.
>>
>> This causes the first four instructions of DDD
>> to be emulated followed by HHH emulating itself
>> emulating the first three instructions of DDD.
>>
>> It is right at this recursive simulation just
>> before HHH(DDD) is called again that HHH recognizes
>> the repeating pattern and rejects DDD.
> 
> Yes, but you still did not answer the question: Is POOH exactly about HP?
> 

 >>>>> H(D)=1 if D() halt.
 >>>>> H(D)=0 if D() not halt.

Right now it is mostly about proving the
above requirements are is mistaken.


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