Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #139506
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | sci.logic, comp.theory, sci.math |
| Subject | Re: The Halting Problem asks for too much |
| Date | 2026-01-26 14:55 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <10l7o7k$2gtsq$1@dont-email.me> (permalink) |
| References | (26 earlier) <10ktkc0$3637s$1@dont-email.me> <10l1vit$l5o9$2@dont-email.me> <10l2kbs$runt$1@dont-email.me> <10l4ui9$1jk2e$1@dont-email.me> <10l55th$1m1ar$1@dont-email.me> |
Cross-posted to 3 groups.
On 25/01/2026 15:30, olcott wrote: > On 1/25/2026 5:24 AM, Mikko wrote: >> On 24/01/2026 16:18, olcott wrote: >>> On 1/24/2026 2:23 AM, Mikko wrote: >>>> On 22/01/2026 18:47, olcott wrote: >>>>> On 1/22/2026 2:21 AM, Mikko wrote: >>>> >>>>>> Anyway, what can be provven that way is true aboout PA. You can deny >>>>>> the proof but you cannot perform what is meta-provably impossible. >>>> >>>>> The meta-proof does not exist in the axioms of PA >>>>> and that is the reason why an external truth in >>>>> an external model cannot be proved internally in PA. >>>>> All of these years it was only a mere conflation >>>>> error. >>>> >>>> It is perfectly clear which is which. But every proof in PA is also >>>> a proof in Gödel's metatheory. >>> >>> ∀x ∈ PA ( True(PA, x) ≡ PA ⊢ x ) >>> ∀x ∈ PA ( False(PA, x) ≡ PA ⊢ ¬x ) >>> ∀x ∈ PA ( ¬WellFounded(PA, x) ≡ >>> (¬True(PA, x) ∧ (¬False(PA, x))) >> >> Those sentences don't mean anything without specificantions of a >> language and a theory that gives them some meaning. > > In other word you do not understand standard notational > conventions that define True for PA as provable from the > axioms of PA and False for PA as refutable from the axioms > of PA. There are no notational convention that defines True, False, and WellFounded with two arguments. And you did not specify in which context your sentences are true or otherwise relevant. -- Mikko
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-06 22:44 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-07 13:49 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-07 05:54 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-08 12:22 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-08 08:22 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-09 11:59 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-09 09:52 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-10 10:23 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-10 09:47 -0600
Re: The Halting Problem asks for too much Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 18:19 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-10 18:13 -0600
Re: The Halting Problem asks for too much Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 19:35 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-10 18:52 -0600
Re: The Halting Problem asks for too much Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:03 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-10 20:22 -0600
Re: The Halting Problem asks for too much Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:34 -0500
Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 21:24 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 22:32 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-11 12:13 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-11 08:18 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-12 12:44 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-12 08:29 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-12 22:19 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 19:25 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-14 22:51 -0500
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-15 15:57 +0000
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-15 10:54 -0600
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-15 11:34 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-15 22:27 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-15 22:03 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-16 11:46 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-30 20:10 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-13 11:11 +0200
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-13 14:23 +0000
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-13 08:34 -0600
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-13 18:23 +0000
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-13 12:50 -0600
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-14 14:52 +0000
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 10:24 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 10:53 +0200
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-14 14:55 +0000
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-15 11:26 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 10:39 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 10:37 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-13 08:27 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 09:40 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 11:28 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-15 11:48 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-15 17:38 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-16 11:17 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-16 08:12 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-16 11:48 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-16 09:12 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-16 11:53 -0500
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-16 12:08 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-17 12:25 +0200
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-11 14:24 +0000
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-11 08:38 -0600
Re: The Halting Problem asks for too much Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-11 12:52 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-12 12:47 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-12 08:32 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-12 22:20 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-13 11:13 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-13 08:31 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 11:01 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 13:32 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-15 11:34 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-15 14:30 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-16 11:32 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-16 09:38 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-17 11:53 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-17 08:47 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-18 13:27 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-18 07:28 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-18 12:55 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-19 10:19 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-20 12:35 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-21 11:03 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-21 09:22 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-22 10:21 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-22 10:40 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-23 11:13 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-23 04:22 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-24 10:20 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 08:01 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-25 13:19 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 07:24 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:27 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 12:33 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:40 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 13:10 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 14:57 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 14:09 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 15:47 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-22 10:47 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-24 10:23 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 08:18 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-25 13:24 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 07:30 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:31 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 13:05 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 14:59 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 14:21 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 15:54 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-26 14:55 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 09:22 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:45 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 10:58 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 12:13 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 11:28 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-27 10:17 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-27 09:32 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-28 11:54 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-28 07:49 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-29 11:12 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-29 07:57 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-30 11:34 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-30 08:35 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-31 10:41 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-31 09:23 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-02-01 12:28 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-31 10:56 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-31 09:26 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-02-01 12:17 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-27 10:15 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-27 09:29 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-28 11:45 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-27 10:05 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-27 08:48 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-28 11:40 +0200
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 09:51 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 09:44 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 12:10 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 11:54 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 14:23 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 13:25 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 14:52 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 14:38 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 17:25 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 16:31 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-24 19:52 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-24 19:44 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 13:36 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 13:09 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 14:54 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 14:07 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-25 15:44 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-25 20:31 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 11:49 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 11:23 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 13:24 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 12:43 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 16:58 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 16:08 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 17:36 -0500
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-26 16:44 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-26 21:51 -0500
"true on the basis of meaning expressed in language" olcott <NoOne@NoWhere.com> - 2026-01-26 21:28 -0600
Re: The Halting Problem asks for too much dart200 <user7160@newsgrouper.org.invalid> - 2026-01-24 18:28 -0800
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-11 12:22 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-11 08:23 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-12 12:51 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-12 08:43 -0600
Re: The Halting Problem asks for too much Richard Damon <Richard@Damon-Family.org> - 2026-01-12 22:22 -0500
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-13 10:46 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-13 08:17 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 09:58 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 13:19 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-15 11:38 +0200
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-14 11:04 +0200
Re: The Halting Problem asks for too much olcott <polcott333@gmail.com> - 2026-01-14 13:35 -0600
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-15 11:21 +0200
Re: The Halting Problem asks for too much Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-15 14:52 +0000
Re: The Halting Problem asks for too much Mikko <mikko.levanto@iki.fi> - 2026-01-16 11:21 +0200
Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 17:19 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 19:35 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 19:03 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:03 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 20:20 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:33 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 21:18 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 22:30 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 19:05 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:03 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 20:09 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 21:33 -0500
Re: Computation and Undecidability polcott <polcott333@gmail.com> - 2026-01-10 20:52 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 22:28 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 21:16 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-10 22:28 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-10 21:34 -0600
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-11 06:31 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-11 08:03 -0600
Re: Computation and Undecidability Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-01-11 14:39 +0000
Re: Computation and Undecidability Richard Damon <news.x.richarddamon@xoxy.net> - 2026-01-11 12:52 -0500
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-11 12:12 -0600
Re: Computation and Undecidability olcott <polcott333@gmail.com> - 2026-01-11 15:50 -0600
Haskell Curry Foundations of Mathematical Logic sense of true in the system olcott <polcott333@gmail.com> - 2026-01-09 09:47 -0600
csiph-web