Re: Michael Sipser of MIT validates the notion of a simulating halt decider

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory, sci.logic
Subject	Re: Michael Sipser of MIT validates the notion of a simulating halt decider
Followup-To	comp.theory
Date	2022-10-17 16:23 +0100
Organization	A noiseless patient Spider
Message-ID	<87v8oilbiy.fsf@bsb.me.uk> (permalink)
References	(4 earlier) <875ygol9nk.fsf@bsb.me.uk> <ti9hs6$1r9c6$1@dont-email.me> <87wn93imhx.fsf@bsb.me.uk> <tiio6t$3cg9h$2@dont-email.me> <Eva3L.440910$SAT4.151365@fx13.iad>

Cross-posted to 2 groups.

Followups directed to: comp.theory

Show all headers | View raw

Richard Damon <Richard@Damon-Family.org> writes:

> On 10/17/22 1:11 AM, olcott wrote:
>> On 10/13/2022 1:53 PM, Ben Bacarisse wrote:
>>> Jeff Barnett <jbb@notatt.com> writes:
>>>
>>>> Isn't the "brushoff with implied agreement" a method to decrank one's
>>>> mailbox that was mentioned in Dudley's "The Trisectors"? Can't find my
>>>> copy to check it out.
>>>
>>> No, I think Dudley explicitly says not to do that.  His two
>>> recommendations are to be flattering while plainly pointing out the
>>> error in the end result without engaging with the argument in any way.
>>> For PO that would be "I see you have thought long and hard about this
>>> problem and you have come up with some ingenious ideas.  However, H(P,P)
>>> == 0 is not the correct answer if P(P) is a halting computation."
>>>
>> If H(D,D) meets the criteria then H(D,D)==0  No-Matter-What
>
> But it does'nt meet the criteria, sincd it never correctly determines
> that the correct simulation of its input is non-halting.

Are you dancing round the fact that PO tricked the professor?

H(D,D) /does/ meet the criterion for PO's Other Halting problem -- the
one no one cares about.  D(D) halts (so H is not halt decider), but D(D)
would not halt unless H stops the simulation.  H /can/ correctly
determine this silly criterion (in this one case) so H is a POOH decider
(again, for this one case -- PO is not interested in the fact the POOH
is also undecidable in general).

> The correct simulation is the correct simulation who ever does it, and
> since D will halt when run, the correct simulation of D will halt.

Right, but that's not the criterion that PO is using, is it?  I don't
get what the problem is.  Ever since the "line 15 commented out"
debacle, PO has been pulling the same trick: "D(D) only halts
because..." was one way he used to put it before finding a more tricky
wording.  For years, the project has simply been to find words he can
dupe people with.

-- 
Ben.

