Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #107590

Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma
Date 2024-06-21 23:31 -0500
Organization A noiseless patient Spider
Message-ID <v55k3f$3jl81$1@dont-email.me> (permalink)
References (29 earlier) <v54scd$lkkb$11@i2pn2.org> <v55289$3cthh$1@dont-email.me> <v552tf$lkkb$13@i2pn2.org> <v55fn7$3irer$1@dont-email.me> <v55jl3$nhbb$2@i2pn2.org>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/21/2024 11:24 PM, joes wrote:
> Am Fri, 21 Jun 2024 22:16:55 -0500 schrieb olcott:
>> On 6/21/2024 6:38 PM, Richard Damon wrote:
>>> On 6/21/24 7:27 PM, olcott wrote:
>>>> On 6/21/2024 4:46 PM, Richard Damon wrote:
>>>>> On 6/21/24 5:25 PM, olcott wrote:
>>>>>> On 6/21/2024 4:10 PM, Richard Damon wrote:
>>>>>>> On 6/21/24 4:52 PM, olcott wrote:
>>>>>>>> On 6/21/2024 3:00 PM, Richard Damon wrote:
>>>>>>>>> On 6/21/24 3:45 PM, olcott wrote:
>>>>>>>>>> On 6/21/2024 2:33 PM, Richard Damon wrote:
>>>>>>>>>>> On 6/21/24 3:19 PM, olcott wrote:
> 
>>>>>>>>>>> Nope. H(M,d) is DEFINED (if it is correct) to determine if M(d)
>>>>>>>>>>> will Halt.
> 
>>>>>>>>> But we CAN show that it maps to the behavior of D(D) (at least
>>>>>>>>> when the representation of D includes the H that is giving the 0
>>>>>>>>> answer) by just runnig it and seeing what it does.
> 
>>>>>>> The DEFINITION of a Halt Decider gives what H is SUPPOSED to do, if
>>>>>>> it is one.
>>>>>>> You claim it is a correct Halt decider
>>>>>>>
>>>>>> When we do not simply make false assumptions about the behavior that
>>>>>> the input to H(D,D) specifies:
>>>>>>  Β Β  That the call from D correctly simulated by H to H(D,D) returns
>>>>>
>>>>> What "False Assumption"?
>>>>> You just are ignorant of the DEFINTION of the problem.
>>>>>
>>>> *DOGMA DOES NOT COUNT AS SUPPORTING REASONING*
>>>
>>> But DEFINITIONS DO.
> 
>>>> To "define" that the call from the D correctly simulated by H to
>>>> H(D,D) returns when the actual facts prove that this call *DOES NOT
>>>> RETURN* is ultimately unreasonable because *THERE IS NO REASONING*
>>>> that supports this.
> If H really is a decider, it returns.
> 
>>> But that isn't the definition that we are using.
> 
>> NOTHING talks about the correct simulation of D ONLY because I am the
>> sole inventor of simulating halt deciders that no one ever thought
>> ALL-THE-WAY through before.
> Unlikely.
> Again, the simulation shouldn't change anything.
> 
>> The semantics of the x86 language conclusively proves as a verified fact
>> that the behavior that D specifies to H is different than the behavior
>> that D specifies to H1.
> But D is the same in either case?!
> 
>> You cannot simply correctly ignore that the pathological relationship
>> that D calls H(D,D) and does not call H1(D,D) changes the behavior of D
>> between these two cases.

> The behaviour changes only because of the called H.
> 

void DDD()
{
   H0(DDD);
}

int main()
{
   H0(DDD);
   H1(DDD);
}

DDD correctly simulated by H1 halts.
DDD correctly simulated by H0 never halts.


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

