@MSGID: AsA.303179@fx18.iad>
c50b6cf4
@REPLY: 4@dont-email.me> 3832a56d
@REPLYADDR Richard Damon
<Richard@Damon-Family.org>
@REPLYTO 2:5075/128 Richard Damon
@CHRS: CP866 2
@RFC: 1 0
@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> 4@dont-email.me>
@RFC-Message-ID:
AsA.303179@fx18.iad>
@TZUTC: -0400
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 8/16/23 11:21 AM, olcott wrote:
> 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.

So?

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

No, NO ONE has said that a decision problem isn`t a problem of mapping 
an (infinite) set if inputs to a yes or no answer.

Can you provide ANY example of someone saying that?

The problem is the decider needs to answer the ACTUAL QUESTION given.

How is "Does the program described by the input halt?" change into "does 
the simulation of the input by the decider complete with out it 
aborting?", when you definition of a "correct simulation" doesn`t need 
to match to the behavior of tha actual machine.

That is like being asked what it 2 + 3? and you answer the correct 
answer is 8, because 2 * 2 * 2 is 8.

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

No, we can see that H "simulates" a call to H(D,D) is non-halting when 
we also see that H(D,D) returns 0.

Thus, the simulation is INCORRECT.

You clearly don`t understand what "Correct" means.

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

So? Since this H DOESN`T correctluy simulate this input, the statement 
is ill-formed.

An ACTUAL correct simulation of this input will reach line 9, and thus 
show that D()D does halt, and that H is just incorrrect.

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

No, you have the veracity of Trump, maybe even less, because it seems 
like you actually believe your own lies.

The fact that even you have verified is that the CORRECT simulation of 
this input halts. (Do I need to post that trace that YOU posted again?)

You are just proving that you are a pathological liar.


>>
>> Mikko
>>
> 

--- Mozilla Thunderbird
 * Origin: Forte - www.forteinc.com (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