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

Groups > comp.theory > #130962

Re: I corrected the very subtle error in the halting problem --- why I am not understood

From Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups comp.theory
Subject Re: I corrected the very subtle error in the halting problem --- why I am not understood
Date 2025-09-29 18:36 +0000
Organization A noiseless patient Spider
Message-ID <20250929112727.671@kylheku.com> (permalink)
References (25 earlier) <10be56e$3298l$1@dont-email.me> <10be5nq$32501$1@dont-email.me> <10be997$33khj$1@dont-email.me> <10befhk$35ck1$2@dont-email.me> <10begtp$35p6j$1@dont-email.me>

Show all headers | View raw

On 2025-09-29, olcott <polcott333@gmail.com> wrote:
> On 9/29/2025 12:27 PM, Richard Heathfield wrote:
>> On 29/09/2025 16:40, olcott wrote:
>>> On 9/29/2025 9:39 AM, Richard Heathfield wrote:
>>>> On 29/09/2025 15:30, olcott wrote:
>>>>
>>>> <snip>
>>>>
>>>>> This is ordinary software
>>>>> engineering. There is one independent variable with two values
>>>>> (a) abort and (b) don't abort
>>>>
>>>> Then you have two HHHs and therefore two diagonal cases, so you're 
>>>> twice as wrong as before. Brilliant.
>>>>
>>>>> and one dependent variable with two corresponding values
>>>>> (1) DD(), HHH(DD) and DD simulated by HHH stops running
>>>>> (2) DD(), HHH(DD) and DD simulated by HHH stops running never
>>>>> stops running.
>>>>
>>>> Two different HHHs, and therefore two different DDs. You're really 
>>>> not very good at this, are you?
>>>>
>>>
>>> When the value of the independent variable is
>>> changed there is a corresponding change in the
>>> dependent variable.
>>>
>>> Two hypothetical scenarios with different outcomes.
>> 
>> You're adding a parameter - the answer you want HHH to supply - which is 
>> definitely cheating, but it turns out not to matter, because HHH /still/ 
>> gets it wrong.
>> 
>
> If you want me to be more cordial you are going to have
> to be less dodgy.
>
><MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>      If *simulating halt decider H correctly simulates its input D*
>      *until H correctly determines that its simulated D would never*
>      *stop running unless aborted* then

HHH correctly determines that Infinite_Loop and Infinite_Loop
would never stop running, no matter how far it simulates them.
It returns 0.

HHH does /not/ correctly determine that DDD would never stop
running, no matter how far it simulates DDD. That determination
is incorrect.

Therefore, your if statement is true in all cases. Never mind Sipser;
I readily agree with it.

In the DDD case, the IF condition is false and so the statement is
still true. P -> Q is true whenever P is false! A conditional cannot be
falsified when its condition is not met.

But if Sipser knew the details of your the cockamamie program you built
around someone's x86 simulator, he would not agree that HHH is correctly
deciding the halting of DDD. He would have to be a like-minded crank/idiot
to make that statement.

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

