Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,comp.ai.philosophy Subject: Re: Hypothetical possibilities Date: Sat, 20 Jul 2024 15:05:53 -0500 Organization: A noiseless patient Spider Lines: 55 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 20 Jul 2024 22:05:54 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c302f5257903c7c25aa8d1f6976e7879"; logging-data="3873434"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19z5/Xn3tnqyJq0xyatUhAU" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:IITUk1r/2JNypI0BAHMP6mE9W0A= Content-Language: en-US In-Reply-To: Bytes: 2716 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. 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. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer