Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c++ > #87134

Re: Ben agrees that Sipser_H is correct according to its halt status criteria [Paul N Lies]

From olcott <polcott2@gmail.com>
Newsgroups comp.lang.c++, comp.theory
Subject Re: Ben agrees that Sipser_H is correct according to its halt status criteria [Paul N Lies]
Date 2022-10-22 14:20 -0500
Organization A noiseless patient Spider
Message-ID <tj1fp4$vmfe$1@dont-email.me> (permalink)
References (7 earlier) <tiio6t$3cg9h$2@dont-email.me> <Eva3L.440910$SAT4.151365@fx13.iad> <87v8oilbiy.fsf@bsb.me.uk> <tiutue$mhhk$1@dont-email.me> <8fbbbbc1-58b6-491b-ac61-fc56f6c70159n@googlegroups.com>

Cross-posted to 2 groups.

Show all headers | View raw

On 10/22/2022 7:19 AM, Paul N wrote:
> For those who don't follow comp.theory, I think it is worth pointing out that Ben is trying to deal with PO by encouraging no-one to reply to him. This probably explains the posts here claiming that "Ben agrees" with things it's quite clear he does not agree with, 

*You are a liar or did not bother to pay attention*
*You are a liar or did not bother to pay attention*
*You are a liar or did not bother to pay attention*
*You are a liar or did not bother to pay attention*

These references are on comp.theory:

On 10/17/2022 10:23 AM, Ben Bacarisse wrote:
 > D(D) would not halt unless H stops the simulation.
 > H /can/ correctly determine this silly criterion (in this one case)

*This is the "silly" criterion that Ben is referring to*

On 10/17/2022 12:11 AM, olcott wrote:
 > *Professor Sipser has agreed to these verbatim words* (and no more)
 > 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.
 >


-- 
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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 olcott <polcott2@gmail.com> - 2022-10-12 11:48 -0500
  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 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 (Ben's support) olcott <none-ya@beez-waxes.com> - 2022-10-20 22:17 -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 <gw7rib@aol.com> - 2022-10-22 05:19 -0700
      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

csiph-web