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


Groups > comp.theory > #104154

Re: Can D simulated by H terminate normally?

From Richard Damon <richard@damon-family.org>
Newsgroups comp.theory, sci.logic
Subject Re: Can D simulated by H terminate normally?
Date 2024-05-01 20:10 -0400
Organization i2pn2 (i2pn.org)
Message-ID <v0ulma$2qov4$1@i2pn2.org> (permalink)
References (24 earlier) <v0r4a3$2hb7o$6@dont-email.me> <v0rsbr$2m1nf$6@i2pn2.org> <v0segm$2v4oq$1@dont-email.me> <v0t8o9$2p3ri$2@i2pn2.org> <v0tpjf$3881i$5@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw


On 5/1/24 12:11 PM, olcott wrote:
> On 5/1/2024 6:23 AM, Richard Damon wrote:
>> On 4/30/24 11:56 PM, olcott wrote:
>>> On 4/30/2024 5:46 PM, Richard Damon wrote:
>>>> On 4/30/24 11:55 AM, olcott wrote:
>>>>> On 4/30/2024 6:33 AM, Richard Damon wrote:
>>>>>> On 4/30/24 2:07 AM, olcott wrote:
>>>>>>> On 4/29/2024 6:19 PM, Richard Damon wrote:
>>>>>>>> On 4/29/24 10:51 AM, olcott wrote:
>>>>>>>>> On 4/29/2024 6:25 AM, Richard Damon wrote:
>>>>>>>>>> On 4/28/24 11:48 PM, olcott wrote:
>>>>>>>>>>> On 4/28/2024 6:05 PM, Richard Damon wrote:
>>>>>>>>>>>> On 4/28/24 3:48 PM, olcott wrote:
>>>>>>>>>>>>> On 4/28/2024 2:36 PM, Richard Damon wrote:
>>>>>>>>>>>>>> On 4/28/24 3:26 PM, olcott wrote:
>>>>>>>>>>>>>>> On 4/28/2024 2:18 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>> On 4/28/24 2:52 PM, olcott wrote:
>>>>>>>>>>>>>>>>> On 4/28/2024 1:39 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>> On 4/28/24 2:19 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>> On 4/28/2024 1:06 PM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>> On 4/28/24 1:50 PM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>> On 4/28/2024 11:08 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>> On 4/28/24 11:33 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>> On 4/28/2024 10:08 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>> On 4/28/24 9:52 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>>> On 4/28/2024 8:19 AM, Richard Damon wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>> On 4/28/24 8:56 AM, olcott wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>> On 4/28/2024 3:23 AM, Mikko wrote:
>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-04-28 00:17:48 +0000, olcott said:
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Can D simulated by H terminate normally?
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>> One should not that "D simulated by H" is 
>>>>>>>>>>>>>>>>>>>>>>>>>>>> not the same as
>>>>>>>>>>>>>>>>>>>>>>>>>>>> "simulation of D by H". The message below 
>>>>>>>>>>>>>>>>>>>>>>>>>>>> seems to be more
>>>>>>>>>>>>>>>>>>>>>>>>>>>> about the latter than the former. In any 
>>>>>>>>>>>>>>>>>>>>>>>>>>>> case, it is more
>>>>>>>>>>>>>>>>>>>>>>>>>>>> about the properties of H than about the 
>>>>>>>>>>>>>>>>>>>>>>>>>>>> properties of D.
>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>> D specifies what is essentially infinite 
>>>>>>>>>>>>>>>>>>>>>>>>>>> recursion to H.
>>>>>>>>>>>>>>>>>>>>>>>>>>> Several people agreed that D simulated by H 
>>>>>>>>>>>>>>>>>>>>>>>>>>> cannot possibly
>>>>>>>>>>>>>>>>>>>>>>>>>>> reach past its own line 03 no matter what H 
>>>>>>>>>>>>>>>>>>>>>>>>>>> does.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>> Nope, it is only that if H fails to be a decider.
>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>> *We don't make this leap of logic. I never used 
>>>>>>>>>>>>>>>>>>>>>>>>> the term decider*
>>>>>>>>>>>>>>>>>>>>>>>>> *We don't make this leap of logic. I never used 
>>>>>>>>>>>>>>>>>>>>>>>>> the term decider*
>>>>>>>>>>>>>>>>>>>>>>>>> *We don't make this leap of logic. I never used 
>>>>>>>>>>>>>>>>>>>>>>>>> the term decider*
>>>>>>>>>>>>>>>>>>>>>>>>> *We don't make this leap of logic. I never used 
>>>>>>>>>>>>>>>>>>>>>>>>> the term decider*
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>> You admit that people see that as being a claim 
>>>>>>>>>>>>>>>>>>>>>>>> about the Halting Problem, and thus the implied 
>>>>>>>>>>>>>>>>>>>>>>>> definitons of the terms apply.
>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>> The only way to get people to understand that I 
>>>>>>>>>>>>>>>>>>>>>>> am correct
>>>>>>>>>>>>>>>>>>>>>>> and thus not always ignore my words and leap to 
>>>>>>>>>>>>>>>>>>>>>>> the conclusion
>>>>>>>>>>>>>>>>>>>>>>> that I must be wrong is to insist that they 
>>>>>>>>>>>>>>>>>>>>>>> review every single
>>>>>>>>>>>>>>>>>>>>>>> detail of all of my reasoning one tiny step at a 
>>>>>>>>>>>>>>>>>>>>>>> time.
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> No, the way to get people to understand what you 
>>>>>>>>>>>>>>>>>>>>>> are saying is to use the standard terminology, and 
>>>>>>>>>>>>>>>>>>>>>> start with what people will accept and move to 
>>>>>>>>>>>>>>>>>>>>>> what is harder to understand.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> People have no obligation to work in the direction 
>>>>>>>>>>>>>>>>>>>>>> you want them to.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> Yes, when you speak non-sense, people will ignore 
>>>>>>>>>>>>>>>>>>>>>> you, because what you speak is non-sense.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> You are just proving that you don't understand how 
>>>>>>>>>>>>>>>>>>>>>> to perform logic, or frame a persuasive arguement.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>> That fact that as far as we can tell, your "logic" 
>>>>>>>>>>>>>>>>>>>>>> is based on you making up things and trying to 
>>>>>>>>>>>>>>>>>>>>>> form justifications for them, just makes people 
>>>>>>>>>>>>>>>>>>>>>> unwilling to attempt to "accept" your wild ideas 
>>>>>>>>>>>>>>>>>>>>>> to see what might make sense.
>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Linguistic determinism is the concept that language 
>>>>>>>>>>>>>>>>>>>>> and its structures
>>>>>>>>>>>>>>>>>>>>> limit and determine human knowledge or thought, as 
>>>>>>>>>>>>>>>>>>>>> well as thought
>>>>>>>>>>>>>>>>>>>>> processes such as categorization, memory, and 
>>>>>>>>>>>>>>>>>>>>> perception.
>>>>>>>>>>>>>>>>>>>>> https://en.wikipedia.org/wiki/Linguistic_determinism
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> So? Since formal logic isn't based on Linguistics, 
>>>>>>>>>>>>>>>>>>>> it doesn't directly impact it. IT might limit the 
>>>>>>>>>>>>>>>>>>>> forms we
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> Some of the technical "terms of the art" box people 
>>>>>>>>>>>>>>>>>>>>> into misconceptions
>>>>>>>>>>>>>>>>>>>>> for which there is no escape. Some of the technical 
>>>>>>>>>>>>>>>>>>>>> "terms of the art"
>>>>>>>>>>>>>>>>>>>>> I perfectly agree with.
>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>> *Important technical "term of the art" that I 
>>>>>>>>>>>>>>>>>>>>> totally agree with*
>>>>>>>>>>>>>>>>>>>>> Computable functions are the formalized analogue of 
>>>>>>>>>>>>>>>>>>>>> the intuitive notion
>>>>>>>>>>>>>>>>>>>>> of algorithms, in the sense that a function is 
>>>>>>>>>>>>>>>>>>>>> computable if there
>>>>>>>>>>>>>>>>>>>>> exists an algorithm that can do the job of the 
>>>>>>>>>>>>>>>>>>>>> function, i.e. given an
>>>>>>>>>>>>>>>>>>>>> input of the function domain it can return the 
>>>>>>>>>>>>>>>>>>>>> corresponding output. 
>>>>>>>>>>>>>>>>>>>>> https://en.wikipedia.org/wiki/Computable_function
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>> But you seem to miss that Halting isn't a 
>>>>>>>>>>>>>>>>>>>> "Computable Function", as Turing Proved.
>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Even the term "halting" is problematic.
>>>>>>>>>>>>>>>>>>> For 15 years I thought it means stops running for any 
>>>>>>>>>>>>>>>>>>> reason.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> And that shows your STUPIDITY, not an error in the 
>>>>>>>>>>>>>>>>>> Theory.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>> Now I know that it means reaches the final state. 
>>>>>>>>>>>>>>>>>>> Half the
>>>>>>>>>>>>>>>>>>> people here may not know that.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>> No, I suspect most of the people here are smarter than 
>>>>>>>>>>>>>>>>>> that.
>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> Yet again only rhetoric wit no actual reasoning.
>>>>>>>>>>>>>>>>> Do you believe:
>>>>>>>>>>>>>>>>> (a) Halting means stopping for any reason.
>>>>>>>>>>>>>>>>> (b) Halting means reaching a final state.
>>>>>>>>>>>>>>>>> (c) Neither.
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> In Computation Theory, which is the context of the 
>>>>>>>>>>>>>>>> discussion, Halting means reaching a final state.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> The key is that NOT HALTING, means that the machine does 
>>>>>>>>>>>>>>>> NOT reach a final state after an unbounded number of 
>>>>>>>>>>>>>>>> steps of operation.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> An aborted simulation does not determine, by itself, if 
>>>>>>>>>>>>>>>> the machine being simulated is halting or not. This 
>>>>>>>>>>>>>>>> seems to be a fact you don't understand.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Halting is strictly a property of the direct execution 
>>>>>>>>>>>>>>>> of the machine, or things that are actually proven to be 
>>>>>>>>>>>>>>>> equivalent, like the (unaborted) simulation by a UTM.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> OK that is complete agreement with my correct 
>>>>>>>>>>>>>>> understanding of the conventional notion of halting.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> When we come up with a brand new idea such as a 
>>>>>>>>>>>>>>> simulating termination
>>>>>>>>>>>>>>> analyzer that simulates its input until it matches a non 
>>>>>>>>>>>>>>> halting
>>>>>>>>>>>>>>> behavior pattern your notion of halting simply ignores 
>>>>>>>>>>>>>>> this altogether.
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Nope, it means that a correct "non-halting behavior 
>>>>>>>>>>>>>> pattern" will be a pattern that when seen in the 
>>>>>>>>>>>>>> simulation means that unconditionally the program, when 
>>>>>>>>>>>>>> directly run or simulated by an actual UTM, will not halt, 
>>>>>>>>>>>>>> per the definition.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>> Show me anywhere in the conventional terms of the art where
>>>>>>>>>>>>> a simulating termination analyzer is defined exactly that way.
>>>>>>>>>>>>>
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> But we weren't talking about the UNDEFINED term of a a 
>>>>>>>>>>>> Simulating Termination Analyzer, but about the Halting Theorem.
>>>>>>>>>>>>
>>>>>>>>>>>> After all, we were talking about the definition of HALTING, 
>>>>>>>>>>>> and thus what the two answers mean.
>>>>>>>>>>>>
>>>>>>>>>>>> As I have said, you really need to stop trying to misuse 
>>>>>>>>>>>> words, as all it is doing is making you whole concept 
>>>>>>>>>>>> incompatible with your final goal.
>>>>>>>>>>>>
>>>>>>>>>>>> Halting means Halting, so non-haling means non-halting, and 
>>>>>>>>>>>> that only means that the machine will not stop after an 
>>>>>>>>>>>> unbounded number of steps.
>>>>>>>>>>>>
>>>>>>>>>>>> If you want to have some other meaning, use some other word 
>>>>>>>>>>>> to make it clear.
>>>>>>>>>>>>
>>>>>>>>>>>> And, you will need to publish the actual DEFINITIONS of your 
>>>>>>>>>>>> terms, not just make people try to guess by context.
>>>>>>>>>>>
>>>>>>>>>>> int H(ptr x, ptr y); // ptr is pointer to int function
>>>>>>>>>>>
>>>>>>>>>>> 01 int D(ptr x)
>>>>>>>>>>> 02 {
>>>>>>>>>>> 03   int Halt_Status = H(x, x);
>>>>>>>>>>> 04   if (Halt_Status)
>>>>>>>>>>> 05     HERE: goto HERE;
>>>>>>>>>>> 06   return Halt_Status;
>>>>>>>>>>> 07 }
>>>>>>>>>>> 08
>>>>>>>>>>> 09 void main()
>>>>>>>>>>> 10 {
>>>>>>>>>>> 11   H(D,D);
>>>>>>>>>>> 12 }
>>>>>>>>>>>
>>>>>>>>>>> Simulating termination analyzer H determines whether or not
>>>>>>>>>>> D(D) simulated by H can possibly reach its final state at its
>>>>>>>>>>> own line 06 and halt whether or not H aborts its simulation.
>>>>>>>>>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>>>>>>>>>
>>>>>>>>>>> (a) It is a verified fact that D(D) simulated by H cannot
>>>>>>>>>>> possibly reach past line 03 of D(D) simulated by H whether H
>>>>>>>>>>> aborts its simulation or not.
>>>>>>>>>>>
>>>>>>>>>>> *The above is your opportunity for me to get more specific*
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> So, you think just repeating your same description provides 
>>>>>>>>>> better definitions for the words?
>>>>>>>>>>
>>>>>>>>>> By such an unlimited definition, your claim is clearly wrong 
>>>>>>>>>> as the H that D calls could detect it being called by D, and 
>>>>>>>>>> just immediately 
>>>>>>>>>
>>>>>>>>> Your lack of understanding that D simulated by H cannot 
>>>>>>>>> possibly reach
>>>>>>>>> past its own line 03 is your error here. We can go through the 
>>>>>>>>> software
>>>>>>>>> engineering details of exactly why you are wrong.
>>>>>>>>
>>>>>>>>
>>>>>>>> So, what was wrong with the example I gave here?
>>>>>>>>
>>>>>>>> You refused to define the rules on H, so that H is allowed.
>>>>>>>>
>>>>>>>>
>>>>>>>> So, you are just proven to be a LIAR.
>>>>>>> This is your mistake.
>>>>>>> When executed H(D,D) aborts its simulated input the whole recursive
>>>>>>> chain immediately stops no matter where it is. None of its functions
>>>>>>> return to their callers. There is empirical proof of this.
>>>>>>>
>>>>>>
>>>>>> No, you confuse context.
>>>>>>
>>>>>> If Main calls H(D,D) that then simulates D(D) and that simulation 
>>>>>> of D(D) calls a simulated H(D,D) that sees that it is being 
>>>>>> simulated and immediately returns 0, then the simulated D(D) will 
>>>>>> then reach that line and you claim is proven wrong.
>>>>>>
>>>>>
>>>>> The actual fully operational code proves that you are wrong about 
>>>>> this.
>>>>> We can go over the details of how and why you are wrong.
>>>>
>>>> Really?
>>>>
>>>> The fact that ONE program doesn't get there doesn't prove that NO 
>>>> program can get there.
>>>>
>>>> I have described TWO different program designes that make that 
>>>> arguement fail.
>>>>
>>>> Your refusal to deal with this just shows that you are not really 
>>>> interested in honest dialog, but
>>>>
>>>
>>> We can go into every single detail of this until we have complete
>>> closure.
>>>
>>> (1) It must be the directly executed outermost H that aborts
>>> the simulation of its simulated D.
>>>
>>> (2) When the outermost H aborts its simulated D then this simulated
>>> D no longer calls its simulated H thus the whole recursive chain 
>>> immediately stops with no function returning to its caller.
>>>
>>> When you try to show otherwise I will step-by-step detail by
>>> detail point out each error.
>>>
>>
>> But I *have* described (two different ways) how a "Directly Executed 
>> Outermost H" can do a simulation of its "Simulated D" that reached 
>> that point in its simulation, so it never needed to get to (2).
>>
> 
> I can't even understand what you are claiming and you provide
> no basis for this claim.

