Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.net!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 14:09:55 -0500 Organization: A noiseless patient Spider Lines: 37 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 21:09:56 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c302f5257903c7c25aa8d1f6976e7879"; logging-data="3852486"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+QeEYyirzGV7ph4qO5S1+z" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:iz7ETCBs1i1LmzY+CxKNbyhRuKw= In-Reply-To: Content-Language: en-US Bytes: 2171 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? -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer