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

Groups > comp.theory > #129441

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> <1758232946-7160@newsgrouper.org> <10ai02q$53d6$4@dont-email.me>
Date 2025-09-19 18:19 +0000
Message-ID <1758305987-7160@newsgrouper.org> (permalink)

Show all headers | View raw

olcott <polcott333@gmail.com> posted:
> On 9/18/2025 5:02 PM, dart200 wrote:
> > i'm aware you brought up 3-value deciders. but you still need
> > context-sensitivity in order access the truth of matter.
> 
> Depending on what you mean this may not be Turing computable.

context must be turing recognizable. "context" is just all the state defining the 
machine as the call into the decider is made.

in a modern computing frameworks, this is just a full memory dump of the running
machine. the stack frame, for example, can tell u exactly where you are 
in the running program, which a major consideration in how the context-sensitive
deciders return. but it's not just stack frame defining context, this can also
be variables in wrapping functions, inputs to those wrapping functions,
stuff on the heap, etc, etc. anything which can affect the runtime after
the decider's return must be considered when returning a context-sensitive
decision.

is this complex? yes, tho it only matters under self-referential analysis,
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 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