Why? are you THAT stupid?

You have edited them out of posts, so you have seen them and not 
commented on them.

To me, that is an acceptance.

> 
>> I HAVE shown how to do this, and you have not done what you claim you 
>> "will" do, so obviously that claim is just a lie.
>>
> 
> *Provide all of the details and I will point out your mistake*
> It is a software engineering mistake that can be empirically proven false.

A really detail answer, as it seems you are trying to ask for will 
require a billing agreement and payment.

I will attempt a brief description, (see below) but if that isn't good 
enough, you need to figure out what YOU really want to do. It isn't my 
job to help your understand where you are wrong, and I surely don't want 
you help you prove a false statement, and have no interest in helping 
you prove a statement that because it is so disconnected from the real 
problem that it is meaningless.

> 
>>
>> IF H is correct that D will never stop running just by aborting it, then 
> 
> That seems to be nonsense to me.
> A computer that keeps on running after you yank the power cord?

What power cord?

You don't seem to understand the nature of Computation theory.

The Computation engines described are pure mathematical formulation, 
that run just on ideas.

Those physical machines we use to see the result are just embodiment of 
simulators.

> 
>> a "correct" solution includes the trivial H that just immediately 
>> "aborts" its simulation and returns 0.
>>
>>
>> Until you refine your current non-existant definitions of the terms, 
>> you have the problem described.
>>
> 
> I can't have any idea what you are saying until you fill in
> all of the details of your baseless claims.
> 

