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

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

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

From Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups comp.theory, comp.lang.c++, comp.lang.c, comp.ai.philosophy
Subject Re: Conventional notion of the HP diagonal case is succinctly proven unsatisfiable
Date 2025-10-04 15:36 +0000
Organization A noiseless patient Spider
Message-ID <20251004083123.309@kylheku.com> (permalink)
References (8 earlier) <10bpnsl$25vc4$1@dont-email.me> <20251003212353.43@kylheku.com> <10br5h5$2fmrn$1@dont-email.me> <10brct3$2hp5d$1@dont-email.me> <10brdvr$2i4ls$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2025-10-04, olcott <polcott333@gmail.com> wrote:
> On 10/4/2025 10:01 AM, Richard Heathfield wrote:
>> On 04/10/2025 13:56, olcott wrote:
>>> On 10/4/2025 12:02 AM, Kaz Kylheku wrote:
>>>> On 2025-10-03, olcott <polcott333@gmail.com> wrote:
>> 
>> <snip>
>> 
>>>>> For the set of H/P pairs of
>>>>> decider H and input P:
>>>>> If H says halts then P loops
>>>>> If H says loops then P halts
>>>>> making H(P) always incorrect.
>>>>
>>>> Nope, it's like (from my Lisp session):
>>>>
>>>
>>> How is it that you can disagree with verified facts?
>> 
>> The incomputability of the Halting Problem is a verified fact,
>
> Within the premise that H must report on the behavior of D.
> yet not when H reports on the behavior specified by its input D.

So, there you go that is the answer to "how is it that you can disagree
with verified facts"; you spew nonsensical, cranky garbage in which it
supposed to be understood that "the behavior specified by its input D"
and "the behavior of D" are magically two different entities.

Magical thinking.

> The behavior of D and the behavior of the input D are not
> the same when an input calls its own simulating termination
> analyzer.

Then that termination analyzer is obviously incorrect.

The machine D specifies a behavior D() which is absolutely
the same.

... and so, to reiterate, that's how it goes when a pathetic crank
disagrees with verified facts.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca

Back to comp.lang.c++ | 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 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 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