@MSGID: 2@dont-email.me> db6b4267
@REPLY: 1@dont-email.me> 6b8acf02
@REPLYADDR olcott <polcott2@gmail.com>
@REPLYTO 2:5075/128 olcott
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 2@dont-email.me>
@RFC-References: 3@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
1@dont-email.me> 1@dont-email.me>
@TZUTC: -0500
@PID: Mozilla/5.0 (Windows NT 10.0; Win64; x64;
rv:102.0) Gecko/20100101 Thunderbird/102.14.0
@TID: FIDOGATE-5.12-ge4e8b94
On 8/22/2023 4:56 AM, Mikko wrote:
> On 2023-08-21 14:49:13 +0000, olcott said:
> 
>> All deciders must map THEIR INPUT to an accept or reject state
>> on the basis of a property of THIS INPUT.
> 
> That is the only thing they can do, eeven if required something else.
> 
> For a halting deider the property is whether that input is a
> description of a halting computation.
> 
>> All halt deciders must map THEIR INPUT to an accept or reject state
>> on the basis of the behavior specified by THIS ACTUAL INPUT.
> 
> Which is the actual behaviour of the actual Turing machine
> described by the input.

THIS CANNOT IGNORE THE CHANGE IN BEHAVIOR CAUSED BY THE SPECIFIED
PATHOLOGICAL RELATIONSHIP THAT IS STIPULATED BY THE SOURCE-CODE OF
D AND H.

>> The actual behavior specified by this actual input is the behavior
>> of D correctly simulated by H.
> 
> So you say but haven`t proven. Instead, you have proven that it is not.

I have proven it many times and yet my reviewers insist on a break
from reality by making sure to ignore that actual behavior that is
actually specified by the source-code of D and H that specifies their
pathological relationship to each other.

// The following is written in C
//
01 typedef int (*ptr)(); // pointer to int function
02 int H(ptr x, ptr y)   // uses x86 emulator to simulate its input
03
04 int D(ptr x)
05 {
06   int Halt_Status = H(x, x);
07   if (Halt_Status)
08     HERE: goto HERE;
09   return Halt_Status;
10 }
11
12 void main()
13 {
14   H(D,D);
15 }

*Execution Trace*
Line 14: main() invokes H(D,D);

*keeps repeating* (unless aborted)
Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)

*Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 06.

It is an easily verified fact that D correctly simulated by H cannot
possibly reach past its own line 06. The only way to disagree with this
is through a break from reality.

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

 --- Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
 * Origin: A noiseless patient Spider (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441