Re: Simulating halt deciders defeat the halting theorem

From	olcott <polcott2@gmail.com>
Newsgroups	sci.logic, comp.theory, comp.ai.philosophy, comp.software-eng
Subject	Re: Simulating halt deciders defeat the halting theorem
Date	2023-02-15 20:39 -0600
Organization	A noiseless patient Spider
Message-ID	<tsk51t$31vt5$2@dont-email.me> (permalink)
References	(3 earlier) <b4738a67-ffb6-4ddf-810d-efaea97c4195n@googlegroups.com> <87y1oyr4wx.fsf@bsb.me.uk> <9c9780f5-d4cd-4bf2-a291-fc1193c33d06n@googlegroups.com> <874jrmqt2o.fsf@bsb.me.uk> <tsk41n$31vt5$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2/15/2023 8:22 PM, olcott wrote:
> On 2/15/2023 7:47 PM, Ben Bacarisse wrote:
>> 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!
>>
> 
> int D(int (*x)())
> {
>    int Halt_Status = H(x, x);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> int main()
> {
>    Output("Input_Halts = ", H(D,D));
>    Output("Input_Halts = ", D(D));
> }
> 
> None-the-less Ben will not lie about:
> *H correctly predicts that D correctly simulated by H would never halt*
> *H correctly predicts that D correctly simulated by H would never halt*
> *H correctly predicts that D correctly simulated by H would never halt*

In other words because Ben is not a liar he implicitly affirms that
H(D,D) does correctly compute the mapping from its input to its reject
state on the above basis.

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

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

csiph-web