Path: ...!2.eu.feeder.erje.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 <polcott333@gmail.com>
Newsgroups: comp.theory,comp.ai.philosophy
Subject: Hypothetical possibilities
Date: Sat, 20 Jul 2024 10:28:31 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <v7gl30$3j9fi$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 20 Jul 2024 17:28:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c302f5257903c7c25aa8d1f6976e7879";
	logging-data="3778034"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+yvoxB4/gEt8iCBlU72VZK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QyAD+zgHCoqmkQYQ0SaE1RYAZvA=
Content-Language: en-US
Bytes: 1596

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.




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