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

Groups > comp.theory > #130674

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

From Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups comp.theory, comp.lang.c++, comp.lang.c, comp.ai.philosophy
Subject Re: I corrected the very subtle error in the halting problem
Date 2025-09-26 20:35 +0000
Organization A noiseless patient Spider
Message-ID <20250926130112.166@kylheku.com> (permalink)
References (4 earlier) <10b6d30$13h5r$3@dont-email.me> <10b6h4c$13hh3$4@dont-email.me> <10b6hqn$164mh$1@dont-email.me> <20250926121612.571@kylheku.com> <10b6qp0$18q7n$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2025-09-26, olcott <polcott333@gmail.com> wrote:
> On 9/26/2025 2:28 PM, Kaz Kylheku wrote:
>> On 2025-09-26, olcott <polcott333@gmail.com> wrote:
>>> On 9/26/2025 12:05 PM, Richard Heathfield wrote:
>>>> On 26/09/2025 16:56, olcott wrote:
>>>>
>>>> <snip>
>>>>
>>>>> Two other PhD computer scientists agree with me.
>>>>
>>>> That's an attempt at an appeal to authority, but it isn't a convincing
>>>> argument. There must be many /thousands/ of Comp Sci PhDs who've studied
>>>> the Halting Problem (for the 10 minutes it takes to drink a cup of
>>>> coffee while they run the proof through their minds) and who have no
>>>> problem with it whatsoever.
>>>>
>>>
>>> And of course you can dismiss whatever they say
>>> without looking at a single word because majority
>>> consensus have never been shown to be less than
>>> totally infallible.
>> 
>> Consensus in mathematics /is/ pretty much infallible.
>> 
>
> That is like pretty much sterile.

Sometime things are sterile and that is good.  Like your surgeon's
gloves, or the interior of your next can of beans, and such.

> Generally very reliable seems apt.

You don't even know the beginning of it.

> Math and logic people will hold to views that
> are philosophically primarily because they view
> knowledge in their field to be pretty much infallible.

Formal systems are artificial inventions evolving from their axioms.
While we can't say that we know everything about a system just
because we invented its axioms, we know when we have captured an
air-tight truth.

It is not a situation in which we are relying on hypotheses,
observations and measurements, which are saddled with conditions.

You're not going to end up with a classical mechanics theory
of Turing Machine halting, distinct from a quantum and relativistic one,
in which they can't decide between loops and strings ...

The subject matter admits iron-clad conclusions that get permanently
laid to rest.

> The big mistake of logic is that it does not retain
> semantics as fully integrated into its formal expressions.
> That is how we get nutty things like the Principle of Explosion.
> https://en.wikipedia.org/wiki/Principle_of_explosion

The POE is utterly sane.

What is nutty is doing what it describe; go around assuming falsehoods
to be true and the deriving nonsense from them with the intent of
adopting a belief in all those falsehoods and the nonsense that follows.

But that, ironically, perfectly describes your own research programme,
right down to the acronym:

Principle of Explosion -> POE -> Peter Olcott Experiment

A contradiction is a piece of foreign material in a formal system.  It
is nonsensical to bring it in, and assert it as a truth; it makes no
sense to do so. Once you do, it creates contagion.

I believe that POE is closely linked to the principle we know
in the systems side of computer science: "one bad bit stops the show".
If you interfere with a correct calculation program by flipping a bit,
all bets are off.

Another face of POE in computing is GIGO: garbage in, garbage out.
Assuming a falsehood to be true is garbage in; the bogus things
you dan then prove are garbage out.

The /reduction ad absurdum/ technique usefully makes a controlled use of
a contradiction.  We introduce a contradiction and then derive from it
some other contradictions using the same logical tools that we normally
use for deriving truths from truths. We do that with the specific goal
of arriving at a proposion that we otherwise already know to be false.
At that point we drop regarding as true the entire chain, all the way
back to the initial wrong assumption.

The benefit is that the contradiction being initially assumed is not
/obviously/ a contradiction, but when we show that it derivews an
/obvious/ contradiction, we readily see that it is so.

(Note that the diagonal halting proofs do not rely on /reduction ad
absurdum/ whatsoever. They directly show that no decider can be total,
without assuming anything about it.)

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