Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #130617
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c |
| Subject | Re: I corrected the very subtle error in the halting problem |
| Date | 2025-09-26 22:43 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20250926153153.407@kylheku.com> (permalink) |
| References | (6 earlier) <10b6hqn$164mh$1@dont-email.me> <20250926121612.571@kylheku.com> <10b6qp0$18q7n$1@dont-email.me> <20250926130112.166@kylheku.com> <10b73o5$1bala$1@dont-email.me> |
Cross-posted to 2 groups.
On 2025-09-26, Janis Papanagnou <janis_papanagnou+ng@hotmail.com> wrote:
> BTW; with this link that you provided you can find your way through
>
> https://en.wikipedia.org/wiki/Russell%27s_paradox
>
> even to one of the respective quotes from Wittgenstein's "Tractatus":
>
> ''In 1923, Ludwig Wittgenstein proposed to "dispose" of Russell's
> paradox as follows:
>
> "The reason why a function cannot be its own argument is that the
> sign for a function already contains the prototype of its argument,
> and it cannot contain itself.
Wittgenstein was trying to use type to show that a function taking itself
as an argument is not well-typed and thus not well-formed.
However a function F can take as an argument another function G,
such that the definition of F relies on calling G.
For instance, if F takes a "() -> Bool" function and returns Bool, then
G can look like:
G() { return F(G) }
G can not only be passed to G, but G itself can perpetrate that
in its definition: pass itself to F.
We also know from C programming that if we have a self-referential
type definition facility we can do:
struct fn_wrap {
bool (*fn)(struct fn_wrap *pfn);
};
Then by through this type (essentially givin rise to a monad), we can
effectively achieve passing a function to itself.
bool F(struct fn_wrap *pfn)
{
...
}
struct fn_wrap fn = { F };
F(&fn);
Wittgenstein didn't think of wrapping.
However Gödel, while not having such an amazing tool of the intellect as
C declarations, did do so: he discovrered encoding as a way of smuggling
self-reference against type barriers. A formula of number theory could
be encoded into a number.
The same thing provides us with another example. If the function F has
an integer argument, and if we can find a way to encode functions into
integers, then that's another way F can be passed into F.
--
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
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