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: No one can correctly refute that simulating abort decider A(D,D) is
 correct
Date: Wed, 27 Mar 2024 14:04:13 -0500
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <uu1qje$3106v$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 27 Mar 2024 19:04:15 +0100 (CET)
Injection-Info: dont-email.me; posting-host="fa63db01727c3acc7401a5d56fb7345e";
	logging-data="3178719"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/CUE5QmGIb/t0qTPt5px42"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4xCnKW0Lk000VlL84+rTOchWbtQ=
Content-Language: en-US
Bytes: 1983

01 void B(ptr x) // ptr is pointer to void function
02 {
03   A(x, x);
04   return;
05 }
06
07 void main()
08 {
09   A(B,B);
10 }

*Execution Trace*
Line 09: main() invokes A(B,B);

*keeps repeating* (unless aborted)
Line 03: simulated B(B) invokes simulated A(B,B) that simulates B(B)

*Simulation invariant*
B correctly simulated by A cannot possibly reach past its own line 03.

The whole class of every A(B,B) that simulates its input
is divided into two sub-classes:
(a) A(B,B) that DOES NOT abort its simulation is incorrect
     (ABOUT THIS ABORT DECISION)
     because it would never halt and all deciders must always halt.

(b) A(B,N) that DOES abort its simulation is correct
     (ABOUT THIS ABORT DECISION)
     because it would halt and all deciders must always halt.

When I provide the same abort criteria that everyone can see
is obviously correct they lie about it.


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