Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,comp.ai.philosophy
Subject: Re: Hypothetical possibilities
Date: Sat, 20 Jul 2024 17:10:47 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <a69b1a19e5732284c31315578d1704e438b0fdcf@i2pn2.org>
References: <v7gl30$3j9fi$1@dont-email.me> <v7h1fl$3lcvq$3@dont-email.me>
 <v7h224$3li66$3@dont-email.me>
 <e975eef57ba6d3d4cc790818c05b7165443f7ce4@i2pn2.org>
 <v7h5b2$3m6kq$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Jul 2024 21:10:47 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3938153"; 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: <v7h5b2$3m6kq$2@dont-email.me>
Content-Language: en-US
Bytes: 3443
Lines: 73

On 7/20/24 4:05 PM, olcott wrote:
> On 7/20/2024 2:50 PM, Richard Damon wrote:
>> On 7/20/24 3:09 PM, olcott wrote:
>>> On 7/20/2024 2:00 PM, Fred. Zwarts wrote:
>>>> Op 20.jul.2024 om 17:28 schreef olcott:
>>>>> void DDD()
>>>>> {
>>>>>    HHH(DDD);
>>>>> }
>>>>>
>>>>> int main()
>>>>> {
>>>>>    DDD();
>>>>> }
>>>>>
>>>>> (a) Termination Analyzers / Partial Halt Deciders must halt
>>>>> this is a design requirement.
>>>>>
>>>>> (b) Every simulating termination analyzer HHH either
>>>>> aborts the simulation of its input or not.
>>>>>
>>>>> (c) Within the hypothetical case where HHH does not abort
>>>>> the simulation of its input {HHH, emulated DDD and executed DDD}
>>>>> never stop running.
>>>>>
>>>>> This violates the design requirement of (a) therefore HHH must
>>>>> abort the simulation of its input.
>>>>
>>>> And when it aborts, the simulation is incorrect. When HHH aborts and 
>>>> halts, it is not needed to abort its simulation, because it will 
>>>> halt of its own.
>>>
>>> So you are trying to get away with saying that no HHH
>>> ever needs to abort the simulation of its input and HHH
>>> will stop running?
>>>
>>
>> It is the fact that HHH DOES abort its simulation that makes it not 
>> need to. 
> 
> No stupid it is not a fact that every HHH that can possibly
> exist aborts its simulation.

But every HHH that is a decider does.

> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> It *is* a fact that no DDD correctly simulated by any
> pure function HHH ever reaches its own return instruction.
> 

No, you show that the EMULATION BY HHH never reaches that point, not 
that DDD doesn't reach that point.

You miss the fact that EVERY DDD built on an HHH that aborts is 
emulation and returns to its caller makes a DDD that does reach its own 
return instruction, though after that HHH has aborted it emulation, so 
the HHH never gets that knowledge.

You are just ignorant of the differnce between the TRUTH of the 
program's behavior from the limited KNOWLEDGE gotten from the PARTIAL 
EMULAITON.

It also seems you just don't understnd what a program actualy is as you 
LIE about what needs to be considered the representation of DDD to give 
to HHH.

You are just proving that you are nothing but an ignorant pathological 
lying idiot.