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

Groups > comp.theory > #129300

Re: on deciding the undecidable

From dart200 <user7160@newsgrouper.org.invalid>
Newsgroups comp.theory
Subject Re: on deciding the undecidable
References <1758231000-7160@newsgrouper.org> <10ahuuj$4t8q$1@dont-email.me>
Date 2025-09-18 22:02 +0000
Message-ID <1758232946-7160@newsgrouper.org> (permalink)

Show all headers | View raw

olcott <polcott333@gmail.com> posted:

> On 9/18/2025 4:30 PM, dart200 wrote:
> comp.theory has the three-valued logic aspect of this
> as one of my original proposals back in 2004.

i'm aware you brought up 3-value deciders. but you still need
context-sensitivity in order access the truth of matter.

> My simpler solution is to correct the error of the
> halting problem so that halt deciders do not violate
> the rules of deciders and thus only compute the mapping
> from their input to the semantic value that this actual
> input actually specifies.

ur simpler solution doesn't ever return the truth of the matter.

and apparently you've spent years ignoring this problem.

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

please excuse my pseudo-pyscript,

~ nick

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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