Groups | Search | Server Info | Login | Register

Groups > comp.theory > #109351

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

Path csiph.com!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From olcott <polcott333@gmail.com>
Newsgroups comp.theory
Subject Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
Date Sun, 21 Jul 2024 08:34:40 -0500
Organization A noiseless patient Spider
Lines 67
Message-ID <v7j2pg$3o7r$3@dont-email.me> (permalink)
References <v6rg65$32o1o$3@dont-email.me> <v6v06i$3pivt$1@dont-email.me> <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org> <v6v2t1$3pmjn$3@dont-email.me> <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org> <v70lmo$61d8$1@dont-email.me> <8a6e6d9ff49aabe2525ce5729a439c807de4768a@i2pn2.org> <34Ocnd4voeWlDAn7nZ2dnZfqnPudnZ2d@brightview.co.uk> <v725d7$hlvg$1@dont-email.me> <aa7643b6d8c46d2c4dd5ef92ae3650afe114adbb@i2pn2.org> <v734ct$mjis$2@dont-email.me> <056325e336f81a50f4fb9e60f90934eaac823d22@i2pn2.org> <v73gk2$obtd$1@dont-email.me> <e2958e7ea04d53590c79b53bfb4bc9dff468772b@i2pn2.org> <v742r2$s48s$2@dont-email.me> <210383b2ee318f68a96d94aec314ee8b93f79b7f@i2pn2.org> <v75u22$19j7l$4@dont-email.me> <fde630817c49562bc765bdbc98e16a1582bcad53@i2pn2.org> <v78mda$1smtm$2@dont-email.me> <v7d5cl$2t3ja$1@dont-email.me> <v7ds0o$30pvh$3@dont-email.me> <v7fs29$3f4g7$1@dont-email.me> <v7gd17$3hlc2$2@dont-email.me> <v7ikn4$1jv5$1@dont-email.me>
MIME-Version 1.0
Content-Type text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding 8bit
Injection-Date Sun, 21 Jul 2024 15:34:41 +0200 (CEST)
Injection-Info dont-email.me; posting-host="9ab67b95e26d71c9bf3d4bab69c0e6c7"; logging-data="123131"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Pz/RTCpcl1a9TlrILLjvR"
User-Agent Mozilla Thunderbird
Cancel-Lock sha1:QXT1CkV0nKR5bWMFb/HxzAHYjfY=
In-Reply-To <v7ikn4$1jv5$1@dont-email.me>
Content-Language en-US
Xref csiph.com comp.theory:109351

Show key headers only | View raw

On 7/21/2024 4:34 AM, Mikko wrote:
> On 2024-07-20 13:11:03 +0000, olcott said:
> 
>> On 7/20/2024 3:21 AM, Mikko wrote:
>>> On 2024-07-19 14:08:24 +0000, olcott said:
>>>
>>>> When we use your incorrect reasoning we would conclude
>>>> that Infinite_Loop() is not an infinite loop because it
>>>> only repeats until aborted and is aborted.
>>>
>>> You and your HHH can reason or at least conclude correctly about
>>> Infinite_Loop but not about DDD. Possibly because it prefers to
>>> say "no", which is correct about Infinte_loop but not about DDD.
>>>
>>
>> *Because this is true I don't understand how you are not simply lying*
>> int main
>> {
>>    DDD();
>> }
>>
>> Calls HHH(DDD) that must abort the emulation of its input
>> or {HHH, emulated DDD and executed DDD} never stop running.
> 
> You are the lying one.
> 
> If HHH(DDD) abrots its simulation and returns true it is correct as a
> halt decider for DDD really halts.
> 

(b) We know that a decider is not allowed to report on the behavior
computation that itself is contained within. Deciders only take finite
string inputs. They do not take executing processes as inputs. Thus HHH
is not allowed to report on the behavior of this int main() { DDD(); }.

Even the Linz proof makes this same mistake

When Ĥ is applied to ⟨Ĥ⟩
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

Although embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ cannot possibly correctly report on
its own behavior because its input does the opposite of whatever
it reports embedded_H is only allowed to report on the behavior
that its input specifies.

Turing machines never take actual Turing machines as inputs.
They only take finite strings as inputs and an actual executing
Turing machine is not itself a finite string.

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

Since we ourselves can directly see that UTM based embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩
must abort the simulation of its input otherwise this input would
never stop running we know that the criteria have been met.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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

Thread

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 Mikko <mikko.levanto@iki.fi> - 2024-07-28 11:02 +0300
                embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-07-29 11:16 -0500
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ joes <noreply@example.org> - 2024-07-29 20:08 +0000
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ olcott <polcott333@gmail.com> - 2024-07-29 15:16 -0500
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ Mikko <mikko.levanto@iki.fi> - 2024-07-30 09:37 +0300
                embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn olcott <polcott333@gmail.com> - 2024-07-30 09:16 -0500
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Mikko <mikko.levanto@iki.fi> - 2024-07-31 10:32 +0300
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn olcott <polcott333@gmail.com> - 2024-07-31 12:27 -0500
                Re: embedded_H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ computes the mapping from its input to Ĥ.qn Mikko <mikko.levanto@iki.fi> - 2024-08-01 10:44 +0300
                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

csiph-web