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

From	olcott <none-ya@beez-waxes.com>
Newsgroups	comp.theory, sci.logic
Subject	Re: Michael Sipser of MIT validates the notion of a simulating halt decider
Date	2022-10-13 20:13 -0500
Organization	Aioe.org NNTP Server
Message-ID	<tiad4a$1kgg$1@gioia.aioe.org> (permalink)
References	(7 earlier) <20221013174738.000019fd@reddwarf.jmc.corp> <ti9hne$1rb71$2@dont-email.me> <RR02L.97675$chF5.75991@fx08.iad> <tia6k7$1svjk$1@dont-email.me> <Av22L.576818$Ny99.277692@fx16.iad>

Cross-posted to 2 groups.

Show all headers | View raw

On 10/13/2022 7:59 PM, Richard Damon wrote:
> 
> On 10/13/22 7:22 PM, olcott wrote:
>> On 10/13/2022 6:06 PM, Richard Damon wrote:
>>>
>>> On 10/13/22 1:26 PM, olcott wrote:
>>>> On 10/13/2022 11:47 AM, Mr Flibble wrote:
>>>>> On Thu, 13 Oct 2022 11:46:22 -0500
>>>>> olcott <none-ya@beez-waxes.com> wrote:
>>>>>
>>>>>> On 10/13/2022 11:17 AM, Mr Flibble wrote:
>>>>>>> On Wed, 12 Oct 2022 17:39:41 -0500
>>>>>>> olcott <none-ya@beez-waxes.com> wrote:
>>>>>>>> On 10/12/2022 5:23 PM, dklei...@gmail.com wrote:
>>>>>>>>> On Wednesday, October 12, 2022 at 1:03:17 PM UTC-7, olcott wrote:
>>>>>>>>>> On 10/12/2022 2:32 PM, dklei...@gmail.com wrote:
>>>>>>>>>>> On Wednesday, October 12, 2022 at 8:08:23 AM UTC-7, olcott
>>>>>>>>>>> wrote:
>>>>>>>>>>>> Professor Michael Sipser of MIT said that this verbatim
>>>>>>>>>>>> paragraph looks correct:
>>>>>>>>>>>>
>>>>>>>>>>>> If H does correctly determine that its correct simulation
>>>>>>>>>>>> of D would never stop running unless aborted, would it be
>>>>>>>>>>>> correct for H to abort this simulation and report that D
>>>>>>>>>>>> specifies a non-halting sequence of configurations?
>>>>>>>>>>> You are attempting to use the argument from authority.
>>>>>>>>>>
>>>>>>>>>> Argument from authority, also authoritative argument and appeal
>>>>>>>>>> to authority, is an inductive reasoning argument that often
>>>>>>>>>> takes the form of a statistical syllogism. Although certain
>>>>>>>>>> classes of argument from authority can constitute strong
>>>>>>>>>> inductive arguments, the appeal to authority is often applied
>>>>>>>>>> fallaciously. Fallacious examples of using the appeal include:
>>>>>>>>>> ⁕cases where the authority is not a subject-matter expert
>>>>>>>>>> https://www.definitions.net/definition/argument+from+authority
>>>>>>>>>>> That's a loser. My opinion is just as good as Sipser's.
>>>>>>>>>>
>>>>>>>>>> And likewise your opinion about brain surgery is just as good as
>>>>>>>>>> the opinion of the world's best brain surgeons ???
>>>>>>>>> My opinion about brain surgery is just as good as Sipser's.
>>>>>>>>
>>>>>>>> Probably yet your opinion** about the theory of computation is
>>>>>>>> probably not even in the ballpark of carrying the same weight as
>>>>>>>> the opinion of Professor Sipser.
>>>>>>>>
>>>>>>>> ** and everyone else here: Ben, Andre, Mike, Kaz
>>>>>>>
>>>>>>> Appeal to authority is a logical fallacy.  Prove your argument is
>>>>>>> sound using facts and logic in your own words.
>>>>>>>
>>>>>>> /Flibble
>>>>>>
>>>>>> I have already shown that and appeal to the authority of a qualified
>>>>>> expert in the field is inductively sound.
>>>>>
>>>>> No. Appeal to authority is a logical fallacy; doesn't matter who the
>>>>> authority is.
>>>>>
>>>>> /Flibble
>>>>>
>>>>
>>>> That would mean that going to your garbage man about brain surgery 
>>>> is just as good as going to a brain surgeo
>>>
>>> I don;t know many Brain Surgons that Mathematically PROVE statements.
>>>
>>> So, you are just in the wrong form of logic.
>>>
>>>>
>>>> If everyone in the universe agreed with me then this would not be 
>>>> proof that am correct.
>>>
>>> Right, it doesn;t matter what everyone think, it matters what is 
>>> actually corret.
>>>
>>>>
>>>> If a universal consensus of all of the experts in the field agreed 
>>>> with me then this would be strong evidence that I am correct.
>>>
>>> Right, so one person giving conditioned support (remember, they said 
>>> they didn't look at it in detail) doesn;t PROVE your results.
>>>
>>>>
>>>> That one qualified expert in the field agrees with me that is enough 
>>>> credibility to get other qualified experts to review this same 
>>>> single point of agreement.
>>>>
>>>
>>> Yes, you might get some more to look at it, and they will all see the 
>>> errors we have pointed out and show you those errors, just like we have.
>>>
>>
>> All of these "errors" have been correctly refuted as soon as one 
>> accepts the notion of a simulating halt decider.
>>
>> *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.
> 
> No, he did not accept that a "Simulating Halt Decider" has some 
> different measure of success. It needs to CORRECTLY detect that the 
> CORRECT simulation of the input would not halt.
> 
> Yours doesn't do this.
> 
>>
>>> They ARE errors. It sounds like Ben confirmed with Mr Sipser that he 
>>> doesn't agree with your ultimate conclusion, so you are still shown 
>>> to be wrong, and don't actually have support.
>>>
>>
>> I already knew that and when I asked him if I could include his 
>> agreement as the abstract of my paper I made sure to indicate that.
> 
> You KNOW that there are errors and that he doesn't agree with your final 
> conclusion?
> 
> Yes, put that note in.
> 
>>
>>> The problem is you misinterpret your own stateent because you don;t 
>>> understand what a correct simulation is.
>>>
>>> FAIL.
>>
>> A correct simulation of D by H is what Professor Sipser agreed to.
>> This nuance has been our key sticking point.
> 
> And a correct simulation of D by H BY DEFINITION needs to show the 
> actual behavior of the direct execution of D.

This is proven to be false once every detail is completely specified 
such that false assumptions are made impossible.

Complete halt deciding system (Visual Studio Project) Sipser version.
(a) x86utm operating system
(b) x86 emulator adapted from libx86emu to compile under Windows
(c) Several halt deciders and their sample inputs contained within Halt7.c
https://liarparadox.org/2022_10_08.zip

-- 
Copyright 2022 Pete Olcott

"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer

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