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

Groups > sci.logic > #336075

Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: DDD correctly emulated by H0 -- Ben agrees that Sipser approved criteria is met
Date 2024-06-27 07:34 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v5jino$19368$3@i2pn2.org> (permalink)
References (27 earlier) <v5iht1$2hkk4$4@dont-email.me> <v5ijd6$17ej1$12@i2pn2.org> <v5ikch$2i32s$3@dont-email.me> <v5ilgq$17ej1$13@i2pn2.org> <v5imde$2ie27$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/26/24 11:30 PM, olcott wrote:
> On 6/26/2024 10:15 PM, Richard Damon wrote:
>> On 6/26/24 10:56 PM, olcott wrote:
>>> On 6/26/2024 9:39 PM, Richard Damon wrote:
>>>>
>>>> Nope, they use virtual memory provided by the UTM.
>>>>
>>>
>>> That *is* what it *is* doing.
>>> The UTM gets this from x86utm.
>>> The slaves use the already allocated memory.
>>
>> But they don't get to use the same memory that the simulator 
>> simulating them is using, as that leaks information that they don't 
>> get to know.
>>
> 
> The information flow is only upward.

Obviously not if it affect the behavior of the inner layers to make them 
not allocate a new buffer.

> 
>> They have a memory buffer (as far as they see) that starts empty, and 
>> they put data in it, and they take data out, and only what they put in 
>> is ever there,
>>
> 
> This is what is intended, and how it actually works.

Then how do they know not to create the buffer?

> 
>>>
>>>> They write to what they consider to be their tape, and the UTM 
>>>> figures out how to store that on its tape to be able to give it back 
>>>> when requested.
>>>>
>>> That is already what it does.
>>
>> But if the simulated machine can see that there is a layer outside 
>> them, then it isn't correct.
>>
> It need not see this and my algorithm still works.

Then take it out. That might help you get the output of just the 
simulation that the decider is doing, and not have it mixed in with the 
trace of that simulators execution, as you claim to have.

> 
>>>
>>>> Of course, you never understood the need for putting the simulated 
>>>> machine in its own virtual memory space.
>>>
>>> I have been doing that for 3.5 years.
>>> It has its own stack registers and RAM.
>>>
>>> The machine code is the same code, yet executed
>>> as a separate process.
>>>
>>
>> Then what does the "global" comment mean, every simulator should think 
>> it is the globally top level simulator, and be simulating the simulator 
> 
> That was so that humans could see the level in an
> output message. I don't use that anymore. It is disabled.

But what we need to see is the simulation done by the top level decider, 
and it alone.

> 
>> of the next level down (not doing that simulators simulation), so no 
>> simulator has "levels" in it for its own simulation.
> 
>  From the master UTM's perspective there is one more level
> before it sees the infinite recursion behavior pattern.
> 

Nope. Your "Master UTM" isn't doing its job right if it is doing that. 
Its job is to just run the machine it was given. That machine needs to 
do the job IT was given, and so on. The lower level emulators can't use 
the "master UTM", as they can't know it exists, so they need to use 
there own instance of the same code (it may be physically the same code, 
but with a TOTALLY new data space (and no shared statics).

Back to sci.logic | 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 --- 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 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) 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) --- 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 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
                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 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 olcott <polcott333@gmail.com> - 2024-06-25 10:56 -0500
                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 olcott <polcott333@gmail.com> - 2024-06-27 09:10 -0500
                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: 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
                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 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 --- 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 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 --- 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 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 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 Richard Damon <richard@damon-family.org> - 2024-06-13 22:35 -0400
                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
  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 --- rewritten olcott <polcott333@gmail.com> - 2024-06-11 12:10 -0500

csiph-web