Re: Simulating halt deciders defeat the halting theorem

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	sci.logic
Subject	Re: Simulating halt deciders defeat the halting theorem
Date	2023-02-16 01:47 +0000
Organization	A noiseless patient Spider
Message-ID	<874jrmqt2o.fsf@bsb.me.uk> (permalink)
References	(1 earlier) <40fc40c0-b1d8-4988-adc8-1cede5551b09n@googlegroups.com> <tsjbk0$2vg29$1@dont-email.me> <b4738a67-ffb6-4ddf-810d-efaea97c4195n@googlegroups.com> <87y1oyr4wx.fsf@bsb.me.uk> <9c9780f5-d4cd-4bf2-a291-fc1193c33d06n@googlegroups.com>

Show all headers | View raw

Fritz Feldhase <franz.fritschee.ff@gmail.com> writes:

> On Wednesday, February 15, 2023 at 10:32:19 PM UTC+1, Ben Bacarisse wrote:
>
>> Me: do you still assert that H(P,P) == false is the "correct" answer
>> even though P(P) halts?
>>
>> PO: Yes that is the correct answer even though P(P) halts. 
>
> Wow!
>
> So for PO H is a "correct halt decider" even if it states that a
> program P with input P _doesn't halt_, though it _halts_.
>
> Well, what can I say?

What indeed.  I think this is pretty much the only reply that should be
made to PO.  He may, one day, admit that that was wrong and start to
build a new waffle mountain, but until then, its game over.

> Seems that all cranks are more or less "the same" (in a certain
> sense): WM, PO, JG, AP, etc.

In some way yes, but they all disagree with each other when the surface
is scratched because they all want to be the unique individual who as
seen clearly where everyone else was blind.  I would not be surprised if
they all had NPD.

> See:
> https://context.reverso.net/%C3%BCbersetzung/spanisch-englisch/loco%2C+loco

Possibly literally!

-- 
Ben.

Thread

Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-14 18:57 -0600
  Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-14 21:03 -0500
  Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 08:57 -0600
    Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 18:57 -0500
  Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 09:05 -0800
    Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 13:25 -0600
      Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 12:46 -0800
        Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 15:12 -0600
          Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 13:26 -0800
            Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:12 -0600
              Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:55 -0800
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 18:06 -0600
              Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:22 -0500
          Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 19:20 -0500
        Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-15 21:32 +0000
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 16:13 -0600
          Re: Simulating halt deciders defeat the halting theorem Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-15 15:51 -0800
            Re: Simulating halt deciders defeat the halting theorem Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-16 01:47 +0000
              Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:22 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:36 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 20:39 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 21:55 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:15 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:20 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-15 21:28 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-15 22:42 -0500
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 10:59 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:43 -0500
              Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 11:36 -0700
                Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-16 13:16 -0600
                Re: Simulating halt deciders defeat the halting theorem Jeff Barnett <jbb@notatt.com> - 2023-02-16 12:26 -0700
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 13:41 -0600
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Jeff Barnett <jbb@notatt.com> - 2023-02-16 15:24 -0700
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] olcott <polcott2@gmail.com> - 2023-02-16 16:45 -0600
                Re: Simulating halt deciders defeat the halting theorem [ irrefutable ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:48 -0500
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:45 -0500
              Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
                Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] olcott <polcott2@gmail.com> - 2023-02-16 17:01 -0600
            Re: Simulating halt deciders defeat the halting theorem [ Ben will not lie about this ] Richard Damon <Richard@Damon-Family.org> - 2023-02-16 18:49 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 15:31 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:07 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> - 2023-02-24 16:08 -0600
            Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> - 2023-02-24 20:11 -0500
          Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] olcott <polcott2@gmail.com> - 2023-02-26 14:01 -0600
            Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Richard Damon <Richard@Damon-Family.org> - 2023-02-26 15:15 -0500
              Re: Simulating halt deciders defeat the halting theorem [-ONLY LIARS WILL DISAGREE-] Mr Flibble <flibble@reddwarf.jmc.corp> - 2023-02-26 20:32 +0000

csiph-web