Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Keith Thompson <Keith.S.Thompson+u@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic |
| Subject | Re: Michael Sipser of MIT validates the notion of a simulating halt decider |
| Date | 2022-10-13 11:20 -0700 |
| Organization | None to speak of |
| Message-ID | <87o7uf37s0.fsf@nosuchdomain.example.com> (permalink) |
| References | <ti6l95$1h8qt$1@dont-email.me> <87h7089nd7.fsf@tigger.extechop.net> <ti97iu$1qfdf$1@dont-email.me> <87sfjr39jr.fsf@nosuchdomain.example.com> <ti9j0s$1o5k$1@gioia.aioe.org> |
Cross-posted to 2 groups.
olcott <none-ya@beez-waxes.com> writes:
> On 10/13/2022 12:42 PM, Keith Thompson wrote:
>> olcott <polcott2@gmail.com> writes:
>> [...]
>>> *Professor Sipser has agreed to this definition of halt decider*
>>> If H does correctly determine that its correct simulation
>>> of D would never stop running unless aborted, then it
>>> would be correct for H to abort this simulation and report
>>> that D specifies a non-halting sequence of configurations.
>> [...]
>> Does that imply that he agreed that a halt decider is possible?
>> I'm sure you think he did, but did he agree to that explicitly?
>>
>
> Professor Sipser specifically approved this exact verbiage as the
> abstract to my paper, linked below at 11:29:23 AM today:
>
> <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>
>
> to this paper:
>
> *Rebutting the Sipser Halting Problem Proof*
> https://www.researchgate.net/publication/364302709_Rebutting_the_Sipser_Halting_Problem_Proof
What is the point of repeating what you wrote earlier? You didn't
answer my question. (I suspect you know that, and are being
deliberately evasive.)
If two distinct prime numbers are both even, then the difference between
them is a non-zero even number. I'm guessing that Professor Sipser
would agree with that statement, but it would not imply that he agrees
that there are two distinct even prime numbers.
Similarly, I see no evidence that Professor Sipser agrees that a
"simulating halt decider" is possible, only a trivial agreement about
what would happen if it were possible.
--
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Philips
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
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