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

Groups > comp.theory > #131553

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 16:49 +0000
Organization A noiseless patient Spider
Message-ID <20251004094823.521@kylheku.com> (permalink)
References (10 earlier) <10br5h5$2fmrn$1@dont-email.me> <10brct3$2hp5d$1@dont-email.me> <10brdvr$2i4ls$1@dont-email.me> <20251004083123.309@kylheku.com> <10bric9$2j9be$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:36 AM, Kaz Kylheku wrote:
>> 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.
>
> That you still don't understand that embedded_H is
> correct when it reports on the recursive simulation

I specifically understand that it is incorrect.

> behavior of its correct partial simulation of its
> input is not my mistake.

The partial simulation specifies termination. (It has to, otherwise it
is not a correct simulation of the correct input.)

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

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