Re: on deciding the undecidable

From	dart200 <user7160@newsgrouper.org.invalid>
Newsgroups	comp.theory
Subject	Re: on deciding the undecidable
References	(1 earlier) <10ahuuj$4t8q$1@dont-email.me> <1758232946-7160@newsgrouper.org> <10ai02q$53d6$4@dont-email.me> <1758305987-7160@newsgrouper.org> <10ak8of$2jra$1@news.muc.de>
Date	2025-09-19 19:03 +0000
Message-ID	<1758308607-7160@newsgrouper.org> (permalink)

Show all headers | View raw

Alan Mackenzie <acm@muc.de> posted:
> > .... which we could probably just not do in real world systems. so
> > this complexity can stay theoretical, with the point being to achieve
> > consensus on the matter.
> 
> A consensus to work with turing machines was reached many decades ago.

consensus is that a turing machine can compute anything which is computable,
so if i can compute the result in modern framework, than a turing machine 
should be able to as well, eh?
 
> > is this complex? yes, tho it only matters under self-referential
> > analysis, ....
> 
> That is probably untrue.

probably ain't it, chief. if u disagree, build me a provably undecidable paradox
that doesn't involve self-reference. by "self-reference" i'm including forms
which iterate/diagonalize across all the machine until the confounding
self-reference is found.

> Guess why researchers work with turing machines, which exclude all these
> irrelevant complexities whilst remaining as powerful as any computing
> machine.

the decider needs access to the full tape of the running machine, and enough
reflection to determine the machine that is running, and the particular state 
of that machine at the initialization for the current decider execution.

can this be done?

-- 
a burnt out swe investigating into why our tooling doesn't involve
basic programmatic considerations like halting analysis. 

please excuse my pseudo-pyscript,

~ nick

Thread

