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

Groups > comp.theory > #130784

Re: I corrected the very subtle error in the halting problem

From Jeff Barnett <jbb@notatt.com>
Newsgroups comp.theory
Subject Re: I corrected the very subtle error in the halting problem
Date 2025-09-28 10:59 -0600
Organization A noiseless patient Spider
Message-ID <10bbpi1$2fruc$1@dont-email.me> (permalink)
References (10 earlier) <10b73o5$1bala$1@dont-email.me> <10b817f$1hijp$1@dont-email.me> <10b8nv8$1n6p5$1@dont-email.me> <10b9529$1qkig$1@dont-email.me> <c1642358c46424667a6ee02ad37addad58acc275.camel@gmail.com>

Show all headers | View raw

On 9/28/2025 4:57 AM, wij wrote:
> On Sat, 2025-09-27 at 10:57 -0600, Jeff Barnett wrote:
>> On 9/27/2025 7:14 AM, Janis Papanagnou wrote:
>>> On 27.09.2025 08:46, Jeff Barnett wrote:
>>>> On 9/26/2025 4:23 PM, Janis Papanagnou wrote:
>>>>>
>>>>> ''In 1923, Ludwig Wittgenstein proposed to "dispose" of
>>>>> Russell's
>>>>>      paradox as follows:
>>>>> [...]
>>>>>                                   (Tractatus Logico-Philosophicus, 3.333)"
>>>> I've read the Tractatus and found it a lot of fun and stimulating of
>>>> thought. I'm composing this note, not to argue with philosophy;
>>>
>>> Neither do I (that would certainly lead to far). My intention here
>>> is just to direct to the OP's original statement which was linking
>>> logic and semantics, and had been speaking of "mistakes of logic":
>>>     "The big mistake of logic is that it does not retain
>>>      semantics as fully integrated into its formal expressions."
>>> Wittgenstein in his Tractatus (as I understood it) separated well
>>> the factors [language-]semantics, [bool] logic, and [mathematical]
>>> "technical" aspects, including [real languages'] syntax (and [as
>>> in programming languages] their [operational/technical] semantics).
>>
>> My most interesting takeaway from T for me was the discussion that
>> posited that two (different?) entities that having precisely the same
>> properties did not entail that the entities were identical, i.e., "=" in
>> the logical sense of merely having two names. The possibility was that
>> the model was not broad enough to distinguish them. This insight should
>> lead to a discussion of semantic sufficiency, big world assumptions and
>> problems, and the obvious conclusion that logic is a formal, not
>> all-informative system.
> 
> No (currently) formal language is more expressive (and more real) than
> procedural language, e.g. C/C++ (precisely Turing Machine, so far).
> 
> The idea can be demonstrated:
> https://sourceforge.net/projects/cscall/files/MisFiles/RealNumber2-en.txt/download
> ---- Snippet (about real number and infinity)
> ...
> Axiom 2: An object (e.g., number, form) and its (operational) properties exist
>           simultaneously through definition.
> 
> '='::= a=b iff a-b=0
>    The meaning of the equality sign '=' can sometimes be ambiguous. This
>    definition is intended only as a reference when its meaning is in doubt or
>    undefined. According to Axiom 2, a number and its +/- operation must be
>    defined simultaneously in order to use this definition to determine "equality".

Note above, that I said `"=" in the logical sense'. I understand that an 
axiom set might define an equal which is domain specific. I was talking 
about the equality used in determining unification.

> -----
> 
>>> That's why I had mentioned the necessary context for the full view!
>>> (Some can be found around the above quoted proposition, some later
>>> in his opus. But for a full understanding it's necessary to read
>>> the whole text from the start.)
>>>
>>> (My mistake was to quote the single paragraph from Wikipedia that
>>> is covering just a specific aspect, and certainly insufficiently;
>>> the OP's link misguided me to think that Russel's view would have
>>> been the source of the OP's misconception. But the problem may lie
>>> deeper; in not separating sensibly the involved categories. IMO.)
>>>
>>>> rather
>>>> to mention the realization of such such a possibility in an actual
>>>> programming language. [...]
>>>
>>> Yes.
-- 
Jeff Barnett

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