Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #119109
| From | Keith Thompson <Keith.S.Thompson+u@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH |
| Date | 2025-05-14 14:31 -0700 |
| Organization | None to speak of |
| Message-ID | <87h61mang3.fsf@nosuchdomain.example.com> (permalink) |
| References | (10 earlier) <1000son$24sr2$3@dont-email.me> <7947826fb84c9c8db49c392b305d395c3669907f@i2pn2.org> <1002dre$2i4bk$14@dont-email.me> <1002vp2$2mbr6$3@dont-email.me> <10030c3$2mivc$3@dont-email.me> |
olcott <polcott333@gmail.com> writes:
> On 5/14/2025 3:51 PM, dbush wrote:
>> On 5/14/2025 11:45 AM, olcott wrote:
>>> On 5/14/2025 6:20 AM, Richard Damon wrote:
>>>>
>>>> And since the DD that HHH is simulating WILL HALT when fully
>>>> simulated (an action that HHH doesn't do)
>>>
>>> *NOT IN THE ACTUAL SPEC*
>>> <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
>>>
>> That Sipser didn't agree what you think the above means:
>>
>
> If that was actually true then you could provide an
> alternative meaning for the exact words stated above.
>
> I keep challenging you to provide this alternative
> meaning and you dodge because you know that you are
> lying about there being any alternative meaning
> FOR THE EXACT WORDS LISTED ABOVE.
No alternative meaning is needed, just a correct interpretation of the
words (which appear to be incomplete).
The quoted sentence is cut off, something that I suspect you didn't
notice. Here's the full quotation from a previous article:
>> <Sipser approved abstract>
>> MIT Professor Michael Sipser has agreed that the following verbatim
>> paragraph is correct (he has not agreed to anything else in this
>> paper):
>>
>> 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.
>> </Sipser approved abstract>
**If** H correctly simulates its input in the manner you claim,
**then** H can correctly report the halting status of D. (That's a
paraphrase that probably doesn't capture the full meaning; the full
**quotation is above.)
To put it another way, If H correctly simulated its input in
the manner you claim, then H could correctly report the halting
status of D.
I'm not surprised that Sipser would agree to that. The problem is
that it's a conditional statement whose premise is impossible.
If an equilateral triangle had four sides, then each of its four
vertices would be 90 degrees. That doesn't actually mean that
there exists an equilateral triangle with four 90-degree vertices,
and in fact no such triangle exists. Similarly, *if* a general
halt decider existed, then there are a lot of things we could say
about it -- but no general halt decider can exist.
I'm not quite 100% confident in my reasoning here. I invite any
actual experts in computational theory (not you, PO) to criticize
what I've written.
PO will likely use this to claim that I agree with his remarkable
claims. He will be wrong.
--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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