But you refuse to listen.

Remember, YOU are the one saying you are needing to change the 
definition from the classical theory, where we have things well defined.

YOU have decider that H is just whatever C code you want to write for 
it, and D is the input proved. (which doesn't actually match the Linz or 
Sipser proof, but fairly close).

With THAT set of definitions we have a lot of options that break your 
incorrectly assumed results.

The first method has been discussed here by Flibble. While the final 
answer he got to doesn't fit the requirements, the first part of the 
method DOES show that it is possible for an H to simulate to past line 3.

THe basic idea is that if H(M,d) finds that its simulation of M(d) get 
to a call to H(M,d) then rather that your idea of just saying it will 
get stuck and declair the input invalid, since there ARE a number of 
possible inputs that there is a "correct" answer that H can give to 
match the behavior of the direct execution of M(d), what H does is fork 
its simulation into two threads.

Thread 1 continues the simulation assuming that the call to H(M,d) will 
return a 1, and if that simulation reaches a halting state, then 1 is 
the answer, and thread 2 can be abandoned.

Thread 2 continues the simulation assuming that the call to H(M,d) will 
return a 0, and if that simulation reaches a provable non-halting 
pattern, then 0 is the answer, and thread 1 can be abandoned.

It may be the case that BOTH answer could be correct, in which case 
depending on exactly how the forking works and how long it takes each to 
get to the answer, either answer might be given, but then, both are correct.

