Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting V2

From	Richard Damon <richard@damon-family.org>
Newsgroups	comp.theory
Subject	Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting V2
Date	2024-07-17 19:56 -0400
Organization	i2pn2 (i2pn.org)
Message-ID	<803f7ea53827c9a20afabe7a824eb93bf2ebffb2@i2pn2.org> (permalink)
References	(4 earlier) <v73926$mjis$17@dont-email.me> <v75950$166e9$1@dont-email.me> <v76dgv$1cf96$2@dont-email.me> <v77pnu$1nn5l$2@dont-email.me> <v78fhd$1rc43$4@dont-email.me>

Show all headers | View raw

On 7/17/24 9:04 AM, olcott wrote:
> On 7/17/2024 1:52 AM, Mikko wrote:
>> On 2024-07-16 18:18:07 +0000, olcott said:
>>
>>> On 7/16/2024 2:57 AM, Mikko wrote:
>>>> On 2024-07-15 13:43:34 +0000, olcott said:
>>>>
>>>>> On 7/15/2024 3:17 AM, Mikko wrote:
>>>>>> On 2024-07-14 14:50:47 +0000, olcott said:
>>>>>>
>>>>>>> On 7/14/2024 5:09 AM, Mikko wrote:
>>>>>>>> On 2024-07-12 14:56:05 +0000, olcott said:
>>>>>>>>
>>>>>>>>> We stipulate that the only measure of a correct emulation is the
>>>>>>>>> semantics of the x86 programming language.
>>>>>>>>>
>>>>>>>>> _DDD()
>>>>>>>>> [00002163] 55         push ebp      ; housekeeping
>>>>>>>>> [00002164] 8bec       mov ebp,esp   ; housekeeping
>>>>>>>>> [00002166] 6863210000 push 00002163 ; push DDD
>>>>>>>>> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
>>>>>>>>> [00002170] 83c404     add esp,+04
>>>>>>>>> [00002173] 5d         pop ebp
>>>>>>>>> [00002174] c3         ret
>>>>>>>>> Size in bytes:(0018) [00002174]
>>>>>>>>>
>>>>>>>>> When N steps of DDD are emulated by HHH according to the
>>>>>>>>> semantics of the x86 language then N steps are emulated correctly.
>>>>>>>>>
>>>>>>>>> When we examine the infinite set of every HHH/DDD pair such that:
>>>>>>>>> HHH₁ one step of DDD is correctly emulated by HHH.
>>>>>>>>> HHH₂ two steps of DDD are correctly emulated by HHH.
>>>>>>>>> HHH₃ three steps of DDD are correctly emulated by HHH.
>>>>>>>>> ...
>>>>>>>>> HHH∞ The emulation of DDD by HHH never stops running.
>>>>>>>>>
>>>>>>>>> The above specifies the infinite set of every HHH/DDD pair
>>>>>>>>> where 1 to infinity steps of DDD are correctly emulated by HHH.
>>>>>>>>
>>>>>>>> You should use the indices here, too, e.g., "where 1 to infinity 
>>>>>>>> steps of
>>>>>>>> DDD₁ are correctly emulated by HHH₃" or whatever you mean.
>>>>>>>>
>>>>>>>
>>>>>>> DDD is the exact same fixed constant finite string that
>>>>>>> always calls HHH at the same fixed constant machine
>>>>>>> address.
>>>>>>
>>>>>> If the function called by DDD is not part of the input then the 
>>>>>> input does
>>>>>> not specify a behaviour and the question whether DDD halts is 
>>>>>> ill-posed.
>>>>>>
>>>>>
>>>>> We don't care about whether HHH halts. We know that
>>>>> HHH halts or fails to meet its design spec.
>>>>>
>>>>> We are only seeing if DDD correctly emulated by HHH
>>>>> can can possibly reach its own final state.
>>>>
>>>> HHH does not see even that. It only sees whther that it does not 
>>>> emulate
>>>> DDD to its final state.
>>>
>>> No. HHH is not judging whether or not itself is a correct
>>> emulator. The semantics of the x86 instructions that emulates
>>> prove that its emulation is correct.
>>
>> The semantics does not prove. Only a proof would prove.
>>
> 
> Nothing besides the semantics of English proves that
> a kitten is not any type of 15 story office building.
> 
> _DDD()
> [00002163] 55         push ebp      ; housekeeping
> [00002164] 8bec       mov ebp,esp   ; housekeeping
> [00002166] 6863210000 push 00002163 ; push DDD
> [0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
> [00002170] 83c404     add esp,+04
> [00002173] 5d         pop ebp
> [00002174] c3         ret
> Size in bytes:(0018) [00002174]
> 
> DDD emulated by HHH according to the semantic meaning of
> its x86 instructions never stop running unless aborted.
> 
> 

Wrong, EVERY DDD that is calls an HHH that any copy of it returns from 
the call HHH(DDD) to any caller makes a DDD that halts.

Yes, the HHH can never reach that state in its emulation, but DDD gets 
there.

You are just proving you are a stupid liar that doesn't know what he is 
talking about.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-12 09:56 -0500
  Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-12 22:52 +0200
  Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-12 18:56 -0400
    Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-12 18:19 -0500
      Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-12 19:41 -0400
        Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-12 22:00 -0500
          Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-12 23:48 -0400
          Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 08:48 +0000
            Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 06:53 -0500
              Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 13:11 +0000
              Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
      Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-13 10:15 +0200
        Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 06:39 -0500
          Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-13 14:20 +0200
            Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 08:04 -0500
              Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 08:27 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 10:14 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 09:35 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 10:48 -0400
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 10:15 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 11:25 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 10:34 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 12:05 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 11:19 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 12:31 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 11:43 -0500
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 13:20 -0400
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 13:22 -0500
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 14:37 -0400
              Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 13:24 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 08:34 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 10:14 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 14:21 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 09:31 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 10:45 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 22:40 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 17:47 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 23:26 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 18:33 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 19:46 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-14 08:29 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-14 09:00 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-14 14:22 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 00:20 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-14 19:30 -0500
                Re: DDD correctly emulated by HHH is IN*Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-14 21:20 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 08:49 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 07:22 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-15 21:12 +0200
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:18 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-16 10:20 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-16 10:57 -0500
                Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-16 21:11 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-17 09:48 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 08:02 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 15:35 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 08:43 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 16:17 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-17 17:18 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 13:13 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-17 20:29 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 15:40 -0500
                Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-17 19:56 -0400
                Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-17 19:56 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-18 11:03 +0300
                Re: DDD incorrectly emulated by HHH is inCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-17 19:57 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-18 11:00 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-18 09:08 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-18 16:16 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-19 10:35 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-19 09:04 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-19 10:42 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-15 04:02 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-14 22:35 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-15 10:35 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 07:39 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 14:02 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-15 21:15 +0200
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:18 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 08:59 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 07:23 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 14:04 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 10:52 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-15 21:21 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 20:58 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 16:03 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:18 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-16 08:23 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-16 08:54 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-16 18:06 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 10:02 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-19 10:42 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-19 09:08 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-20 11:21 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-20 08:11 -0500
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-20 09:22 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-21 12:34 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-21 08:34 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-21 14:55 +0000
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-21 13:52 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-22 10:57 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-22 08:46 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-23 09:32 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-23 08:31 -0500
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-23 22:15 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-24 10:52 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance olcott <polcott333@gmail.com> - 2024-07-24 08:29 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- last chance "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-24 20:34 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar olcott <polcott333@gmail.com> - 2024-07-24 14:27 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting --- proved to be a liar "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-25 09:47 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-24 11:57 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-24 08:33 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-26 11:45 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-26 09:08 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-27 10:21 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-27 09:08 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-25 04:29 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-25 08:56 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Python <python@invalid.org> - 2024-07-25 16:02 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-25 09:35 -0500
                Re: not identical deciders joes <noreply@example.org> - 2024-07-25 14:24 +0000
                Re: not identical deciders olcott <polcott333@gmail.com> - 2024-07-25 09:39 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-25 16:27 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-25 17:06 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-25 13:45 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-26 10:00 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-25 22:03 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-25 19:53 -0500
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken claims Richard Damon <richard@damon-family.org> - 2024-07-25 21:14 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-26 04:35 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-25 23:25 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal joes <noreply@example.org> - 2024-07-26 08:50 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-26 08:54 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-26 16:02 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-26 09:19 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-26 17:36 +0200
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal joes <noreply@example.org> - 2024-07-26 15:13 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal olcott <polcott333@gmail.com> - 2024-07-26 10:20 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal joes <noreply@example.org> - 2024-07-26 19:20 +0000
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 ---woefully mistaken rebuttal Richard Damon <richard@damon-family.org> - 2024-07-26 07:40 -0400
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken logic Richard Damon <richard@damon-family.org> - 2024-07-25 19:35 -0400
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 ---woefully mistaken emulation Richard Damon <richard@damon-family.org> - 2024-07-25 19:35 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-16 20:27 +0200
                Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-16 21:10 -0400
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:18 -0400
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:18 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-07-15 17:03 +0100
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 --- key point needing review olcott <polcott333@gmail.com> - 2024-07-15 11:23 -0500
                Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 --- key point needing review Richard Damon <richard@damon-family.org> - 2024-07-15 22:19 -0400
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 07:09 -0400
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 07:43 -0500
                Re: DDD correctly emulated by HHH is *IN*Correctly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:17 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-15 11:09 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 08:39 -0500
                Re: DDD incorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:19 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-16 10:47 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-16 13:10 -0500
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-16 20:37 +0000
                Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-16 21:10 -0400
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 19:32 -0400
              Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-14 11:58 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-14 09:49 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-14 14:22 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-15 11:15 +0300
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 08:41 -0500
                Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:17 -0400
                Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-16 11:05 +0300
          Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 09:15 -0400
            Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 08:30 -0500
              Re: DDD correctly emulated by HHH is INCorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-13 10:14 -0400
          Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-13 13:17 +0000
  Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-13 11:20 +0300
    Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-13 06:37 -0500
  Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-14 13:09 +0300
    Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-14 09:50 -0500
      Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-14 14:22 -0400
      Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-15 11:17 +0300
        Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-15 08:43 -0500
          Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-15 21:09 +0200
          Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-15 20:49 +0000
          Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-15 22:17 -0400
          Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-16 10:57 +0300
            Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-16 13:18 -0500
              Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-16 20:32 +0200
              Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 joes <noreply@example.org> - 2024-07-16 20:43 +0000
                Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-07-17 09:01 +0200
              Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-16 21:10 -0400
              Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-17 09:52 +0300
                Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 olcott <polcott333@gmail.com> - 2024-07-17 08:04 -0500
                Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting V2 Richard Damon <richard@damon-family.org> - 2024-07-17 19:56 -0400
                Re: DDD correctly emulated by HHH is correctly rejected as non-halting V2 Mikko <mikko.levanto@iki.fi> - 2024-07-18 11:13 +0300

csiph-web