Thread

Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-09 22:54 -0500
  Re: D correctly simulated by H proved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 08:35 +0000
    Re: D correctly simulated by H proved for THREE YEARS --- Mikko <mikko.levanto@iki.fi> - 2024-06-10 12:59 +0300
      Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 10:33 -0500
        Re: D correctly simulated by H proved for THREE YEARS --- Mikko <mikko.levanto@iki.fi> - 2024-06-11 12:00 +0300
          Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 12:10 -0500
    Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 09:36 -0500
      Re: D correctly simulated by H proved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 15:25 +0000
        Re: D correctly simulated by H proved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 10:36 -0500
          Re: D simulated by H unproved for THREE YEARS --- joes <noreply@example.com> - 2024-06-10 17:06 +0000
            Re: D simulated by H unproved for THREE YEARS --- olcott <polcott333@gmail.com> - 2024-06-10 12:31 -0500
  Re: D correctly simulated by H proved for THREE YEARS --- Richard Damon <richard@damon-family.org> - 2024-06-10 07:16 -0400
    Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error olcott <polcott333@gmail.com> - 2024-06-10 21:06 -0500
      Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error Richard Damon <richard@damon-family.org> - 2024-06-10 23:32 -0400
        Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error olcott <polcott333@gmail.com> - 2024-06-10 23:31 -0500
          Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error Richard Damon <richard@damon-family.org> - 2024-06-11 07:47 -0400
            Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 12:12 -0500
              Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 18:47 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 18:23 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Python <python@invalid.org> - 2024-06-12 02:20 +0200
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 19:57 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 22:32 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 22:34 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 11:50 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 18:59 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 18:12 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 19:41 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 18:53 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 20:37 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 20:19 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 21:50 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 20:54 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 22:06 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 21:21 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 22:57 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 22:24 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-12 23:45 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-12 22:58 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 07:31 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 10:32 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 17:34 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 21:24 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 20:39 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 23:04 -0400
                H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-13 22:14 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-13 23:44 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-13 23:13 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 07:39 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 08:15 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-14 15:54 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 12:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-15 11:34 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-15 07:21 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-15 15:33 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-15 08:24 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-15 09:51 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-16 12:15 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-16 07:59 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-17 10:10 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-17 07:51 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 10:44 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 07:46 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 18:36 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 10:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-18 19:27 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-18 11:36 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-19 11:07 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-19 08:37 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-20 08:04 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 00:15 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-20 17:42 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 10:04 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-20 16:16 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 11:28 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-21 10:05 +0200
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-21 08:13 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-21 10:27 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-20 21:55 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-20 21:04 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-20 22:38 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 21:46 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-20 22:59 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 22:30 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-20 23:52 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-20 23:01 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 10:36 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 11:56 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:06 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 12:16 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:26 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 12:38 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 13:52 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 13:18 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 14:42 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 13:53 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 15:05 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 14:19 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 15:33 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 14:45 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 16:00 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 15:52 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 17:10 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 16:25 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 17:46 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 17:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 18:58 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 18:11 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 19:36 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 18:27 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-21 19:38 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 22:16 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma joes <noreply@example.com> - 2024-06-22 04:24 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-21 23:31 -0500
                Re: Dogma -- other deciders joes <noreply@example.com> - 2024-06-22 08:59 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:03 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-22 08:12 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:38 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 08:59 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma olcott <polcott333@gmail.com> - 2024-06-22 08:12 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Dogma Richard Damon <richard@damon-family.org> - 2024-06-22 09:38 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply joes <noreply@example.com> - 2024-06-22 04:09 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 23:18 -0500
                Re: Boilerplate Reply -- different simulation joes <noreply@example.com> - 2024-06-22 08:47 +0000
                Re: Boilerplate Reply -- different simulation olcott <polcott333@gmail.com> - 2024-06-22 08:08 -0500
                Re: Boilerplate Reply -- different simulation joes <noreply@example.com> - 2024-06-22 14:36 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:05 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-22 08:15 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:35 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Mikko <mikko.levanto@iki.fi> - 2024-06-22 12:08 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-22 07:58 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-22 09:22 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply olcott <polcott333@gmail.com> - 2024-06-21 08:49 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply Richard Damon <richard@damon-family.org> - 2024-06-21 10:41 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-21 10:16 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-21 08:21 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-21 10:43 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) Mikko <mikko.levanto@iki.fi> - 2024-06-22 14:06 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-22 20:39 +0200
                DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-22 13:47 -0500
                Re: DDD correctly emulated by H0 "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-22 20:53 +0200
                Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-22 13:56 -0500
                Re: DDD correctly emulated by H0 Richard Damon <richard@damon-family.org> - 2024-06-22 15:11 -0400
                Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 09:22 +0000
                Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 08:16 -0500
                Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 13:46 +0000
                Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 09:03 -0500
                Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 14:32 +0000
                Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 16:28 +0000
                Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 12:21 -0500
                Re: DDD correctly emulated by H0 joes <noreply@example.com> - 2024-06-25 20:25 +0000
                Re: DDD correctly emulated by H0 Ben Bacarisse <ben@bsb.me.uk> - 2024-06-25 15:04 +0100
                Re: DDD correctly emulated by H0 --- Ben fails to understand computable functions olcott <polcott333@gmail.com> - 2024-06-25 09:21 -0500
                Re: DDD correctly emulated by H0 --- Ben fails to understand computable functions Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
                Re: DDD correctly emulated by H0 Alan Mackenzie <acm@muc.de> - 2024-06-25 14:46 +0000
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 12:45 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 21:47 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 21:05 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 22:23 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 21:29 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 22:55 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 22:29 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-25 23:35 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-25 22:42 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 07:02 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 08:42 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 18:46 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:55 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 19:20 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 20:42 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 02:15 +0100
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 02:30 +0100
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 21:52 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 03:06 +0100
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:29 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:38 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:39 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:51 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 23:16 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 22:34 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 07:34 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 08:35 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:13 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 22:39 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:56 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 23:15 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 22:30 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 07:34 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 09:00 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:04 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-27 03:16 +0100
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:35 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 21:00 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-26 11:41 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-26 07:58 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-26 19:41 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-27 10:36 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 09:10 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-27 18:35 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 11:56 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-27 17:25 +0000
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-27 12:38 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-28 12:25 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-28 10:21 -0500
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-28 16:21 +0000
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-29 11:05 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-27 19:57 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-28 11:30 +0300
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met olcott <polcott333@gmail.com> - 2024-06-28 07:40 -0500
                Re:  Ben agrees that Sipser approved criteria is met joes <noreply@example.com> - 2024-06-28 13:04 +0000
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Richard Damon <richard@damon-family.org> - 2024-06-28 23:49 -0400
                Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met Mikko <mikko.levanto@iki.fi> - 2024-06-29 11:10 +0300
                Re: DDD correctly emulated by H0 Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2024-06-25 16:41 +0100
                Re: DDD correctly emulated by H0 olcott <polcott333@gmail.com> - 2024-06-25 10:56 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 19:34 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 21:38 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 20:59 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:16 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:25 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:48 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:52 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 23:43 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 21:06 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) Richard Damon <richard@damon-family.org> - 2024-06-14 22:17 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 21:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 22:50 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 21:56 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 23:36 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 22:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-14 23:48 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-14 22:55 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 06:56 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 08:35 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 09:51 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 09:23 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 10:46 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 10:03 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 11:18 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 10:41 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 11:52 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:11 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 12:24 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:31 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 12:39 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 11:50 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:04 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 12:16 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:23 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 12:33 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 13:41 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 13:03 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 14:10 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 14:16 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 19:06 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 18:28 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 19:51 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 19:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 21:11 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 20:57 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-15 22:32 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 22:16 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-16 07:44 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-16 08:21 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. joes <noreply@example.com> - 2024-06-15 11:48 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. olcott <polcott333@gmail.com> - 2024-06-15 07:26 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 09:52 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) olcott <polcott333@gmail.com> - 2024-06-15 09:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 11:09 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) olcott <polcott333@gmail.com> - 2024-06-15 10:17 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) Richard Damon <richard@damon-family.org> - 2024-06-15 11:24 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) joes <noreply@example.com> - 2024-06-14 08:38 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) olcott <polcott333@gmail.com> - 2024-06-14 07:34 -0500
                H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 09:37 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 11:00 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 10:07 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 11:12 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 10:54 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies joes <noreply@example.com> - 2024-06-15 16:11 +0000
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:19 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:26 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:31 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:41 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies Richard Damon <richard@damon-family.org> - 2024-06-15 12:12 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies olcott <polcott333@gmail.com> - 2024-06-15 11:23 -0500
                H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 11:57 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 13:17 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 12:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 14:08 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 13:55 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:15 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 18:40 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 19:57 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 19:44 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 21:13 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 20:39 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-15 22:02 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-15 22:22 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Mikko <mikko.levanto@iki.fi> - 2024-06-16 11:34 +0300
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 07:53 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 07:44 -0400
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES olcott <polcott333@gmail.com> - 2024-06-16 08:04 -0500
                Re: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Richard Damon <richard@damon-family.org> - 2024-06-16 13:30 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:05 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 07:55 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules onion@anon.invalid (Mr Γ–n!on) - 2024-06-13 14:52 +0100
                Re: ❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄ πŸ³οΈβ€πŸŒˆD correctly simulated by H proved for THREE YEARS --- finite string transformation rulesπŸ³οΈβ€πŸŒˆ ❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄❄ Snowflake ❄ (Was: πŸ³οΈβ€πŸŒˆD correctly simulated by H proved for THREE YEARS --- finite string transformation rulesπŸ³οΈβ€πŸŒˆ) πŸŒˆπŸ’πŸŒ»πŸŒΊπŸŒΉπŸŒ»πŸ’πŸŒ·πŸŒΊπŸŒˆJenπŸŒˆπŸ’πŸŒ»πŸŒΊπŸŒΉπŸŒ»πŸ’πŸŒ·πŸŒΊπŸŒˆ Dershmender πŸ’πŸŒ»πŸŒΊπŸŒΉπŸŒ»πŸ’πŸŒ·πŸŒΊπŸΆη¬›πŸŒˆπŸ’πŸŒ»πŸŒΊπŸŒΉπŸŒ»πŸ’πŸŒ·πŸŒΊπŸŒˆ <root@127.0.0.1>  - 2024-06-13 14:51 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules Richard Damon <richard@damon-family.org> - 2024-06-13 21:28 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:42 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 08:52 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 07:58 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules joes <noreply@example.com> - 2024-06-13 16:53 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules olcott <polcott333@gmail.com> - 2024-06-13 12:06 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding joes <noreply@example.com> - 2024-06-13 17:38 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- simulating vs. deciding olcott <polcott333@gmail.com> - 2024-06-14 07:07 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-11 22:30 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 22:21 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 07:33 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 11:57 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 19:03 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 18:25 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 19:45 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 19:37 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 20:52 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 20:27 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 21:36 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 20:50 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 22:16 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 21:25 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 22:37 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 21:48 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 23:08 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 22:26 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-12 23:49 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-12 23:06 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:23 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 07:31 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 08:37 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 17:19 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:19 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 21:22 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 23:06 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:12 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations olcott <polcott333@gmail.com> - 2024-06-13 08:07 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations joes <noreply@example.com> - 2024-06-13 17:06 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations olcott <polcott333@gmail.com> - 2024-06-13 13:07 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations Richard Damon <richard@damon-family.org> - 2024-06-13 22:30 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transfermentations olcott <polcott333@gmail.com> - 2024-06-13 21:31 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations Richard Damon <richard@damon-family.org> - 2024-06-13 22:27 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- finite sting transformations olcott <polcott333@gmail.com> - 2024-06-13 21:30 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 08:49 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 08:10 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Alan Mackenzie <acm@muc.de> - 2024-06-13 14:35 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 10:08 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten joes <noreply@example.com> - 2024-06-13 17:26 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 07:05 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 19:27 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 19:40 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 21:58 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 21:06 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-14 22:05 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-14 21:07 -0500
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:35 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- specification joes <noreply@example.com> - 2024-06-13 17:09 +0000
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten Richard Damon <richard@damon-family.org> - 2024-06-13 22:31 -0400
                Re: D correctly simulated by H proved for THREE YEARS --- rewritten olcott <polcott333@gmail.com> - 2024-06-13 21:33 -0500
              Re: D correctly simulated by H proved for THREE YEARS --- rewritten "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-06-12 08:24 +0200

csiph-web