It may be the case that neither answer can be shown correct, if Thread 
one can prove that it will be non-halting and Thread 2 halts, then the 
decider has proven the machine to be "contrary" to it. But it might be 
the case that it never can figure that out, and it just doesn't answer.

But, in all cases, it gets past the call to H(M,d), so your criteria, 
that NO H can get there is not meet.


The second method uses the fact that you have not restricted what H is 
allowed to do, and thus H can remember that it is simulating, and if a 
call to H shows that it is currently doing a simulation, just 
immediately return 0. Thus, H can actually correct simulate the 
instruction at the call to H, as they will execute just a few 
instructions testing that condition and returning, and thus not run into 
the problem you ran into where H just couldn't simulate itself because 
it got bogged down.

In this case it is actually true that the direct execution of D(D) 
differs from the correct simulation of the input by H, as H is no longer 
a "Computation" per the rules of Computation Theory, but you have 
admitted that you are abandoning those, so it doesn't matter (of course 
that make trying to get your results to apply to something similar 
harder, but that is why you need to try to come up with some actual 
definitons.)

So, by the rules of Compuation Theory, your H is not correct, but by 
your lack of rules, your conclusion that H can not simulate past the 
call are incorrect, so you proof is also broken.

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


Thread

Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-27 19:17 -0500
  Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-27 20:49 -0400
    Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-27 19:58 -0500
      Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-27 21:39 -0400
        Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-27 20:54 -0500
          Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-27 22:09 -0400
            Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-27 21:33 -0500
              Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-27 23:31 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-27 22:45 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 09:13 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 08:45 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 10:00 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 09:15 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 13:34 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 12:55 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:18 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:23 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:42 -0400
                Re: Can D simulated by H terminate normally? POE olcott <polcott333@gmail.com> - 2024-04-28 14:06 -0500
                Re: Can D simulated by H terminate normally? POE Richard Damon <richard@damon-family.org> - 2024-04-28 15:29 -0400
                Re: Can D simulated by H terminate normally? POE olcott <polcott333@gmail.com> - 2024-04-28 14:43 -0500
                Re: Can D simulated by H terminate normally? POE Richard Damon <richard@damon-family.org> - 2024-04-28 19:07 -0400
                Re: Can D simulated by H terminate normally? POE olcott <polcott333@gmail.com> - 2024-04-28 17:28 -0500
                Re: Can D simulated by H terminate normally? POE Richard Damon <richard@damon-family.org> - 2024-04-28 19:01 -0400
                Re: Can D simulated by H terminate normally? POE olcott <polcott333@gmail.com> - 2024-04-28 23:07 -0500
                Re: Can D simulated by H terminate normally? POE Richard Damon <richard@damon-family.org> - 2024-04-29 07:25 -0400
                Re: Can D simulated by H terminate normally? POE olcott <polcott333@gmail.com> - 2024-04-29 09:47 -0500
                Re: Can D simulated by H terminate normally? POE Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:25 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:33 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:44 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 14:00 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:14 -0400
          Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-28 11:30 +0300
            Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 08:06 -0500
              Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 09:14 -0400
  Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-28 11:23 +0300
    Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 07:56 -0500
      Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 09:19 -0400
        Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 08:52 -0500
          Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 11:08 -0400
            Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 10:33 -0500
              Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 12:08 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 12:50 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:06 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:19 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 14:39 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:52 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:18 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 14:26 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:36 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 14:48 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 19:05 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 22:48 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-29 07:25 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:51 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 01:07 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 07:33 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 10:55 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 22:56 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 07:23 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 11:11 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:10 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 21:59 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:50 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:02 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:06 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:13 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:17 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-18 09:11 -0400
                Re: Can D simulated by H terminate normally? --- Message-ID provided olcott <polcott333@gmail.com> - 2024-05-18 11:24 -0500
                Re: Can D simulated by H terminate normally? --- Message-ID provided Richard Damon <richard@damon-family.org> - 2024-05-18 12:49 -0400
                Re: Can D simulated by H terminate normally? --- Message-ID provided olcott <polcott333@gmail.com> - 2024-05-18 12:20 -0500
                Re: Can D simulated by H terminate normally? --- Message-ID provided Richard Damon <richard@damon-family.org> - 2024-05-18 13:40 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 13:54 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 15:15 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 14:24 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 15:42 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 15:18 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 14:28 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 15:42 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 14:57 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 16:02 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 16:00 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 18:22 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 17:44 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 19:06 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 18:24 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-18 19:38 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-18 22:59 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided immibis <news@immibis.com> - 2024-05-19 14:16 +0200
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-19 08:06 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided immibis <news@immibis.com> - 2024-05-20 06:37 +0200
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-20 00:17 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided immibis <news@immibis.com> - 2024-05-20 10:37 +0200
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-20 10:32 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-20 07:24 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-20 13:17 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-19 08:14 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided immibis <news@immibis.com> - 2024-05-20 11:01 +0200
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-20 10:18 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-19 13:17 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-19 14:46 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-19 19:31 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-20 13:28 -0500
                Re: Can D simulated by H terminate normally? --- Message_ID Provided Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Can D simulated by H terminate normally? --- Message_ID Provided immibis <news@immibis.com> - 2024-05-21 06:50 +0200
                Re: Can D simulated by H terminate normally? --- Message_ID Provided olcott <polcott333@gmail.com> - 2024-05-21 00:05 -0500
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 olcott <polcott333@gmail.com> - 2024-05-19 19:06 -0500
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 Richard Damon <richard@damon-family.org> - 2024-05-19 21:10 -0400
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 olcott <polcott333@gmail.com> - 2024-05-19 21:52 -0500
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 Richard Damon <richard@damon-family.org> - 2024-05-19 23:11 -0400
                Every D correctly simulated by H cannot possible reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-19 22:22 -0500
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-20 07:24 -0400
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-20 13:03 -0500
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-20 21:25 -0500
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-20 22:39 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-21 00:18 -0500
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-21 08:03 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-21 09:22 -0500
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-21 21:46 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-21 21:05 -0500
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-21 23:09 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-21 22:52 -0500
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-22 07:48 -0400
                Every D correctly simulated by H remains stuck in recursive simulation olcott <polcott333@gmail.com> - 2024-05-22 10:41 -0500
                Re: Every D correctly simulated by H remains stuck in recursive simulation Richard Damon <richard@damon-family.org> - 2024-05-22 19:01 -0400
                Re: Every D correctly simulated by H remains stuck in recursive simulation olcott <polcott333@gmail.com> - 2024-05-22 21:15 -0500
                Re: Every D correctly simulated by H remains stuck in recursive simulation Richard Damon <richard@damon-family.org> - 2024-05-22 22:36 -0400
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-22 09:52 +0200
                Re: Every D correctly simulated by H cannot possibly reach its own line 06 and halt joes <noreply@example.com> - 2024-05-22 10:26 +0000
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 immibis <news@immibis.com> - 2024-05-20 13:31 +0200
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 olcott <polcott333@gmail.com> - 2024-05-20 10:23 -0500
                Re: Can D simulated by H terminate normally? Message_ID Provided V2 Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Every D correctly simulated by H cannot possible reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-19 22:09 -0500
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-19 23:24 -0400
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-19 22:32 -0500
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-20 07:24 -0400
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt olcott <polcott333@gmail.com> - 2024-05-20 13:01 -0500
                Re: Every D correctly simulated by H cannot possible reach its own line 06 and halt Richard Damon <richard@damon-family.org> - 2024-05-20 20:57 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-29 16:44 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:20 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-30 13:27 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 10:50 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 23:19 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-01 09:42 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 10:26 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:16 -0400
                Re: Can D simulated by H terminate normally? André G. Isaak <agisaak@gm.invalid> - 2024-05-01 18:44 -0600
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 21:13 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 20:44 -0500
                Re: Can D simulated by H terminate normally? André G. Isaak <agisaak@gm.invalid> - 2024-05-01 20:30 -0600
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:55 -0500
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:03 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:54 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 07:23 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 11:26 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:25 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:12 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:54 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:08 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-01 12:51 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 10:51 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:28 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:16 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:50 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:04 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:10 -0400
                Re: Can D simulated by H terminate normally? --- olcott <polcott333@gmail.com> - 2024-05-01 23:24 -0500
                Re: Can D simulated by H terminate normally? --- Richard Damon <richard@damon-family.org> - 2024-05-02 07:04 -0400
                Re: Can D simulated by H terminate normally? --- olcott <polcott333@gmail.com> - 2024-05-02 13:48 -0500
                Re: Can D simulated by H terminate normally? --- Richard Damon <richard@damon-family.org> - 2024-05-02 21:48 -0400
                Re: Can D simulated by H terminate normally? --- olcott <polcott333@gmail.com> - 2024-05-03 07:17 -0500
                Re: Can D simulated by H terminate normally? --- Richard Damon <richard@damon-family.org> - 2024-05-03 22:12 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:21 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 07:03 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 13:46 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:48 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:22 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <Richard@Damon-Family.org> - 2024-05-03 18:15 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:23 -0500
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:27 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 07:04 -0400
                Is Richard a Liar? olcott <polcott333@gmail.com> - 2024-05-14 10:42 -0500
                Re: Olcott is a Liar! Richard Damon <richard@damon-family.org> - 2024-05-14 22:15 -0400
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-29 14:37 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:56 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-29 15:23 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 10:50 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-29 16:17 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 12:31 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-29 18:19 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 14:04 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-04-30 10:46 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 10:18 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-04-30 17:37 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 11:10 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-04-30 18:24 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 11:27 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-04-30 19:38 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 13:26 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-01 11:02 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 10:20 -0500
                Re: Can D simulated by H terminate normally? "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2024-05-02 17:10 +0200
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 13:42 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-30 15:44 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 11:15 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-04-30 16:46 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 13:24 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-01 10:01 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 10:34 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:31 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:22 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:53 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:07 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:13 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-02 12:16 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 09:50 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:48 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:36 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:09 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-04 12:23 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-04 08:49 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 13:50 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-05 11:01 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-05 09:28 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-05 12:55 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-05 12:38 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-05 14:15 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-06 18:05 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-06 11:02 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-06 22:20 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-03 12:17 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 06:40 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:10 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-04 12:26 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-04 08:51 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 12:00 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-05 11:08 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-05 09:32 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-06 18:08 +0300
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-02 09:29 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 13:05 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:49 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:40 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 23:33 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:49 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:52 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:19 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 14:52 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 23:28 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 07:23 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 11:32 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:36 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:26 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:56 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:59 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:08 -0400
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-02 09:39 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 13:35 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:48 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:25 -0500
                Re: Can D simulated by H terminate normally? joes <noreply@example.com> - 2024-05-03 19:30 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 16:26 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:35 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:29 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-03 12:33 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 06:55 -0500
                Re: Can D simulated by H terminate normally? joes <noreply@example.com> - 2024-05-03 13:40 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 08:47 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:41 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:38 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-04 12:47 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-04 08:56 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 12:07 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-05 11:14 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-05 09:38 -0500
                Re: Can D simulated by H terminate normally? joes <noreply@example.com> - 2024-05-05 17:07 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-05 12:43 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-05 14:20 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-06 18:16 +0300
                Re: Can D simulated by H terminate normally? immibis <news@immibis.com> - 2024-05-07 03:37 +0200
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-02 09:07 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 12:45 -0500
                Re: Can D simulated by H terminate normally? joes <noreply@example.com> - 2024-05-02 21:51 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 16:55 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 21:48 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:27 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:42 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 17:10 -0500
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 14:31 -0500
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:54 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:23 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 13:58 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:25 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 14:35 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 15:45 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 14:51 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-28 19:07 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-28 22:58 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-29 07:24 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:43 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-29 19:19 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 00:54 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-30 13:22 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 10:45 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-01 13:03 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 11:00 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-02 12:00 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 09:43 -0500
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-03 12:43 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 07:13 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-03 14:08 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 09:34 -0500
                Re: Can D simulated by H terminate normally? Alan Mackenzie <acm@muc.de> - 2024-05-03 19:33 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 14:43 -0500
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 15:08 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 23:09 -0400
                Re: Can D simulated by H terminate normally? joes <noreply@example.com> - 2024-05-03 19:10 +0000
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 16:22 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 08:43 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 23:07 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-03 23:20 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 08:53 -0400
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-03 22:54 -0400
                Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-05-04 13:10 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-04 08:59 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-04 13:51 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-02 15:13 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 07:40 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 10:58 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-04-30 18:46 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-30 23:11 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 07:23 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 11:06 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 20:41 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 22:29 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-01 23:59 -0400
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-05-01 23:09 -0500
                Re: Can D simulated by H terminate normally? Richard Damon <richard@damon-family.org> - 2024-05-02 00:15 -0400
              Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-29 15:27 +0300
                Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:14 -0500
      Re: Can D simulated by H terminate normally? Mikko <mikko.levanto@iki.fi> - 2024-04-29 15:22 +0300
        Re: Can D simulated by H terminate normally? olcott <polcott333@gmail.com> - 2024-04-29 09:10 -0500

csiph-web