I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-25 08:56 -0500
  Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-25 16:21 +0200
    Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-25 09:27 -0500
      Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-25 16:19 +0100
    Re: I corrected the very subtle error in the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-25 13:18 -0700
      Re: I corrected the very subtle error in the halting problem Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-09-27 00:23 +0200
        Re: I corrected the very subtle error in the halting problem Janis Papanagnou <janis_papanagnou+ng@hotmail.com> - 2025-09-27 15:14 +0200
          Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 17:31 +0100
            Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 11:37 -0500
          Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-27 20:37 +0000
            Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] olcott <polcott333@gmail.com> - 2025-09-27 16:48 -0500
          Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] olcott <polcott333@gmail.com> - 2025-09-27 14:05 -0500
            Re: Peter Olcott's character Alan Mackenzie <acm@muc.de> - 2025-09-27 19:42 +0000
              Who is telling the truth here? Mackenzie's character olcott <polcott333@gmail.com> - 2025-09-27 14:58 -0500
            Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] olcott <polcott333@gmail.com> - 2025-09-27 15:19 -0500
            Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 20:12 +0000
            Re: Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 21:49 +0100
          Peter Olcott's character [ Was: I corrected the very subtle error in the halting problem] Alan Mackenzie <acm@muc.de> - 2025-09-27 19:03 +0000
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 10:14 -0500
          Re: I corrected the very subtle error in the halting problem Jeff Barnett <jbb@notatt.com> - 2025-09-27 10:57 -0600
            Re: I corrected the very subtle error in the halting problem wij <wyniijj5@gmail.com> - 2025-09-28 18:57 +0800
              Re: I corrected the very subtle error in the halting problem Jeff Barnett <jbb@notatt.com> - 2025-09-28 10:59 -0600
          Re: I corrected the very subtle error in the halting problem Julio Di Egidio <julio@diegidio.name> - 2025-09-27 16:44 +0200
        Re: I corrected the very subtle error in the halting problem wij <wyniijj5@gmail.com> - 2025-09-27 06:45 +0800
        Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 22:43 +0000
        Re: I corrected the very subtle error in the halting problem Jeff Barnett <jbb@notatt.com> - 2025-09-27 00:46 -0600
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 06:32 +0100
      Re: I corrected the very subtle error in the halting problem dart200 <user7160@newsgrouper.org.invalid> - 2025-09-27 12:48 -0700
        Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 20:31 +0000
      Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 20:25 +0100
        Re: I corrected the very subtle error in the halting problem Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-09-26 13:00 -0700
      Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 20:39 +0000
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 16:57 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 19:05 +0000
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 18:21 -0500
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 02:18 -0500
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 12:17 -0500
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 22:33 +0100
          Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 21:36 +0100
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 15:30 -0500
            Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 22:09 +0100
          Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 21:27 +0100
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 19:45 +0000
            Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 15:05 -0500
              Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 20:49 +0000
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 18:40 -0500
                Re: I corrected the very subtle error in the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-09-28 03:02 +0100
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 21:20 -0500
                Re: I corrected the very subtle error in the halting problem Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-09-28 03:42 +0100
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 22:22 -0500
                Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:14 +0000
                Re: I corrected the very subtle error in the halting problem --- Famous Buddhist olcott <polcott333@gmail.com> - 2025-09-28 20:22 -0500
                Re: I corrected the very subtle error in the halting problem --- Famous Buddhist Richard Damon <Richard@Damon-Family.org> - 2025-09-29 07:38 -0400
                Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 04:27 +0100
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 22:31 -0500
                Re: I corrected the very subtle error in the halting problem dbush <dbush.mobile@gmail.com> - 2025-09-27 23:34 -0400
                Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 04:43 +0100
                Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 04:38 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 09:39 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 16:12 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 10:24 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 17:20 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 11:29 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 17:36 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 11:41 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 18:43 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 12:49 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-28 19:01 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 13:15 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 00:02 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-28 18:01 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 13:18 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 00:06 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 19:31 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 01:37 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 20:55 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 02:44 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 21:56 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 05:31 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 10:29 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 17:12 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Damon <Richard@Damon-Family.org> - 2025-09-29 22:32 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 05:10 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Damon <Richard@Damon-Family.org> - 2025-09-29 07:38 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:54 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 19:46 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:25 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 20:13 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood dbush <dbush.mobile@gmail.com> - 2025-09-28 21:18 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:30 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 20:05 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood dbush <dbush.mobile@gmail.com> - 2025-09-28 21:16 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 01:41 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 21:09 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 02:50 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-28 21:59 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood dbush <dbush.mobile@gmail.com> - 2025-09-28 23:02 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 04:31 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 09:30 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 15:39 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 10:40 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 18:27 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 12:50 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 18:36 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 14:08 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-29 21:03 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 16:39 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-10-01 08:49 +0000
                I corrected the very subtle error in the halting problem --- ALL DETAILS PROVIDED olcott <polcott333@gmail.com> - 2025-10-01 08:10 -0500
                Re: I corrected the very subtle error in the halting problem --- ALL DETAILS PROVIDED dbush <dbush.mobile@gmail.com> - 2025-10-01 09:19 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 21:45 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 21:34 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 16:56 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 22:17 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 17:56 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 00:31 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 20:25 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 03:42 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 23:12 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 09:12 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 16:38 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 12:02 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 21:22 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 20:24 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-10-01 03:00 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 21:03 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-10-01 04:04 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 22:09 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-10-01 04:20 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 22:22 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-10-01 05:09 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Damon <Richard@Damon-Family.org> - 2025-10-02 07:54 -0400
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 10:26 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 12:34 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 09:30 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 07:34 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 13:00 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 09:29 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 15:15 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 10:39 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 16:14 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 11:55 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 17:30 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 12:36 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-10-02 13:02 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-10-02 10:36 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-10-02 16:41 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-10-02 11:56 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-02 12:43 -0700
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 17:21 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 12:14 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 18:48 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 13:36 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 19:40 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-30 18:52 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 21:03 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 20:01 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 14:13 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-30 20:16 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-10-01 08:44 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-10-01 07:42 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-10-01 13:54 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 19:37 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 14:59 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 22:00 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 17:48 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-30 00:43 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 00:32 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 18:39 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 01:36 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 20:03 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 02:21 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 20:29 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 02:42 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 20:44 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 08:54 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-30 07:56 -0500
                Expanding on Rice's Theorem olcott <polcott333@gmail.com> - 2025-09-29 21:35 -0500
                Re: Expanding on Rice's Theorem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 09:10 +0100
                Re: Expanding on Rice's Theorem olcott <polcott333@gmail.com> - 2025-09-30 09:36 -0500
                Re: Expanding on Rice's Theorem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-30 16:45 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-29 14:53 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 11:36 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-29 21:10 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 16:43 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 05:28 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood ---typo olcott <polcott333@gmail.com> - 2025-09-28 21:23 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood ---typo "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-28 19:42 -0700
                Re: I corrected the very subtle error in the halting problem --- why I am not understood ---typo "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-28 19:59 -0700
                Re: I corrected the very subtle error in the halting problem --- why I am not understood ---typo olcott <polcott333@gmail.com> - 2025-09-28 22:01 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood ---typo "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-28 20:03 -0700
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-29 09:48 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 07:34 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 14:02 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-29 13:51 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 09:21 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 15:35 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 10:36 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 18:20 +0100
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 12:26 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood joes <noreply@example.org> - 2025-09-29 15:06 +0000
                Re: I corrected the very subtle error in the halting problem --- why I am not understood olcott <polcott333@gmail.com> - 2025-09-29 10:46 -0500
                Re: I corrected the very subtle error in the halting problem --- why I am not understood Richard Heathfield <rjh@cpax.org.uk> - 2025-09-29 18:30 +0100
                Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:21 +0000
                Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-28 18:09 +0000
                Re: I corrected the very subtle error in the halting problem --- joes see this olcott <polcott333@gmail.com> - 2025-09-28 20:24 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 16:48 +0000
            Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 13:33 -0500
              Re: I corrected the very subtle error in the halting problem joes <noreply@example.org> - 2025-09-28 12:23 +0000
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-28 08:32 -0500
                Re: I corrected the very subtle error in the halting problem joes <noreply@example.org> - 2025-09-28 13:47 +0000
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-28 08:58 -0500
                Re: I corrected the very subtle error in the halting problem joes <noreply@example.org> - 2025-09-28 14:33 +0000
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-28 09:44 -0500
                Re: I corrected the very subtle error in the halting problem joes <noreply@example.org> - 2025-09-28 18:05 +0000
                Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-28 13:21 -0500
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 16:53 -0500
            Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 12:29 -0500
            Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 23:18 +0100
              Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 17:46 +0100
              Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 10:25 -0500
                Re: I corrected the very subtle error in the halting problem Richard Damon <Richard@Damon-Family.org> - 2025-09-28 20:19 -0400
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 16:09 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 22:15 +0000
        Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 19:28 +0000
          Re: I corrected the very subtle error in the halting problem André G. Isaak <agisaak@gm.invalid> - 2025-09-26 14:00 -0600
            Re: I corrected the very subtle error in the halting problem Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-15 10:21 +0100
              Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-10-15 15:55 -0500
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 17:22 -0500
            Re: I corrected the very subtle error in the halting problem Richard Damon <Richard@Damon-Family.org> - 2025-09-27 09:00 -0400
            Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-27 06:35 +0100
            Re: I corrected the very subtle error in the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-26 19:49 -0700
          Re: I corrected the very subtle error in the halting problem David Brown <david.brown@hesbynett.no> - 2025-09-27 12:59 +0200
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 10:47 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 20:35 +0000
            Re: I corrected the very subtle error in the halting problem Alexis <flexibeast@gmail.com> - 2025-09-28 12:52 +1000
              Re: I corrected the very subtle error in the halting problem wij <wyniijj5@gmail.com> - 2025-09-28 11:27 +0800
                Re: I corrected the very subtle error in the halting problem wij <wyniijj5@gmail.com> - 2025-09-28 16:20 +0800
              Re: I corrected the very subtle error in the halting problem wij <wyniijj5@gmail.com> - 2025-09-28 11:27 +0800
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 14:49 -0500
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 19:01 +0100
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 13:10 -0500
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 10:56 -0500
        Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-27 20:32 +0200
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 13:56 -0500
            Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 14:51 -0500
            Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-27 19:34 +0000
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 18:05 +0100
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 11:22 -0500
      Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-26 17:44 +0200
  Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-25 16:14 +0100
  Re: I corrected the very subtle error in the halting problem Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-25 16:01 +0000
  Re: I corrected the very subtle error in the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-25 11:06 -0700
  Re: I corrected the very subtle error in the halting problem Mikko <mikko.levanto@iki.fi> - 2025-09-27 12:58 +0300

csiph-web