Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Can any pathological input thwart a simulating abort decider?
Date: Fri, 22 Mar 2024 13:41:35 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <utkjd0$335kr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 22 Mar 2024 18:41:37 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="690daa18ce180247edf7b429f714d68a";
	logging-data="3249819"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18mcLr0XOvGgWZdHoziAP5x"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pJ1ICM8lQGj98NKzli+kehqQsRw=
Content-Language: en-US
Bytes: 1745

01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }

H is a simulating abort decider that supposed to
correctly determine whether or not it needs to abort
the simulation of any pathological inputs that are
attempting to thwart this abort decision.

H must abort every simulated input that would not
otherwise halt to prevent its own non-termination.

It is a self-evident verified fact that every H(D,D)
that decides to abort its simulated D(D) is correct
in doing so because this does prevent its own
non-termination.

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