@MSGID: 4@dont-email.me> 3832a56d
@REPLY: 1@dont-email.me> 4a1046bc
@REPLYADDR olcott <polcott2@gmail.com>
@REPLYTO 2:5075/128 olcott
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 4@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>
@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/15/2023 6:07 AM, Mikko wrote:
> On 2023-08-14 14:01:14 +0000, olcott said:
> 
>> My point is that the correct behavior to measure is the *input* D
>> correctly simulated by H. For this simulation to be correct it must
>> account for the pathological relationship between D and H.
> 
> Looks like an unjusufied minorty opinion. The really correct thing
> to measure is what the problem statement requires to be measured.

Prior to Pythagoras there was a universal consensus that the Earth
was flat.

"A decision problem is a yes-or-no question on an infinite set of
inputs" https://en.wikipedia.org/wiki/Decision_problem#Definition

199 of my 200 reviewers disagree with the above verified fact.
They believe that deciders must operate on non-inputs.

> 
>> The makes the behavior of D correctly simulated by H different than
>> the behavior of of the *non input* D(D) directly executed in main().
> 
> If the beharioour of the simulated D(D) is different from the behaviour
> of real D(D) then the it is not correctly simulated.

It is a verified fact that D is correctly simulated by H because
everyone sufficiently competent with C can directly see that the
simulation is correct as a verified fact.

// 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.

People that are only interested in rebuttal often directly contradict 
the verified fact of the above *Simulation invariant*


> 
> Mikko
> 

-- 
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 5015/255 5019/40 5020/715 848
1042 4441 12000 5030/49 1081
SEEN-BY: 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441