Groups | Search | Server Info | Login | Register
3579 articles, 1329 threads (numbers 24 – 3985) — flat view
| Advanced| Subject | Author | Date |
|---|---|---|
| 【SECRETS of Extreme High Income From Effortless Fun & Games】 | forecast | 2026-04-18 19:53 +0000 |
| 【How To Buy Oversold Stock Bottoms And Short Overbought Peaks】 | forecast | 2026-04-12 10:43 +0000 |
| 【Easily Achieve Job- And Income-Independence Within An Hour!】 | forecast | 2026-04-08 13:33 +0000 |
| $【260327】Switch Instantly To High Income That AI CANNOT USURP】$ | forecast | 2026-03-30 18:03 +0000 |
| $【260326】Switch Easily To High Income That AI CANNOT Displace】$ | forecast | 2026-03-27 14:15 +0000 |
| Subject: Updated To March 25, 2026 -- TraderSuccess.com Forecasts | forecast | 2026-03-27 10:06 +0000 |
| Making the body of knowledge computable (5 replies) | olcott <polcott333@gmail.com> | 2026-02-10 22:59 -0600 |
| → Re: Making the body of knowledge computable | Richard Damon <Richard@Damon-Family.org> | 2026-02-11 07:56 -0500 |
| → Re: Making the body of knowledge computable | olcott <polcott333@gmail.com> | 2026-02-11 07:08 -0600 |
| → Re: Making the body of knowledge computable | Richard Damon <Richard@Damon-Family.org> | 2026-02-12 07:29 -0500 |
| → Re: Making the body of knowledge computable | olcott <polcott333@gmail.com> | 2026-02-12 10:06 -0600 |
| → Re: Making the body of knowledge computable | Richard Damon <Richard@Damon-Family.org> | 2026-02-12 23:11 -0500 |
| Ada-Europe Conference - Extended Deadlines - AEiC 2026 | dirk@orka.cs.kuleuven.be. (Dirk Craeynest) | 2026-02-12 22:28 +0000 |
| Proof theoretic semantics based halt prover correctly rejects its input (40 replies) | olcott <polcott333@gmail.com> | 2026-01-31 11:49 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-02-01 07:11 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 11:35 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 13:31 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 12:36 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 13:48 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-04 12:41 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-04 16:15 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-04 14:19 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-04 16:27 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-04 15:43 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-04 18:00 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-04 18:42 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-04 20:50 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-04 18:52 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-04 21:04 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 10:06 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 14:20 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 18:49 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 21:11 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 19:23 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 22:08 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 20:15 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 22:31 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 20:36 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 23:01 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 21:22 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-05 23:26 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | dart200 <user7160@newsgrouper.org.invalid> | 2026-02-05 23:42 -0800 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-06 08:58 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-02-06 10:21 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 13:35 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 15:03 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 14:12 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 18:39 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 17:45 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 18:55 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 18:00 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 19:15 -0500 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | olcott <polcott333@gmail.com> | 2026-02-01 18:28 -0600 |
| → Re: Proof theoretic semantics based halt prover correctly rejects its input | Richard Damon <Richard@Damon-Family.org> | 2026-02-01 20:33 -0500 |
| Halting Problem and Proof Theoretic Semantics --- VALIDATED (17 replies) | olcott <polcott333@gmail.com> | 2026-02-01 21:32 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 06:48 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 07:49 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 18:46 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 17:55 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-02 23:11 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 22:30 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-03 07:18 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-03 09:26 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-03 21:33 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-03 20:48 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-03 22:45 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-03 22:51 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-04 07:29 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-04 08:40 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-04 21:29 -0500 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | olcott <polcott333@gmail.com> | 2026-02-02 23:41 -0600 |
| → Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED | Richard Damon <Richard@Damon-Family.org> | 2026-02-03 07:18 -0500 |
| Re: Proof that the halting problem itself is a category error (105 replies, showing first 100 — browse in flat view) | polcott <polcott333@gmail.com> | 2025-12-10 17:03 -0600 |
| → Re: Proof that the halting problem itself is a category error | wij <wyniijj5@gmail.com> | 2025-12-11 07:10 +0800 |
| → Re: Proof that the halting problem itself is a category error --- typo | polcott <polcott333@gmail.com> | 2025-12-10 17:53 -0600 |
| → Re: Proof that the halting problem itself is a category error | Oleksiy Gapotchenko <alex.s.gap@gmail.com> | 2026-01-06 01:24 +0100 |
| → Re: Proof that the halting problem itself is a category error | olcott <polcott333@gmail.com> | 2026-01-05 18:39 -0600 |
| → is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-05 23:47 -0800 |
| → Re: is the ct-thesis cooked? | olcott <polcott333@gmail.com> | 2026-01-06 19:26 -0600 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-06 19:03 -0800 |
| → Re: is the ct-thesis cooked? | olcott <polcott333@gmail.com> | 2026-01-06 22:33 -0600 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-07 00:56 -0800 |
| → yes/no questions lacking a correct yes/no answer are incorrect questions | olcott <polcott333@gmail.com> | 2026-01-07 05:50 -0600 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 07:12 -0500 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 07:06 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-12 14:09 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 22:16 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-12 20:21 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-13 07:09 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-13 12:33 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-14 22:43 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-15 04:23 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-15 22:28 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-16 01:08 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-16 11:46 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-16 14:21 -0800 |
| → The essence of all Computation generically defined | olcott <polcott333@gmail.com> | 2026-01-16 16:58 -0600 |
| → Re: The essence of all Computation generically defined | Richard Damon <Richard@Damon-Family.org> | 2026-01-16 18:21 -0500 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-16 18:21 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-16 16:43 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-16 22:24 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-16 23:23 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-17 07:33 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-17 19:14 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-17 22:28 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-17 22:05 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-18 07:05 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-18 10:15 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-18 15:56 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-18 13:50 -0800 |
| → Re: is the ct-thesis cooked? | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2026-01-18 22:27 +0000 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-18 15:01 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-18 19:28 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-18 20:30 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-20 00:29 -0500 |
| → Re: is the ct-thesis cooked? | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2026-01-18 22:28 +0000 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-18 19:28 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-18 20:51 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-20 00:29 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-19 22:18 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-20 07:59 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-20 17:55 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-24 09:44 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 14:36 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-24 19:52 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 18:24 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 13:21 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 13:05 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 17:36 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 21:56 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 11:39 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 11:43 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 17:17 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 14:29 -0800 |
| → Re: is the ct-thesis cooked? | Dude <punditster@gmail.com> | 2026-01-27 13:31 -0800 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-28 01:12 -0800 |
| → Re: is the ct-thesis cooked? | Dude <punditster@gmail.com> | 2026-01-28 13:29 -0800 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-28 13:37 -0800 |
| → Re: is the ct-thesis cooked? | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2026-01-27 14:07 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-28 07:23 -0500 |
| → Re: is the ct-thesis cooked? | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2026-01-17 12:17 +0000 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-17 08:15 -0500 |
| → Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-17 09:47 -0800 |
| → Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-17 15:31 -0500 |
| → The essence of all Computation generically defined | olcott <polcott333@gmail.com> | 2026-01-16 18:35 -0600 |
| → Re: is the ct-thesis cooked? | Mikko <mikko.levanto@iki.fi> | 2026-01-07 14:05 +0200 |
| → Exactly what are deciders in the theory of computation? | olcott <polcott333@gmail.com> | 2026-01-07 15:29 -0600 |
| → Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 17:06 -0600 |
| → Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-24 19:52 -0500 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 18:05 -0800 |
| → Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 13:23 -0500 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 13:04 -0800 |
| → Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-25 17:40 -0500 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-25 22:50 -0800 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 01:35 -0800 |
| → Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 11:43 -0500 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-26 11:45 -0800 |
| → Re: is the ct-thesis cooked? PLO | Richard Damon <Richard@Damon-Family.org> | 2026-01-26 17:28 -0500 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-27 00:00 -0800 |
| → Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 20:35 -0600 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 18:38 -0800 |
| → Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 20:53 -0600 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 19:12 -0800 |
| → Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 21:42 -0600 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 20:03 -0800 |
| → Re: is the ct-thesis cooked? PLO | olcott <polcott333@gmail.com> | 2026-01-24 22:06 -0600 |
| → Re: is the ct-thesis cooked? PLO | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-24 21:45 -0800 |
| → Re: Proof that the halting problem itself is a category error | Mikko <mikko.levanto@iki.fi> | 2026-01-06 15:23 +0200 |
| → Boiling Gödel's 1931 Incompleteness proof down to its barest essence | olcott <polcott333@gmail.com> | 2026-01-06 08:02 -0600 |
| → Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | Mikko <mikko.levanto@iki.fi> | 2026-01-07 14:10 +0200 |
| → Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | olcott <polcott333@gmail.com> | 2026-01-07 07:06 -0600 |
| → Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | Mikko <mikko.levanto@iki.fi> | 2026-01-08 12:21 +0200 |
| What formal logical systems resolve the Liar Paradox? (12 replies) | olcott <polcott333@gmail.com> | 2026-01-12 15:41 -0600 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 22:16 -0500 |
| → Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-12 22:46 -0600 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-13 07:10 -0500 |
| → Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-13 12:43 -0600 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-14 21:57 -0500 |
| → Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-14 23:24 -0600 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-15 06:50 -0500 |
| → Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-15 17:40 -0600 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-15 22:27 -0500 |
| → Re: What formal logical systems resolve the Liar Paradox? | Mikko <mikko.levanto@iki.fi> | 2026-01-18 13:54 +0200 |
| → Re: What formal logical systems resolve the Liar Paradox? | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2026-01-15 14:30 +0000 |
| → Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-15 22:27 -0500 |
| test formatting (3 replies) | olcott <polcott333@gmail.com> | 2026-01-17 14:51 -0600 |
| → Re: test formatting | olcott <polcott333@gmail.com> | 2026-01-17 14:52 -0600 |
| → Re: test formatting | olcott <polcott333@gmail.com> | 2026-01-17 14:55 -0600 |
| → Re: test formatting | olcott <polcott333@gmail.com> | 2026-01-17 14:56 -0600 |
~Page 1 of ~67 (articles 3855–3985) Older →
csiph-web