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

Groups > comp.theory > #131679

Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable

Subject Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable
Newsgroups comp.theory, comp.lang.c++, comp.lang.c, comp.ai.philosophy
References <10bmp4e$18mno$1@dont-email.me> <10bmq9o$18cf6$1@dont-email.me> <10bmsdv$19ge1$1@dont-email.me>
From Richard Damon <Richard@Damon-Family.org>
Message-ID <IOAEQ.5728$DOhc.1155@fx06.iad> (permalink)
Organization Forte - www.forteinc.com
Date 2025-10-05 16:46 -0400

Cross-posted to 4 groups.

Show all headers | View raw

On 10/2/25 5:56 PM, olcott wrote:
> On 10/2/2025 4:19 PM, dbush wrote:
>> On 10/2/2025 4:59 PM, olcott wrote:
>>> void P()
>>> {
>>>    if H(P)  // returns 1 for halts 0 for loops
>>>      HERE: goto HERE;
>>> }
>>>
>>> For *any* decider H and input P
>>
>> Category error.  The fixed immutable set of instructions known as H 
>> does one thing and one thing only. 
> 
> *That is why I changed it to a set of sets*

And how does P call a "set"?

You end up with a set of H/P pairs, each H a specific program, and P the 
version built on it that it also the P that H is given.

And then, EVERY P has a correct answer, and every H doesn't give it.

> 
> For *any* decider H and input P
> *is an infinite set of H/P pairs*

All of which (the deciders) are wrong, and all the input HAVE a correct 
answer to the halting question.

> 
> Almost every error that anyone has ever pointed
> out is either their own lack of attention or their
> own lack of comprehension.
> 
> The very helpful error corrections are wording mistakes.
> That is why I need reviewers like you.

And changing the meaning of the question of the problme, just makes you 
a lying fraud.

> 
>> Likewise, the fixed immutable set of instructions known as P does one 
>> thing and one thing only.
>>
>> So P either halts or does not halt.  H(P) gives the incorrect answer.
>>
> 
>

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-02 15:59 -0500
  Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable dbush <dbush.mobile@gmail.com> - 2025-10-02 17:19 -0400
    Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-02 16:56 -0500
      Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Damon <Richard@Damon-Family.org> - 2025-10-05 16:46 -0400
  Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-02 23:31 +0000
    Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-02 18:40 -0500
      Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-02 23:54 +0000
        Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-02 19:35 -0500
          Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-03 21:50 +0000
            Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 17:01 -0500
              Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-03 15:06 -0700
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-04 12:05 +0300
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-04 20:10 -0700
            Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 17:06 -0500
              Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-03 23:25 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 18:57 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 05:02 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 07:56 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-04 16:01 +0100
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 10:20 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 15:36 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 11:35 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 16:49 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-05 07:52 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-04 17:44 +0100
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-10-04 15:32 +0100
          Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-10-04 00:11 +0100
            Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 18:28 -0500
              Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-03 23:52 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-04 01:06 +0100
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 19:11 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 05:04 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 08:04 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable joes <noreply@example.org> - 2025-10-04 14:04 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 10:43 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 16:55 +0000
                Conventional HP diagonal case is succinctly proven unsatisfiable --- embedded_H olcott <polcott333@gmail.com> - 2025-10-05 07:58 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-05 08:17 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Damon <Richard@Damon-Family.org> - 2025-10-05 16:50 -0400
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-04 16:06 +0100
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 10:22 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-04 20:21 -0700
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-04 16:24 +0000
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-04 20:17 -0700
          Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-04 12:00 +0300
            Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 22:56 -0500
              Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-05 05:31 +0100
              Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-05 12:47 +0300
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-05 09:35 -0500
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Heathfield <rjh@cpax.org.uk> - 2025-10-05 16:28 +0100
                Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-06 12:07 +0300
  Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-03 13:12 +0300
    Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-03 08:20 -0500
      Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Mikko <mikko.levanto@iki.fi> - 2025-10-04 12:13 +0300
        Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 23:06 -0500
  Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Wuns Haerst <Wuns.Haerst@wurstfabrik.at> - 2025-10-04 17:23 +0200
    Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 10:25 -0500
    Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable olcott <polcott333@gmail.com> - 2025-10-04 10:27 -0500
  Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable Richard Damon <Richard@Damon-Family.org> - 2025-10-05 16:46 -0400

csiph-web