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

Groups > comp.theory > #133152

Re: My two specifications are equivalent HHH(DD)==0 is correct

From Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups comp.theory
Subject Re: My two specifications are equivalent HHH(DD)==0 is correct
Date 2025-10-20 20:57 +0000
Organization A noiseless patient Spider
Message-ID <20251020135442.944@kylheku.com> (permalink)
References (7 earlier) <20251019103506.38@kylheku.com> <10d43co$2t84c$1@dont-email.me> <10d5lvk$3aj68$1@dont-email.me> <20251020113037.239@kylheku.com> <10d66et$3fmos$1@dont-email.me>

Show all headers | View raw

On 2025-10-20, olcott <polcott333@gmail.com> wrote:
> On 10/20/2025 1:31 PM, Kaz Kylheku wrote:
>> On 2025-10-20, olcott <polcott333@gmail.com> wrote:
>>> On 10/19/2025 8:30 PM, Mike Terry wrote:
>>>> The HP is concerned with run-time behaviour.  Whether or not a
>>>> computation halts is purely determined by the program and input for the
>>>> computation, and the sequence of /computation steps/ associated with
>>>> that computation.  That is run-time behaviour.  (It's pretty much the
>>>> definition of run-time behaviour.)
>>>>
>>>
>>> That is exactly what make the Halting Problem a Category Error
>> 
>> No, that is exactly what makes your /understanding/ erroneous.
>
> Mere empty rhetoric utterly bereft of any supporting
> reasoning.

I've not heard that wording in years; are you reading your ten-year-old
archives?

> Whenever I explain it you usually just ignore
> what I say.

False; you get point-by-point rebuttals to everything you write.

You write a lot of repetitive stuff and so not everything you write
in every repetition gets a repeated rebuttal.

But everything you've ever claimed has been refuted in excruciating
detail, many times over, by many different people, in several different
ways.

Basically, we can take any week out of comp.theory from the past 15
years, and that week's worth of postings will contain a complete,
detailed, well-reasoned rebuttal to all your claims.


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

My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 06:20 -0500
  Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Damon <Richard@Damon-Family.org> - 2025-10-18 07:49 -0400
  Re: My two specifications are equivalent HHH(DD)==0 is correct vallor <vallor@vallor.earth> - 2025-10-18 14:43 +0000
    Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 09:48 -0500
      Re: My two specifications are equivalent HHH(DD)==0 is correct vallor <vallor@vallor.earth> - 2025-10-18 15:53 +0000
        Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 10:59 -0500
          Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 17:06 +0000
            Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 12:09 -0500
              Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 20:16 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 17:38 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 12:17 +0100
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:08 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-21 09:02 +0100
                The halting problem is either incoherent or the proof wrong olcott <polcott333@gmail.com> - 2025-10-18 19:06 -0500
            Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 17:26 -0500
              Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-18 23:30 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 20:06 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:12 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:17 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:50 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 14:50 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 20:19 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:24 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:54 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-20 14:50 -0700
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:35 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:33 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-20 16:57 -0400
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 16:10 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-20 17:34 -0400
                Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Heathfield <rjh@cpax.org.uk> - 2025-10-19 05:57 +0100
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:40 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:24 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:17 -0500
              Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-19 18:04 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-10-20 02:30 +0100
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:54 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:31 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:35 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:57 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:15 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 18:35 +0000
                Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 15:36 -0500
                Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:58 +0000
          Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 13:31 -0700
        Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-19 10:58 +0100
          Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:57 -0500
          Re: My two specifications are equivalent HHH(DD)==0 is correct Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-10-19 12:56 -0700
            Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 11:50 +0100
      Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-18 17:03 +0000
        Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-18 12:07 -0500
      Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 12:54 -0700
  Re: My two specifications are equivalent HHH(DD)==0 is correct "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-18 13:26 -0700
  Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-19 10:43 +0100
    Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 09:55 -0500
      Re: My two specifications are equivalent HHH(DD)==0 is correct dbush <dbush.mobile@gmail.com> - 2025-10-19 12:15 -0400
      Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 09:36 +0000
        Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 10:59 -0500
          Re: My two specifications are equivalent HHH(DD)==0 is correct joes <noreply@example.org> - 2025-10-20 17:15 +0000
            Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:33 -0500
          Re: My two specifications are equivalent HHH(DD)==0 is correct Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 19:03 +0000
            HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 14:17 -0500
              Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 20:47 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 16:06 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 21:11 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 16:44 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-20 22:57 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 18:19 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior dbush <dbush.mobile@gmail.com> - 2025-10-20 19:46 -0400
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 00:03 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 19:14 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 01:29 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 20:35 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 02:03 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 21:22 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:06 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 22:18 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 03:30 +0000
                Re: HHH(DD) Input exactly matches non-halting behavior olcott <polcott333@gmail.com> - 2025-10-20 22:39 -0500
                Re: HHH(DD) Input exactly matches non-halting behavior Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 05:38 +0000
      Re: My two specifications are equivalent HHH(DD)==0 is correct Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-20 12:09 +0100
        Re: My two specifications are equivalent HHH(DD)==0 is correct Richard Heathfield <rjh@cpax.org.uk> - 2025-10-20 12:49 +0100
          Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-20 12:10 -0500
  Re: My two specifications are equivalent HHH(DD)==0 is correct Mikko <mikko.levanto@iki.fi> - 2025-10-19 14:03 +0300
    Re: My two specifications are equivalent HHH(DD)==0 is correct olcott <polcott333@gmail.com> - 2025-10-19 11:28 -0500

csiph-web