@MSGID: 1@dont-email.me> 33a0bbee
@REPLY: 1@dont-email.me> 95932f0d
@REPLYADDR olcott <polcott2@gmail.com>
@REPLYTO 2:5075/128 olcott
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@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>
@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/18/2023 2:14 AM, Mikko wrote:
> On 2023-08-18 07:10:39 +0000, Mikko said:
> 
>> On 2023-08-17 16:18:36 +0000, olcott said:
>>
>>> On 8/17/2023 10:04 AM, Mikko wrote:
>>>> On 2023-08-17 14:59:45 +0000, olcott said:
>>>>
>>>>> When I prove that you are wrong you simply stop talking because you 
>>>>> never wanted any honest dialogue.
>>>>
>>>> You can`t know that until you prove me wrong.
>>>>
>>>> Mikko
>>>>
>>>
>>> // 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.
>>>
>>> The lack of a reply showing how D correctly simulated by H can
>>> terminate normally *WILL BE CONSTRUED AS ADMISSION THAT YOU ARE WRONG*
>>
>> It is obvious that D cannot be correctly simuated ad infinitum or to
>> its termination.
> 
> By H. By a better simulator it is possible, e.g., by UTM.
> 
> Mikko
> 

The behavior of D correctly simulated by H must include thus
cannot ignore the pathological relationship between D and H.

The behavior of D correctly simulated by H does provide the
behavior of the actual input to H(D,D).

The behavior of D(D) directly executed in main() does *NOT*
provide the behavior of the actual input to H(D,D).

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

Requires that H report on the actual behavior of its input
and is forbidden from reporting on any behavior that differs
from this.




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