Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Hypothetical IMpossibilities -- I reread this again more
 carefully
Date: Sun, 21 Jul 2024 13:52:49 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <83c1d1860c6ffc489c62e643e294c59876150385@i2pn2.org>
References: <v7gl30$3j9fi$1@dont-email.me> <v7h224$3li66$3@dont-email.me>
 <e975eef57ba6d3d4cc790818c05b7165443f7ce4@i2pn2.org>
 <v7h5b2$3m6kq$2@dont-email.me>
 <73e4850d3b48903cf85b2967ba713aced98caf96@i2pn2.org>
 <v7h9on$3muu0$1@dont-email.me>
 <09536cf44fc4c3d14b37641cf8fdc9e8a8c24580@i2pn2.org>
 <v7hept$3o0be$1@dont-email.me>
 <97884acd35091ddd67bda892c7a3dd28e188f760@i2pn2.org>
 <v7hftt$3o7r5$1@dont-email.me>
 <f74209ef7d87b6f7891e4a2b89cc18bfe7233810@i2pn2.org>
 <v7hkb2$3otgn$1@dont-email.me>
 <1c5729ae6d0a7bca84d24eec9f85bf30de70e3d9@i2pn2.org>
 <v7hnu6$3pd9s$1@dont-email.me>
 <f0dda3e0d0e85081d8ce0cdd494f5f1f8f8c89e3@i2pn2.org>
 <v7huen$3u1jc$3@dont-email.me>
 <6883b0a9674975998092c404f9eaa331ad1556b9@i2pn2.org>
 <v7i20r$3ucnd$1@dont-email.me>
 <8e0bcb6d7508f8334460e30557d444abc5356a03@i2pn2.org>
 <v7j197$3o7r$1@dont-email.me>
 <b49b352a8ccb22193a77e07032530bee26fd326f@i2pn2.org>
 <v7j6ah$3o7r$10@dont-email.me>
 <4e979fa643d553803f122f0485513448b38b7b60@i2pn2.org>
 <v7j89d$4t0f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 21 Jul 2024 17:52:49 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3938152"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v7j89d$4t0f$1@dont-email.me>
Content-Language: en-US
Bytes: 4381
Lines: 56

On 7/21/24 11:08 AM, olcott wrote:
> On 7/21/2024 9:54 AM, joes wrote:
>> Am Sun, 21 Jul 2024 09:34:57 -0500 schrieb olcott:
>>> On 7/21/2024 9:24 AM, joes wrote:
>>>> Am Sun, 21 Jul 2024 08:08:53 -0500 schrieb olcott:
>>>>> On 7/21/2024 6:37 AM, Richard Damon wrote:
>>>>>> On 7/21/24 12:15 AM, olcott wrote:
>>
>>>>> (b) We know that a decider is not allowed to report on the behavior
>>>>> computation that itself is contained within. Deciders only take finite
>>>>> string inputs. They do not take executing processes as inputs. Thus
>>>>> HHH is not allowed to report on the behavior of this int main() {
>>>>> DDD(); }.
>>>> That IS exactly the input.
>>> The behavior of emulated DDD after it has been aborted changes the
>>> behavior of the directly existed DDD.
>> A deterministic program can't change. It was always going to be aborted.
>>
> 
> None-the-less we can examine the exhaustively complete set
> of every HHH/DDD pair that can possibly exist and find that
> all of the HHH instances that never abort their simulation
> of DDD never stop running.

But since DDD needs to be given as a full progran, it means that every 
input DDD is DIFFERENT so all you have shown is that the aborted 
simulations of the DDD that call

> 
>>> When the second call of what would otherwise be infinite recursion is
>>> required to be aborted to prevent the infinite execution of the first
>>> call this proves that HHH(DDD)==0 is correct even though the directly
>>> executed DDD() halts.
>> The second call stops simulating just like all others.

And thus all the copies of this HHH will return and thus ALL copies of 
that DDD will halt.

And you are shown to be a stupid liar. The incessant repeating the error 
makes it no longer eligible to be an honest mistake, but just a 
pathological lie based on a reckless disregard for the truth.

Sorry, you are just burying your ideas under your pile of lies showing 
how stupid they all are.

>>
>>>>> Therefore we map the finite string input to HHH(DDD) to the behavior
>>>>> that it species on the basis of DDD correctly emulated by any pure
>>>>> function HHH that can possibly exist.
>>>> The basis is the direct behaviour.
>>> Unless you think the idea of UTMs is wrong-headed nonsense the behavior
>>> of DDD correctly emulated by HHH determines the actual behavior
>>> specified by the input to HHH(DDD).
>> HHH is not an UTM.
>>
>