on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-18 21:30 +0000
  Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-18 16:52 -0500
    Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-18 22:02 +0000
      Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-18 17:11 -0500
        Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 18:19 +0000
          Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-19 13:24 -0500
            Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 18:35 +0000
              Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-19 13:47 -0500
                Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 18:53 +0000
            Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 19:14 +0000
              Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 19:22 +0000
                Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-19 15:01 -0500
              Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-19 14:59 -0500
          Re: on deciding the undecidable Alan Mackenzie <acm@muc.de> - 2025-09-19 18:51 +0000
            Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 19:03 +0000
              Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 14:57 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 20:14 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 20:16 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 15:23 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 20:41 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 20:46 +0000
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 20:57 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 22:55 +0000
                Re: Turing computable functions Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-09-20 17:48 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 17:04 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 05:09 +0000
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 20:25 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 15:31 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 20:32 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 15:38 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 20:48 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 16:58 -0500
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-19 22:11 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 17:30 -0500
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-19 22:35 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 18:07 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-20 00:24 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 19:38 -0500
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-19 21:09 -0400
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-20 02:26 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 20:40 -0500
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-19 21:47 -0400
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-20 03:03 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 21:26 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-20 07:49 +0100
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-20 04:40 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 23:49 -0500
                Re: Turing computable functions "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-09-20 09:55 +0200
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 07:40 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-20 17:01 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 12:08 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-20 20:40 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 22:59 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 06:50 +0000
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-20 07:19 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 07:22 -0500
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-20 13:02 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 08:10 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 23:00 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 18:11 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-20 01:08 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 02:12 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 21:39 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 03:00 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 22:21 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 05:02 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 06:52 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 15:51 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 10:56 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 22:04 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 22:10 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 17:34 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 23:03 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 18:07 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 23:25 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 18:40 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 03:17 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 23:02 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 06:16 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 22:23 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 03:24 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-20 23:04 -0500
                Olcott meets Buddha Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 05:56 +0100
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 06:28 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 05:35 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-20 21:54 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 06:21 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 05:29 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 07:06 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 07:16 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 09:19 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 08:42 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 10:24 +0100
                Re: Turing computable functions vallor <vallor@cultnix.org> - 2025-09-21 09:49 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 11:53 +0100
                Re: Turing computable functions --- Correctness Defined !!! olcott <polcott333@gmail.com> - 2025-09-21 09:02 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 14:57 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 10:23 -0500
                Re: Turing computable functions vallor <vallor@cultnix.org> - 2025-09-21 09:17 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 10:20 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 15:39 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 09:27 -0700
                Re: Turing computable functions Alan Mackenzie <acm@muc.de> - 2025-09-21 17:12 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 10:27 -0700
                Re: Turing computable functions Alan Mackenzie <acm@muc.de> - 2025-09-21 17:53 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 17:47 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-22 02:04 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 20:51 -0700
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-21 21:17 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 21:54 +0100
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 18:52 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 17:33 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-22 01:59 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 21:52 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-22 05:31 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-21 23:32 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 08:05 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 00:20 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 09:14 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 01:41 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 10:09 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 02:32 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 11:52 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 09:23 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 18:49 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 10:51 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 19:11 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 11:20 -0700
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 19:54 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 12:20 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 20:13 -0500
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-22 21:16 -0400
                Re: Turing computable functions wij <wyniijj5@gmail.com> - 2025-09-23 09:22 +0800
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 07:15 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 12:55 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 11:08 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 13:56 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 19:10 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 12:18 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 12:32 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 19:37 +0000
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 13:08 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 21:22 +0000
                Re: Turing computable functions Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-09-24 01:00 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 19:15 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 19:53 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 19:05 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 21:08 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 19:26 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 13:31 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-22 20:10 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 18:17 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 07:00 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 10:02 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 16:29 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 10:35 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 17:08 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 11:29 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 18:18 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 12:35 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 18:46 +0100
                Re: Turing computable functions Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-23 17:21 +0000
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-23 14:17 -0400
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-23 10:03 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 10:07 -0500
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 16:36 +0100
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-23 14:18 -0400
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-22 15:12 -0400
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 14:23 -0500
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 19:45 -0500
                Re: Turing computable functions vallor <vallor@cultnix.org> - 2025-09-21 09:36 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 11:33 +0100
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-21 06:33 +0000
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-21 07:54 +0100
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 21:34 -0500
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-21 21:10 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-21 23:20 -0500
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-22 16:40 -0700
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-22 04:57 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 16:16 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 14:19 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 16:44 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 14:53 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 17:04 -0500
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-22 16:46 -0700
                Re: Turing computable functions wij <wyniijj5@gmail.com> - 2025-09-23 08:04 +0800
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-22 18:50 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 21:12 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 23:29 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 21:34 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-22 23:42 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-22 21:53 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 09:16 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 10:24 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 12:43 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 11:07 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 13:22 -0500
                Re: Turing computable functions dbush <dbush.mobile@gmail.com> - 2025-09-23 14:30 -0400
                Re: Turing computable functions Richard Heathfield <rjh@cpax.org.uk> - 2025-09-23 21:51 +0100
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 11:34 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 13:49 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 12:07 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 14:24 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 12:29 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 14:45 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 12:52 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 15:03 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 13:10 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 15:15 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 13:40 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 19:31 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 19:33 -0700
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-23 19:57 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 20:49 -0700
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-23 21:06 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 21:09 -0700
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-23 22:03 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 22:06 -0500
                Re: Turing computable functions "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-23 20:19 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 20:51 -0700
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 21:02 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 23:08 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 21:25 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 23:49 -0500
                Re: Turing computable functions dart200 <user7160@newsgrouper.org.invalid> - 2025-09-23 22:04 -0700
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 15:19 -0500
                Re: Turing computable functions Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-23 21:28 +0000
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 21:51 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 18:17 -0500
                Re: Turing computable functions joes <noreply@example.org> - 2025-09-23 10:08 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 10:10 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 19:18 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 14:36 -0500
                Re: Turing computable functions Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-23 19:17 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 14:32 -0500
                Re: Turing computable functions Alan Mackenzie <acm@muc.de> - 2025-09-23 20:32 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-23 17:01 -0500
                Re: Turing computable functions Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-23 22:28 +0000
                Re: Turing computable functions olcott <polcott333@gmail.com> - 2025-09-19 22:35 -0500
              Re: on deciding the undecidable Alan Mackenzie <acm@muc.de> - 2025-09-20 13:05 +0000
                Re: on deciding the undecidable Andy Walker <anw@cuboid.co.uk> - 2025-09-20 23:26 +0100
                Re: on deciding the undecidable Alan Mackenzie <acm@muc.de> - 2025-09-21 11:46 +0000
  Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-18 21:59 +0000
    Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-18 23:03 +0000
      Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 01:43 +0000
        Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 01:55 +0000
          Re: on deciding the undecidable olcott <polcott333@gmail.com> - 2025-09-18 20:59 -0500
          Re: on deciding the undecidable Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-19 02:44 +0000
            Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 06:33 +0000
  Re: on deciding the undecidable Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-09-19 04:55 +0000
    Re: on deciding the undecidable dart200 <user7160@newsgrouper.org.invalid> - 2025-09-19 06:08 +0000

csiph-web