Thread

Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 10:08 -0500
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-12 17:54 +0200
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-12 17:46 +0100
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 12:04 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 16:07 -0700
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-16 23:58 -0500
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 06:51 -0400
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:43 -0500
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 18:33 -0400
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 17:47 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 19:04 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-17 19:06 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 20:52 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [Ben agrees] olcott <none-ya@beez-waxes.com> - 2022-10-17 20:03 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 19:04 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 02:36 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:56 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 03:01 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:10 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Python <python@invalid.org> - 2022-10-18 03:24 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:27 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:33 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 20:54 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <none-ya@beez-waxes.com> - 2022-10-17 20:06 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:26 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:35 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 21:46 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 20:57 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:03 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:14 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:23 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <NoOne@NoWhere.com> - 2022-10-17 21:34 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:41 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:48 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Dennis Bush <dbush.mobile@gmail.com> - 2022-10-17 19:56 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 22:09 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 22:27 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 22:05 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-17 21:19 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Richard Damon <Richard@Damon-Family.org> - 2022-10-17 22:32 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <NoOne@NoWhere.com> - 2022-10-17 21:36 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] Paul N <gw7rib@aol.com> - 2022-10-18 05:55 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [ Ben agrees ] olcott <polcott2@gmail.com> - 2022-10-18 09:58 -0500
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider Paul N <gw7rib@aol.com> - 2022-10-17 04:59 -0700
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:20 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 09:31 -0500
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 11:48 -0500
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 18:24 +0100
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 12:38 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 18:52 +0100
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 13:04 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 19:07 +0100
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 13:25 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 19:30 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 14:17 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 20:26 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 14:32 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-12 20:50 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 15:07 -0500
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-10-12 12:32 -0700
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 15:03 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-10-12 15:23 -0700
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 17:39 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 17:17 +0100
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 11:46 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 17:47 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:26 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider "B.H." <xlt.pjw@gmail.com> - 2022-10-13 13:13 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:06 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 18:22 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 20:59 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 20:13 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 21:56 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 20:19 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 03:44 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo !!! olcott <polcott2@gmail.com> - 2022-10-13 21:07 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo !!! Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:21 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:01 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 21:11 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 22:27 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-13 21:37 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-13 23:00 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <polcott2@gmail.com> - 2022-10-13 22:28 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-13 23:51 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <polcott2@gmail.com> - 2022-10-13 23:00 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 07:56 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-14 09:13 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:34 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-13 23:01 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 08:05 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 olcott <none-ya@beez-waxes.com> - 2022-10-14 09:14 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-14 15:32 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Bingo^2 Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:01 -0400
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:01 -0400
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 18:42 -0400
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 17:59 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:04 -0400
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:00 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 21:52 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 21:03 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:13 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 21:33 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:51 -0400
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 18:37 -0400
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 17:46 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-12 16:49 -0700
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 19:27 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 19:35 -0500
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:45 -0400
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 20:03 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 21:59 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) olcott <polcott2@gmail.com> - 2022-10-12 21:07 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider (correct a typo) Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:17 -0400
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 20:42 -0400
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-12 18:23 -0700
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:31 -0500
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 03:50 +0100
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 23:15 -0400
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:51 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 07:50 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 09:35 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 17:54 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 11:28 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:12 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:11 -0400
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 12:29 +0100
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:29 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Jeff Barnett <jbb@notatt.com> - 2022-10-13 11:28 -0600
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:40 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 18:43 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 12:52 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:09 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:32 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:34 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 13:45 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:51 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:55 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 20:58 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 14:03 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-13 21:06 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:14 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Jeff Barnett <jbb@notatt.com> - 2022-10-13 23:06 -0600
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-14 00:28 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 08:09 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 09:20 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 16:38 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 10:37 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 17:45 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 11:00 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:07 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-14 11:36 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:53 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 18:59 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:06 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 19:12 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:24 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 19:29 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 12:57 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 14:17 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 13:29 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 13:26 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 14:40 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 14:06 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 15:52 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 15:09 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 16:28 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 15:49 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-14 17:00 -0400
                Re: Trickery Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-15 01:21 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-14 19:29 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Richard Damon <Richard@Damon-Family.org> - 2022-10-14 20:39 -0400
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 09:40 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 08:17 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 14:20 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 08:28 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 14:31 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:09 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:13 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:26 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:30 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 09:39 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:42 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed wij <wyniijj2@gmail.com> - 2022-10-15 06:51 -0700
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <none-ya@beez-waxes.com> - 2022-10-15 09:16 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:25 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 09:36 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 15:40 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <polcott2@gmail.com> - 2022-10-15 09:56 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 16:02 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] olcott <none-ya@beez-waxes.com> - 2022-10-15 10:24 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed [academic theft] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 16:27 +0100
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed wij <wyniijj2@gmail.com> - 2022-10-15 07:38 -0700
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 09:46 -0500
                Re: Trickery of Ben refusing to accept a SHD even after it has been affirmed olcott <polcott2@gmail.com> - 2022-10-15 09:52 -0500
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 19:53 +0100
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:56 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:17 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mikko <mikko.levanto@iki.fi> - 2022-10-14 13:07 +0300
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-14 09:08 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-17 00:11 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 06:54 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-17 16:23 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-17 10:40 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-17 18:36 -0400
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:41 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <none-ya@beez-waxes.com> - 2022-10-17 19:53 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider [--Ben agrees--] olcott <polcott2@gmail.com> - 2022-10-17 19:54 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-19 16:59 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider (Ben's support) olcott <none-ya@beez-waxes.com> - 2022-10-20 22:17 -0500
                Re: Ben agrees that Sipser_H is correct according to its halt status criteria olcott <polcott2@gmail.com> - 2022-10-20 22:41 -0500
                Ben agrees that Sipser_H is correct according to its halt status criteria olcott <polcott2@gmail.com> - 2022-10-21 15:03 -0500
                Re: Ben agrees that Sipser_H is correct according to its halt status criteria [Paul N Lies] olcott <polcott2@gmail.com> - 2022-10-22 14:20 -0500
                Paul N is a liar or does not bother to pay attention olcott <polcott2@gmail.com> - 2022-10-22 17:10 -0500
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-12 18:51 -0700
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-12 20:58 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-12 19:09 -0700
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 21:32 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider "B.H." <xlt.pjw@gmail.com> - 2022-10-12 20:07 -0700
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-12 22:36 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Philip White <philipwhite363@gmail.com> - 2022-10-13 09:18 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider wij <wyniijj2@gmail.com> - 2022-10-13 14:35 -0700
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Python <python@invalid.org> - 2022-10-14 02:50 +0200
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider wij <wyniijj2@gmail.com> - 2022-10-13 19:09 -0700
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:19 -0400
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-12 22:05 -0400
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider om@iki.fi (Otto J. Makela) - 2022-10-13 10:47 +0300
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 09:33 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 10:42 -0700
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <none-ya@beez-waxes.com> - 2022-10-13 12:48 -0500
          Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 11:20 -0700
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:37 -0500
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 19:40 +0100
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 13:49 -0500
                Re: Michael Sipser of MIT validates the notion of a simulating halt decider Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-13 19:52 +0100
              Re: Michael Sipser of MIT validates the notion of a simulating halt decider Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2022-10-13 12:52 -0700
            Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 15:12 -0500
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-13 21:07 +0200
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:19 -0500
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider "Fred. Zwarts" <F.Zwarts@KVI.nl> - 2022-10-13 21:28 +0200
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 15:11 -0500
    Re: Michael Sipser of MIT validates the notion of a simulating halt decider Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-13 20:24 +0100
      Re: Michael Sipser of MIT validates the notion of a simulating halt decider olcott <polcott2@gmail.com> - 2022-10-13 14:32 -0500
        Re: Michael Sipser of MIT validates the notion of a simulating halt decider Richard Damon <Richard@Damon-Family.org> - 2022-10-13 19:19 -0400
  Re: Michael Sipser of MIT validates the notion of a simulating halt decider [-Update-] olcott <polcott2@gmail.com> - 2022-10-30 11:43 -0500

csiph-web