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

From	olcott <none-ya@beez-waxes.com>
Newsgroups	comp.theory, sci.logic, comp.ai.philosophy, comp.lang.c++
Subject	Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2
Followup-To	comp.theory
Date	2022-10-16 10:44 -0500
Organization	Aioe.org NNTP Server
Message-ID	<tih8t9$1hp2$1@gioia.aioe.org> (permalink)
References	<tih792$35k10$3@dont-email.me> <20221016163736.00007b9f@reddwarf.jmc.corp>

Cross-posted to 4 groups.

Followups directed to: comp.theory

Show all headers | View raw

On 10/16/2022 10:37 AM, Mr Flibble wrote:
> On Sun, 16 Oct 2022 10:16:48 -0500
> olcott <polcott2@gmail.com> wrote:
> 
>> <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
>>
>> The proof that the simulation of D by H is correct and that this
>> correctly simulated D would never stop running unless aborted is on
>> page 3 of the above paper. People that fail to comprehend the
>> technical details of page 3 are unqualified to assess the correctness
>> of page 3.
>>
>> The technical prerequisites for page 3 are expert knowledge of the C
>> programming language, knowledge of x86 assembly language and how the
>> C calling conventions are implemented in x86 assembly language.
>>
>> Page 4 shows the application of a simulating halt decider to the
>> Peter Linz proof proving that the "impossible" input ⟨Ĥ⟩ ⟨Ĥ⟩ to the
>> embedded copy of Linz H contained within Linz Ĥ is correctly
>> construed as specifying non-halting sequence of configurations.
> 
> You have been told multiple times now that you are not doing a correct
> simulation of D 

By people not having the technical competence (see above technical 
prerequisites) to verify that this simulation is correct.

-- 
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

MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 olcott <polcott2@gmail.com> - 2022-10-16 10:16 -0500
  Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 16:37 +0100
    Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 olcott <none-ya@beez-waxes.com> - 2022-10-16 10:44 -0500
  Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 Richard Damon <Richard@Damon-Family.org> - 2022-10-16 12:58 -0400
    Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 olcott <polcott2@gmail.com> - 2022-10-16 12:15 -0500
      Re: MIT Professor Michael Sipser validates the notion of a simulating halt decider V2 Richard Damon <Richard@Damon-Family.org> - 2022-10-16 13:54 -0400
  Re: Richard does not have a clue olcott <polcott2@gmail.com> - 2022-10-16 20:29 -0500
    Re: Richard does not have a clue olcott <none-ya@beez-waxes.com> - 2022-10-16 20:36 -0500
      Re: No one is dumber than Richard olcott <polcott2@gmail.com> - 2022-10-16 20:37 -0500
      Re: Peter Olcott does not have a clue Richard Damon <Richard@Damon-Family.org> - 2022-10-16 21:50 -0400
        Re: Richard is as dumb as dumb gets olcott <polcott2@gmail.com> - 2022-10-16 20:53 -0500
          Re: Peter Olcot is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-16 22:13 -0400
    Re: Peter Olcott does not have a clue Richard Damon <Richard@Damon-Family.org> - 2022-10-16 21:48 -0400
  Re: Richard is as dumb as dumb gets olcott <polcott2@gmail.com> - 2022-10-16 20:41 -0500
    Re: Richard is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-16 21:51 -0400
      Re: Richard is as dumb as dumb gets olcott <polcott2@gmail.com> - 2022-10-16 20:55 -0500
        Re: Peter Olcott is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-16 22:11 -0400
          Re: Richard is as dumb as dumb gets olcott <polcott2@gmail.com> - 2022-10-16 21:31 -0500
            Re: Richard is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-16 22:50 -0400
              Re: Richard is as dumb as dumb gets olcott <polcott2@gmail.com> - 2022-10-16 22:18 -0500
                Re: Richard is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-17 07:02 -0400
                Re: Richard is as dumb as dumb gets olcott <none-ya@beez-waxes.com> - 2022-10-17 09:50 -0500
                Re: Richard is as dumb as dumb gets Richard Damon <Richard@Damon-Family.org> - 2022-10-17 18:39 -0400

csiph-web