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

Groups > comp.theory > #118760

Re: How the requirements that Professor Sipser agreed to are exactly met

From dbush <dbush.mobile@gmail.com>
Newsgroups comp.theory
Subject Re: How the requirements that Professor Sipser agreed to are exactly met
Date 2025-05-12 20:12 -0400
Organization A noiseless patient Spider
Message-ID <vvu2q2$1c062$3@dont-email.me> (permalink)
References (12 earlier) <vvttf7$1bfib$1@dont-email.me> <vvu008$1c062$1@dont-email.me> <vvu0mm$1c0vi$1@dont-email.me> <vvu0si$1c062$2@dont-email.me> <vvu1m8$1c86j$1@dont-email.me>

Show all headers | View raw

On 5/12/2025 7:53 PM, olcott wrote:
> On 5/12/2025 6:40 PM, dbush wrote:
>> On 5/12/2025 7:36 PM, olcott wrote:
>>> On 5/12/2025 6:24 PM, dbush wrote:
>>>> On 5/12/2025 6:41 PM, olcott wrote:
>>>>> On 5/12/2025 5:30 PM, dbush wrote:
>>>>>> On 5/12/2025 6:28 PM, olcott wrote:
>>>>>>> On 5/12/2025 4:54 PM, dbush wrote:
>>>>>>>> On 5/12/2025 5:46 PM, olcott wrote:
>>>>>>>>> On 5/12/2025 4:39 PM, dbush wrote:
>>>>>>>>>> On 5/12/2025 5:12 PM, olcott wrote:
>>>>>>>>>>> On 5/12/2025 3:29 PM, dbush wrote:
>>>>>>>>>>>> On 5/12/2025 4:17 PM, olcott wrote:
>>>>>>>>>>>>> On 5/12/2025 2:53 PM, dbush wrote:
>>>>>>>>>>>>>> On 5/12/2025 2:27 PM, olcott wrote:
>>>>>>>>>>>>>>> On 5/12/2025 1:20 PM, dbush wrote:
>>>>>>>>>>>>>>>> On 5/12/2025 2:17 PM, olcott wrote:
>>>>>>>>>>>>>>>>> Introduction to the Theory of Computation 3rd Edition
>>>>>>>>>>>>>>>>> by Michael Sipser (Author)
>>>>>>>>>>>>>>>>> 4.4 out of 5 stars    568 rating
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> https://www.amazon.com/Introduction-Theory-Computation- 
>>>>>>>>>>>>>>>>> Michael- Sipser/ dp/113318779X
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> int DD()
>>>>>>>>>>>>>>>>>   {
>>>>>>>>>>>>>>>>>    int Halt_Status = HHH(DD);
>>>>>>>>>>>>>>>>>    if (Halt_Status)
>>>>>>>>>>>>>>>>>      HERE: goto HERE;
>>>>>>>>>>>>>>>>>    return Halt_Status;
>>>>>>>>>>>>>>>>>   }
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> DD correctly simulated by any pure simulator
>>>>>>>>>>>>>>>>> named HHH cannot possibly terminate thus proving
>>>>>>>>>>>>>>>>> that this criteria has been met:
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>> <MIT Professor Sipser agreed to ONLY these verbatim 
>>>>>>>>>>>>>>>>> words 10/13/2022>
>>>>>>>>>>>>>>>>>      If simulating halt decider H correctly simulates its
>>>>>>>>>>>>>>>>>      input D until H correctly determines that its 
>>>>>>>>>>>>>>>>> simulated D
>>>>>>>>>>>>>>>>>      would never stop running unless aborted then
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>      H can abort its simulation of D and correctly 
>>>>>>>>>>>>>>>>> report that D
>>>>>>>>>>>>>>>>>      specifies a non-halting sequence of configurations.
>>>>>>>>>>>>>>>>>   </MIT Professor Sipser agreed to ONLY these verbatim 
>>>>>>>>>>>>>>>>> words 10/13/2022>
>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> Which is not what you thought he agreed to:
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>> On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben 
>>>>>>>>>>>>>>>> Bacarisse wrote:
>>>>>>>>>>>>>>>>  > I exchanged emails with him about this. He does not 
>>>>>>>>>>>>>>>> agree with anything
>>>>>>>>>>>>>>>>  > substantive that PO has written. I won't quote him, 
>>>>>>>>>>>>>>>> as I don't have
>>>>>>>>>>>>>>>>  > permission, but he was, let's say... forthright, in 
>>>>>>>>>>>>>>>> his reply to me.
>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> *Ben already acknowledged that the requirements have been 
>>>>>>>>>>>>>>> met*
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>> On 10/17/2022 10:23 AM, Ben Bacarisse wrote:
>>>>>>>>>>>>>>>  > ...D(D) would not halt unless H stops the simulation.
>>>>>>>>>>>>>>>  > H /can/ correctly determine this silly criterion (in 
>>>>>>>>>>>>>>> this one case)...
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> Which is not what Sipser agreed to, as stated above.
>>>>>>>>>>>>>>
>>>>>>>>>>>>>> He agreed, as all others would, that H must determine if 
>>>>>>>>>>>>>> UTM(D) halts.
>>>>>>>>>>>>>
>>>>>>>>>>>>> That is not what Ben's words mean.
>>>>>>>>>>>>>
>>>>>>>>>>>>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>>>>>>>>>>>>>  > I don't think that is the shell game. PO really /has/ an H
>>>>>>>>>>>>>  > (it's trivial to do for this one case) that correctly 
>>>>>>>>>>>>> determines
>>>>>>>>>>>>>  > that P(P) *would* never stop running *unless* aborted.
>>>>>>>>>>>>>
>>>>>>>>>>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 
>>>>>>>>>>>>> 10/13/2022>
>>>>>>>>>>>>>      H correctly determines that its simulated D
>>>>>>>>>>>>>      would never stop running unless aborted...
>>>>>>>>>>>>>
>>>>>>>>>>>>> *its simulated D*
>>>>>>>>>>>>>
>>>>>>>>>>>>
>>>>>>>>>>>> Which Sipser (and everyone else) takes to mean UTM(D), 
>>>>>>>>>>>
>>>>>>>>>>> *its simulated D* cannot be *correctly* understood
>>>>>>>>>>> to mean a D simulated by anything else other than
>>>>>>>>>>> a hypothetical H that never aborts.
>>>>>>>>>>
>>>>>>>>>> False.  It cannot be *correctly* understood to be anything 
>>>>>>>>>> else but the algorithm D simulated completely by a UTM, 
>>>>>>>>>
>>>>>>>>> An H that never aborts <is> a UTM.
>>>>>>>>
>>>>>>>> In which case you don't have algorithm D.  You instead have 
>>>>>>>> algorithm Dn.
>>>>>>>>
>>>>>>>
>>>>>>> *its simulated D would never stop running unless aborted*
>>>>>>> can only mean one thing.
>>>>>>
>>>>>> And what it means is changing the input.
>>>>>>
>>>>>> Changing the input is not allowed.
>>>>>
>>>>> So professor Sisper was wrong?
>>>>>
>>>>
>>>> He didn't agree to what you think he did:
>>>>
>>>> On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
>>>>  > I exchanged emails with him about this. He does not agree with 
>>>> anything
>>>>  > substantive that PO has written. I won't quote him, as I don't have
>>>>  > permission, but he was, let's say... forthright, in his reply to me.
>>>>
>>>>
>>>> On 8/23/2024 5:07 PM, Ben Bacarisse wrote:
>>>>  > I suspect he was tricked because PO used H and D as the names 
>>>> without
>>>>  > making it clear that D was constructed from H in the usual way 
>>>> (Sipser
>>>>  > uses H and D in at least one of his proofs).  Of course, he is 
>>>> clued in
>>>>  > enough know that, if D is indeed constructed from H like that, the
>>>>  > "minor remark" becomes true by being a hypothetical: if the moon 
>>>> is made
>>>>  > of cheese, the Martians can look forward to a fine fondue.  But,
>>>>  > personally, I think the professor is more straight talking than 
>>>> that,
>>>>  > and he simply took as a method that can work for some inputs.  
>>>> That's
>>>>  > the only way is could be seen as a "minor remark" with being 
>>>> accused of
>>>>  > being disingenuous.
>>>>
>>>> On 8/23/2024 9:10 PM, Mike Terry wrote:
>>>>  > So that PO will have no cause to quote me as supporting his case: 
>>>> what
>>>>  > Sipser understood he was agreeing to was NOT what PO interprets 
>>>> it as
>>>>  > meaning.  Sipser would not agree that the conclusion applies in PO's
>>>>  > HHH(DDD) scenario, where DDD halts.
>>>>
>>>
>>> This can only have one meaning:
>>> *its simulated D would never stop running unless aborted*
>>
>> And that meaning is "changing the input"
>>
>> Changing the input is not allowed.
> 
> Simulating Termination analyzers cannot possibly report
> on the actual behavior of non-terminating inputs
> because this would cause themselves to never terminate.
> 
> They must always hypothesize what the behavior of the
> input would be if they themselves never aborted.
> 

False.  They must always hypothesize what the behavior of algorithm 
described by the input would be if it was executed directly, as per the 
requirements:


Given any algorithm (i.e. a fixed immutable sequence of instructions) X 
described as <X> with input Y:

A solution to the halting problem is an algorithm H that computes the 
following mapping:

(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly

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

Thread

How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 13:17 -0500
  Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 14:20 -0400
    Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 13:27 -0500
      Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 15:53 -0400
        Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 15:17 -0500
          Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 16:29 -0400
            Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 16:12 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 17:39 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 16:46 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 17:54 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 17:28 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 18:30 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 17:41 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 19:24 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 18:36 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 19:40 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 18:53 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 20:12 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 19:25 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 20:27 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 19:34 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 20:36 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 19:56 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 21:00 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 20:06 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 21:15 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 21:45 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 21:01 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 22:22 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 00:25 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 06:11 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 00:22 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met joes <noreply@example.org> - 2025-05-13 08:44 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 10:02 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 07:15 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-13 11:28 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met joes <noreply@example.org> - 2025-05-13 09:09 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 21:46 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 22:58 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 22:22 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 23:31 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 00:14 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:43 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 07:23 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 00:02 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure olcott <polcott333@gmail.com> - 2025-05-13 00:03 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:38 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Complete Closure Richard Damon <richard@damon-family.org> - 2025-05-13 07:33 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-12 22:54 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met joes <noreply@example.org> - 2025-05-13 09:18 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met Mikko <mikko.levanto@iki.fi> - 2025-05-13 13:43 +0300
      Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-12 21:30 -0400
    Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-13 22:47 -0500
      Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-13 23:50 -0400
        Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-13 23:28 -0500
          Re: How the requirements that Professor Sipser agreed to are exactly met +++ "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 13:24 +0200
            Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 10:40 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met +++ "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:13 +0200
          Re: How the requirements that Professor Sipser agreed to are exactly met +++ Richard Damon <richard@damon-family.org> - 2025-05-14 07:00 -0400
            Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 10:55 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 16:54 -0400
              Re: How the requirements that Professor Sipser agreed to are exactly met +++ Richard Damon <richard@damon-family.org> - 2025-05-14 21:47 -0400
              Re: How the requirements that Professor Sipser agreed to are exactly met +++ Mikko <mikko.levanto@iki.fi> - 2025-05-15 10:44 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-15 22:10 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ Mikko <mikko.levanto@iki.fi> - 2025-05-16 12:05 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ Richard Damon <richard@damon-family.org> - 2025-05-16 10:02 -0400
          Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 08:26 -0400
            Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 10:16 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 16:46 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 15:52 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 17:22 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 16:53 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 17:58 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-14 17:28 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ dbush <dbush.mobile@gmail.com> - 2025-05-14 20:34 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ Mikko <mikko.levanto@iki.fi> - 2025-05-15 10:51 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met +++ olcott <polcott333@gmail.com> - 2025-05-15 22:17 -0500
    Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 23:26 -0500
      Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-14 07:01 -0400
        Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 10:54 -0500
          Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 16:54 -0400
      Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 08:25 -0400
  Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-12 21:27 -0400
    Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-12 21:53 -0500
      Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-13 00:05 -0400
        Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-12 23:52 -0500
          Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:33 +0200
            Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 19:41 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-14 07:03 -0400
          Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-13 07:43 -0400
            Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 16:30 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH joes <noreply@example.org> - 2025-05-13 21:39 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 16:52 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-13 18:35 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH joes <noreply@example.org> - 2025-05-14 14:26 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 10:04 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:10 +0200
              Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-13 18:33 -0400
              Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 21:07 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 20:27 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 21:31 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 20:48 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 21:54 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 20:57 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 21:59 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 21:47 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 22:50 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-13 22:25 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-13 23:36 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-14 07:20 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 10:45 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-14 16:51 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 16:01 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-14 17:25 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 16:57 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-14 18:01 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 17:20 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-14 20:32 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 19:34 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH dbush <dbush.mobile@gmail.com> - 2025-05-14 20:45 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-14 14:31 -0700
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 17:08 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-14 16:43 -0700
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 18:57 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:04 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Ben Bacarisse <ben@bsb.me.uk> - 2025-05-15 00:39 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 18:52 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-05-14 17:11 -0700
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 19:24 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Ben Bacarisse <ben@bsb.me.uk> - 2025-05-15 01:48 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 20:01 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:01 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-15 03:08 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 21:22 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 21:23 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-14 23:08 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 23:11 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-15 07:08 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-14 23:06 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 23:07 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 12:55 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-15 07:12 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-15 01:36 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-14 19:47 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 12:52 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-16 00:29 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-16 22:06 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-16 15:29 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Richard Damon <richard@damon-family.org> - 2025-05-16 18:03 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-16 17:39 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Richard Damon <richard@damon-family.org> - 2025-05-16 20:38 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-16 19:49 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Richard Damon <richard@damon-family.org> - 2025-05-16 22:50 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-16 22:08 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-17 11:03 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers olcott <polcott333@gmail.com> - 2025-05-17 13:45 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers Richard Damon <richard@damon-family.org> - 2025-05-17 16:01 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers Mikko <mikko.levanto@iki.fi> - 2025-05-18 12:24 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Dishonest reviewers "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-18 12:15 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Richard Damon <richard@damon-family.org> - 2025-05-17 09:08 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake olcott <polcott333@gmail.com> - 2025-05-17 10:36 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Richard Damon <richard@damon-family.org> - 2025-05-17 15:51 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike's key mistake Mikko <mikko.levanto@iki.fi> - 2025-05-18 12:35 +0300
                Mike's big mistake about DD simulated by HHH olcott <polcott333@gmail.com> - 2025-05-15 21:39 -0500
                Re: Mike's big mistake about DD simulated by HHH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-16 22:03 +0200
                Re: Mike's big mistake about DD simulated by HHH olcott <polcott333@gmail.com> - 2025-05-16 16:10 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Mikko <mikko.levanto@iki.fi> - 2025-05-16 12:26 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-16 09:47 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Mikko <mikko.levanto@iki.fi> - 2025-05-17 11:55 +0300
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-17 15:27 +0100
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-17 11:09 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 10:31 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-17 15:54 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 15:05 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-17 16:10 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 15:18 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-17 16:34 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 15:16 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-17 16:31 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 16:00 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-17 19:35 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-17 23:56 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 19:05 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-18 12:26 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-18 07:15 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-18 07:14 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer olcott <polcott333@gmail.com> - 2025-05-17 19:00 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-18 12:22 +0200
                Re: How the requirements that Professor Sipser agreed to are exactly met --- Mike my best reviewer Richard Damon <richard@damon-family.org> - 2025-05-18 07:20 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Richard Damon <richard@damon-family.org> - 2025-05-14 07:15 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH joes <noreply@example.org> - 2025-05-14 14:32 +0000
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH olcott <polcott333@gmail.com> - 2025-05-14 10:11 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 12:47 +0200
  Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 08:54 -0500
    Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-14 07:22 -0400
      Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 10:44 -0500
        Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 16:50 -0400
          Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 15:57 -0500
            Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 17:23 -0400
              Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 16:54 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 18:00 -0400
                Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 17:37 -0500
                Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 20:36 -0400
          Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 22:32 +0100
            Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 17:10 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 23:17 +0100
            Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 17:25 -0500
              Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-14 20:34 -0400
  Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 22:42 -0500
    Re: How the requirements that Professor Sipser agreed to are exactly met "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 13:19 +0200
      Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 10:48 -0500
        Re: How the requirements that Professor Sipser agreed to are exactly met "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:15 +0200
    Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-14 07:27 -0400
      Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-14 10:37 -0500
        Re: How the requirements that Professor Sipser agreed to are exactly met "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 12:41 +0200

csiph-web