Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #129289
| From | dart200 <user7160@newsgrouper.org.invalid> |
|---|---|
| Newsgroups | comp.theory |
| Subject | on deciding the undecidable |
| Date | 2025-09-18 21:30 +0000 |
| Message-ID | <1758231000-7160@newsgrouper.org> (permalink) |
you know what really cranks my gears? engaging with olcott has been a
huge mixed bag... but to those who have been engaging with him for so long,
let me inform you of some differences between me and him:
1) i agree that with the conventional specification of the halting decider, the
halting problem with undecidable. we need something more than the conventional
specification to resolve the halting problem. specifically: a way for the
halting decider to deal with paradoxical input programs.
2) my resolution applies directly to turing's paper. i'm not working (entirely)
off the halting paradox as stated by martin davis. i can respond to both the problem
as stated by davis (the halting paradox) and the original form stated by turing
(the "satisfactory" paradox).
so what is my resolution? *context-sensitive deciders* you can formulate this via
either 3-value or a pair of 2 value deciders, but you need context-sensitivity in
both to deal with paradoxical input machines, and still remain able to convey
the truth of the matter where such truth actually remains relevant.
what is context-sensitivity? all this means it takes into account /where/ the
decider is being called as well as /what/ the input is.
why do this? essentially this allows the decider to refusing confirming a truth
in a location which would make that truth untrue. in the 2-value case,
we split up the halting question into a pair of deciders each only responsible for
one of the opposing truths. halts() is only responsible for returning /true/ when the
input halts, and loops() is only responsible for returning /true/ when the input
machine does not halt. in both cases, /false/ just indicates a /true/ return
is not possible, it doesn't indicate truth for the opposite behavior.
take your classic halting paradox:
0 und = () -> {
1 if ( halts(und) )
2 loop_forever()
3 else
4 return
5 }
6
7 main = () -> {
8 print halts(und)
9 }
what context-sensitivity does is allow halts(und)@L1 to determine where it is
running, and recognize that if it returns /true/ then und() would loop forever,
contradicting it's /true/ return, which halts() has to avoid by specification.
but halts() is not responsible for ensuring the consistency of it's /false/ return,
it is free to return /false/ causing und() to halt.
so if halts(und) -> /false/ to ensure consistency, then how do we ever get access
to the correct information that und() does actually halt? well, due to its ability
to analyze, and therefore respond, based on context, it can return different
values to different contexts ... so when halts(und)@L8 is run, it can recognize
that returning /true/ won't be a contradiction, so it's free to return the objective
runtime behavior of its input und(): /true/
how tho? for a turing machine i suppose reflection needs to be added to the model
so that deciders can determine exactly where they are simulating. in a modern
computing framework everything is already in memory somewhere, so this really just
takes a fully memory dump (stack, heap, instruction cache, etc), and that should
include all the information the decider needs to determine exactly where it is
being run within the overall machine execution.
why go thru all of this? well, we've achieves two things:
1) an ability to decide on otherwise paradoxical input like und()
2) access to the truth of the matter /everywhere that truth wouldn't be made untrue/
what more can you ask of a halting decider? 🤷🤷🤷
--
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 — Next in thread | Find similar | Unroll 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