----------------------------------------------------------------------------------
@MSGID: TCKc.181877@fx13.iad>
08c5f42d
@REPLY: 1@dont-email.me> d107dc1f
@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> 2@dont-email.me>
1@dont-email.me> 1@dont-email.me>
@RFC-Message-ID:
TCKc.181877@fx13.iad>
@TZUTC: -0400
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
On 8/17/23 12:18 PM, olcott wrote:
> 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*
>
So, I guess the fact that you haven`t answered MY corrections to you
proves that *I* am right and *YOU* are proven wrong.
THANKS for the admission that you have been a LIAR.
--- 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