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: Computation and Undecidability | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 21:33 -0500 |
| Re: The Halting Problem asks for too much | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 21:34 -0500 |
| Re: Computation and Undecidability | olcott <polcott333@gmail.com> | 2026-01-10 21:16 -0600 |
| Re: Computation and Undecidability | olcott <polcott333@gmail.com> | 2026-01-10 21:18 -0600 |
| 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:28 -0500 |
| Re: Computation and Undecidability | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 22:30 -0500 |
| Re: Computation and Undecidability | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-10 22:32 -0500 |
| Re: Computation and Undecidability | olcott <polcott333@gmail.com> | 2026-01-10 21:34 -0600 |
| 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 | Mikko <mikko.levanto@iki.fi> | 2026-01-11 12:22 +0200 |
| 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: 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 | olcott <polcott333@gmail.com> | 2026-01-11 08:23 -0600 |
| Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | olcott <polcott333@gmail.com> | 2026-01-11 08:32 -0600 |
| Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> | 2026-01-11 16:16 +0000 |
| Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | olcott <NoOne@NoWhere.com> | 2026-01-11 21:00 -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 | Mikko <mikko.levanto@iki.fi> | 2026-01-12 12:51 +0200 |
| Re: Boiling Gödel's 1931 Incompleteness proof down to its barest essence | Mikko <mikko.levanto@iki.fi> | 2026-01-12 13:05 +0200 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 07:06 -0500 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 07:12 -0500 |
| Re: The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-12 08:43 -0600 |
| What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-12 15:41 -0600 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-12 14:09 -0800 |
| Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 22:16 -0500 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 22:16 -0500 |
| Re: The Halting Problem asks for too much | Richard Damon <Richard@Damon-Family.org> | 2026-01-12 22:22 -0500 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-12 20:21 -0800 |
| Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-12 22:46 -0600 |
| Re: The Halting Problem asks for too much | Mikko <mikko.levanto@iki.fi> | 2026-01-13 10:46 +0200 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-13 07:09 -0500 |
| Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-13 07:10 -0500 |
| Re: The Halting Problem asks for too much | olcott <polcott333@gmail.com> | 2026-01-13 08:17 -0600 |
| Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-13 12:43 -0600 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-13 12:33 -0800 |
| 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 | 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: What formal logical systems resolve the Liar Paradox? | Richard Damon <Richard@Damon-Family.org> | 2026-01-14 21:57 -0500 |
| Re: is the ct-thesis cooked? | Richard Damon <Richard@Damon-Family.org> | 2026-01-14 22:43 -0500 |
| Re: What formal logical systems resolve the Liar Paradox? | olcott <polcott333@gmail.com> | 2026-01-14 23:24 -0600 |
| Re: The Halting Problem asks for too much | Mikko <mikko.levanto@iki.fi> | 2026-01-15 11:21 +0200 |
| Re: What formal logical systems resolve the Liar Paradox? | Richard Damon <news.x.richarddamon@xoxy.net> | 2026-01-15 06:50 -0500 |
| Re: is the ct-thesis cooked? | dart200 <user7160@newsgrouper.org.invalid> | 2026-01-15 04:23 -0800 |
| 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? | 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? | Richard Damon <Richard@Damon-Family.org> | 2026-01-15 22:27 -0500 |
« Previous 1 2 3 4 5 6 ... 72 Next »
csiph-web