@MSGID: 1@dont-email.me> 95932f0d
@REPLY: 1@dont-email.me> 47e0eac4
@REPLYADDR Mikko <mikko.levanto@iki.fi>
@REPLYTO 2:5075/128 Mikko
@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>
@TZUTC: 0300
@PID: Unison/2.2
@TID: FIDOGATE-5.12-ge4e8b94
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

--- Unison/2.2
 * Origin: - (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