Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022

From	Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups	comp.theory, sci.logic, sci.math, comp.ai.philosophy
Subject	Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022
Date	2025-10-22 17:07 +0000
Organization	A noiseless patient Spider
Message-ID	<20251022095644.76@kylheku.com> (permalink)
References	(11 earlier) <10d6t02$3l5sd$1@dont-email.me> <20251020200810.727@kylheku.com> <10dagq1$k07m$1@dont-email.me> <20251022083441.981@kylheku.com> <10daub6$nvbc$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2025-10-22, olcott <polcott333@gmail.com> wrote:
> On 10/22/2025 10:40 AM, Kaz Kylheku wrote:
>> On 2025-10-22, olcott <polcott333@gmail.com> wrote:
>>> On 10/20/2025 10:20 PM, Kaz Kylheku wrote:
>>>>> And when I identify a flaw yo simply ignore
>>>>> whatever I say.
>>>>
>>>> Nope; all the ways you say claim you've identified a flaw have been
>>>> dissected by multiple poeple to a much greater detail than they deserve.
>>>>
>>>> It is disingenuous to say that you've simply had your details ignored.
>>>>
>>>
>>> Turing machines in general can only compute mappings
>>> from their inputs. The halting problem requires computing
>>> mappings that in some cases are not provided in the
>>> inputs therefore the halting problem is wrong.
>> 
>> The halting problem positively does not propose anything
>> like that, which would be gapingly wrong.
>
> It only seems that way because you are unable to

No, it doesn't only seem that way. Thanks for playing.

> provide the actual mapping that the actual input
> to HHH(DD) specifies when DD is simulated by HHH
> according to the semantics of the C language,

DD is a "finite string input" which specifies a behavior that is
independent of what simulates it, and in what manner.

When DD is simulated by HHH, the simulation is left incomplete.

That is not permitted by the semantics of the source
or target language in which DD is written;
an incomplete simulation is an incorrect simulation.

Thus, DD being simulated by HHH according to the semantics.  The
semantics say that there is a next statement or instruction to execute,
which HHH neglects to do.

Now that would be fine, because HHH's job isn't to evoke the
full behavior of DD but only to predict whether it will halt.

But HHH does that incorrectly; the correct halting status is 1,
not 0.

Thus HHH achieves neither a correct simulation, nor a correct
appraisal of the halting status.

> even though I do remember that you did do this once.

I must have accidentally written something that looked
like crackpottery.

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

Thread

Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-20 22:00 -0500
  Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-20 23:05 -0400
    Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-20 22:13 -0500
      Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-20 23:16 -0400
        Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-20 22:25 -0500
          Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-20 23:29 -0400
  Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:20 +0000
    Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-20 22:29 -0500
    Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 06:56 -0500
      Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 08:25 -0400
        Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 07:48 -0500
          Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 09:00 -0400
            Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 08:47 -0500
              Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 09:50 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 09:25 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Python <jpierre.messager@gmail.com> - 2025-10-22 14:27 +0000
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 13:30 -0400
      Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 15:40 +0000
        Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 10:47 -0500
          Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 17:07 +0000
            Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 12:11 -0500
              Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 13:38 -0400
              Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 18:40 +0000
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 André G. Isaak <agisaak@gm.invalid> - 2025-10-22 13:24 -0600
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 14:30 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 15:31 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Richard Heathfield <rjh@cpax.org.uk> - 2025-10-22 20:34 +0100
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 19:52 +0000
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 15:00 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 20:20 +0000
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 15:35 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 16:43 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST olcott <polcott333@gmail.com> - 2025-10-22 16:12 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-22 14:32 -0700
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST dbush <dbush.mobile@gmail.com> - 2025-10-22 17:50 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 23:01 +0000
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST olcott <polcott333@gmail.com> - 2025-10-23 09:55 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-23 16:47 +0000
                "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-23 12:22 -0500
                Re: "there will still be a nested simulation tower" Kaz "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-23 11:50 -0700
                Re: "there will still be a nested simulation tower" Kaz Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-23 21:11 +0000
                "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-23 17:08 -0500
                Re: "there will still be a nested simulation tower" Kaz "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-23 15:21 -0700
                Re: "there will still be a nested simulation tower" Kaz "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-23 15:26 -0700
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-23 18:40 -0400
                Re: "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-23 17:48 -0500
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-23 19:09 -0400
                Re: "there will still be a nested simulation tower" Kaz Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-23 23:55 +0000
                Re: "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-23 19:00 -0500
                Re: "there will still be a nested simulation tower" Kaz Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-23 23:45 +0000
                Re: "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-23 18:51 -0500
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-23 20:14 -0400
                "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-22 17:14 -0500
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-22 18:33 -0400
                Re: "there will still be a nested simulation tower" Kaz Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 23:15 +0000
                Re: "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-22 18:24 -0500
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-22 20:14 -0400
                Re: "there will still be a nested simulation tower" Kaz Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-23 01:22 +0000
                Re: "there will still be a nested simulation tower" Kaz olcott <polcott333@gmail.com> - 2025-10-22 20:47 -0500
                Re: "there will still be a nested simulation tower" Kaz dbush <dbush.mobile@gmail.com> - 2025-10-22 22:13 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Julio Di Egidio <julio@diegidio.name> - 2025-10-23 08:02 +0200
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-23 09:51 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 olcott <polcott333@gmail.com> - 2025-10-22 14:55 -0500
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 16:24 -0400
                Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-22 21:55 +0000
          Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 dbush <dbush.mobile@gmail.com> - 2025-10-22 13:36 -0400

csiph-web