Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
3579 articles (numbers 24 – 3985) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| Re: Semantic properties of finite string inputs --- Closure !!! | olcott <polcott333@gmail.com> | 2025-11-07 10:27 -0600 |
| Ada-Europe Conference - 2nd Call for Contributions - AEiC 2026 | dirk@orka.cs.kuleuven.be. (Dirk Craeynest) | 2025-11-20 15:31 +0000 |
| Re: Coq/Rocq and how to completely break it | Julio Di Egidio <julio@diegidio.name> | 2025-11-30 09:52 +0100 |
| Re: Coq/Rocq and how to completely break it | Julio Di Egidio <julio@diegidio.name> | 2025-11-30 10:00 +0100 |
| Re: Proof that the halting problem itself is a category error | 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: 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: 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 |
| The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-06 22:44 -0600 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-07 00:56 -0800 |
| Re: The Halting Problem asks for too much | Mikko <mikko.levanto@iki.fi> | 2026-01-07 13:49 +0200 |
| yes/no questions lacking a correct yes/no answer are incorrect questions | olcott <polcott333@gmail.com> | 2026-01-07 05:50 -0600 |
| Re: The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-07 05:54 -0600 |
| Re: is the ct-thesis cooked? | Mikko <mikko.levanto@iki.fi> | 2026-01-07 14:05 +0200 |
| 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 |
| Exactly what are deciders in the theory of computation? | olcott <polcott333@gmail.com> | 2026-01-07 15:29 -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 |
| Re: The Halting Problem asks for too much | Mikko <mikko.levanto@iki.fi> | 2026-01-08 12:22 +0200 |
| Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | olcott <polcott333@gmail.com> | 2026-01-08 08:18 -0600 |
| Re: The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-08 08:22 -0600 |
| Ada-Europe Conference - 13 Feb Journal Track Extended Deadline | dirk@orka.cs.kuleuven.be. (Dirk Craeynest) | 2026-01-08 21:23 +0000 |
| Re: The Halting Problem asks for too much | Mikko <mikko.levanto@iki.fi> | 2026-01-09 11:59 +0200 |
| Haskell Curry Foundations of Mathematical Logic sense of true in the system | olcott <polcott333@gmail.com> | 2026-01-09 09:47 -0600 |
| 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: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | Mikko <mikko.levanto@iki.fi> | 2026-01-10 11:25 +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 |
| Computation and Undecidability | olcott <polcott333@gmail.com> | 2026-01-10 17:19 -0600 |
| 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: Computation and Undecidability | 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: Computation and Undecidability | olcott <polcott333@gmail.com> | 2026-01-10 19:03 -0600 |
| 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 | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 21:03 -0500 |
| Re: The Halting Problem asks for too much | 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 | olcott <polcott333@gmail.com> | 2026-01-10 20:20 -0600 |
| Re: The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-10 20:22 -0600 |
| Re: Computation and Undecidability | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 21:33 -0500 |
« Previous 1 ... 3 4 5 6 7 ... 72 Next »
csiph-web