59235   

   olcott to Richard Damon   

   Re: Making all knowledge expressed in la   

   12 Feb 26 10:34:23   

   6k   

   59234   

   olcott to All   

   Making all knowledge expressed in langua   

   12 Feb 26 19:32:26   

   2k   

   59233   

   Tristan Wibberley to Richard Damon   

   Re: Making all knowledge expressed in la   

   12 Feb 26 10:25:27   

   3k   

   59232   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   11 Feb 26 12:51:27   

   2k   

   59231   

   olcott to All   

   Making all knowledge expressed in langua   

   11 Feb 26 20:17:20   

   3k   

   59230   

   olcott to Mikko   

   Making all knowledge expressed in langua   

   10 Feb 26 07:37:02   

   2k   

   59229   

   Mikko to olcott   

   Re: When halt provers are allowed to rej   

   05 Feb 26 12:45:28   

   2,049b   

   59228   

   olcott to All   

   Halting Problem and Proof Theoretic Sema   

   01 Feb 26 21:59:46   

   1k   

   59227   

   Leroy N. Soetoro to All   

   Tired of AI, people are committing to th   

   30 Jan 26 22:43:26   

   1,532b   

   59226   

   Leroy N. Soetoro to All   

   Tired of AI, people are committing to th   

   30 Jan 26 22:43:26   

   7k   

   59225   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   30 Jan 26 20:10:47   

   1k   

   59224   

   Dude to All   

   Re: is the ct-thesis cooked?   

   28 Jan 26 13:29:42   

   2k   

   59223   

   dart200 to Dude   

   Re: is the ct-thesis cooked?   

   28 Jan 26 13:37:49   

   2k   

   59222   

   Richard Damon to Chris M. Thomasson   

   Re: is the ct-thesis cooked?   

   28 Jan 26 07:23:24   

   1k   

   59221   

   dart200 to Dude   

   Re: is the ct-thesis cooked?   

   28 Jan 26 01:12:27   

   2k   

   59220   

   Chris M. Thomasson to Richard Damon   

   Re: is the ct-thesis cooked?   

   27 Jan 26 14:07:41   

   1,628b   

   59219   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? PLO (1/2)   

   27 Jan 26 00:00:20   

   7k   

   59218   

   Dude to All   

   Re: is the ct-thesis cooked?   

   27 Jan 26 13:31:21   

   1k   

   59217   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   26 Jan 26 14:29:09   

   7k   

   59216   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   26 Jan 26 11:43:39   

   7k   

   59215   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? PLO   

   26 Jan 26 11:45:58   

   4k   

   59214   

   dart200 to All   

   Re: is the ct-thesis cooked? PLO   

   26 Jan 26 01:35:45   

   3k   

   59213   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   25 Jan 26 21:56:54   

   7k   

   59212   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? PLO   

   25 Jan 26 22:50:18   

   3k   

   59211   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 20:31:23   

   5k   

   59210   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (2/2)   

   25 Jan 26 13:05:16   

   5,102b   

   59209   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   25 Jan 26 13:05:16   

   7k   

   59208   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 14:07:41   

   4k   

   59207   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   25 Jan 26 13:07:35   

   7k   

   59206   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? PLO   

   25 Jan 26 13:04:44   

   2k   

   59205   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:09:54   

   5k   

   59204   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:24:54   

   1k   

   59203   

   dart200 to olcott   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 21:45:05   

   2k   

   59202   

   Mikko to All   

   Re: a subset of Turing machines can stil   

   25 Jan 26 13:12:01   

   2k   

   59201   

   dart200 to olcott   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 20:03:15   

   3k   

   59200   

   olcott to All   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 21:42:32   

   3k   

   59199   

   olcott to All   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 22:06:22   

   2k   

   59198   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 19:03:43   

   6k   

   59197   

   dart200 to olcott   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 19:12:27   

   2k   

   59196   

   olcott to All   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 20:53:34   

   2k   

   59195   

   dart200 to olcott   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 18:38:15   

   1k   

   59194   

   olcott to Richard Damon   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 20:35:50   

   1k   

   59193   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked?   

   24 Jan 26 18:24:54   

   5k   

   59192   

   dart200 to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 18:28:58   

   3k   

   59191   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 18:05:08   

   1k   

   59190   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 19:44:52   

   3k   

   59189   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 14:38:28   

   2k   

   59188   

   olcott to All   

   Re: is the ct-thesis cooked? PLO   

   24 Jan 26 17:06:26   

   2k   

   59187   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/4)   

   24 Jan 26 14:36:45   

   7k   

   59186   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 16:31:31   

   2k   

   59185   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 14:28:28   

   4k   

   59184   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 13:25:42   

   1k   

   59183   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 11:54:38   

   6k   

   59182   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 08:49:08   

   2k   

   59181   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 09:48:04   

   1k   

   59180   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 09:44:50   

   7k   

   59179   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 08:18:34   

   1k   

   59178   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 08:21:09   

   5k   

   59177   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   24 Jan 26 09:39:00   

   5,484b   

   59176   

   Mikko to All   

   Re: a subset of Turing machines can stil   

   24 Jan 26 10:42:23   

   1k   

   59175   

   dart200 to Mikko   

   Re: a subset of Turing machines can stil   

   24 Jan 26 01:21:45   

   1k   

   59174   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 10:23:57   

   1,485b   

   59173   

   dart200 to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 08:29:32   

   1k   

   59172   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 21:05:22   

   5k   

   59171   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 20:56:58   

   4k   

   59170   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 17:50:24   

   2k   

   59169   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 19:51:50   

   3k   

   59168   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 11:14:13   

   2k   

   59167   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 18:01:21   

   2k   

   59166   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 11:24:04   

   2k   

   59165   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   23 Jan 26 11:13:37   

   2k   

   59164   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 04:19:38   

   1k   

   59163   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   22 Jan 26 19:05:39   

   3k   

   59162   

   dart200 to olcott   

   Re: a subset of Turing machines can stil   

   22 Jan 26 21:21:09   

   1k   

   59161   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   22 Jan 26 19:38:40   

   2k   

   59160   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   23 Jan 26 01:15:59   

   2k   

   59159   

   Tristan Wibberley to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   23 Jan 26 00:23:32   

   2k   

   59158   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   22 Jan 26 18:29:57   

   2k   

   59157   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   22 Jan 26 18:49:05   

   4k   

   59156   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:47:58   

   3,879b   

   59155   

   olcott to All   

   Re: a subset of Turing machines can stil   

   22 Jan 26 17:58:46   

   3,879b   

   59154   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:40:20   

   3k   

   59153   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:21:15   

   7k   

   59152   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   21 Jan 26 22:37:53   

   6k   

   59151   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   21 Jan 26 21:53:59   

   4k   

   59150   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   21 Jan 26 09:45:37   

   4k   

   59149   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 09:22:54   

   7k   

   59148   

   olcott to Tristan Wibberley   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 21:24:33   

   2k   

   59147   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 11:03:35   

   2,509b   

   59146   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 11:03:35   

   7k   

   59145   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   21 Jan 26 07:35:58   

   3k   

   59144   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 22:54:58   

   3k   

   59143   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/4)   

   20 Jan 26 17:55:22   

   7k   

   59142   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 17:33:57   

   2k   

   59141   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 23:08:00   

   2k   

   59140   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 15:39:48   

   3k   

   59139   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 15:23:08   

   2k   

   59138   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 14:00:56   

   5k   

   59137   

   Richard Damon to All   

   Re: is the ct-thesis cooked? (4/4)   

   20 Jan 26 07:59:08   

   5,367b   

   59136   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 12:35:45   

   5,367b   

   59135   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 12:35:45   

   6k   

   59134   

   olcott to Richard Damon   

   Re: "true on the basis of meaning expres   

   20 Jan 26 13:21:47   

   4k   

   59133   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   20 Jan 26 10:50:41   

   6k   

   59132   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   19 Jan 26 22:18:59   

   7k   

   59131   

   olcott to olcott   

   "true on the basis of meaning expressed    

   19 Jan 26 14:39:25   

   2k   

   59130   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   19 Jan 26 13:20:39   

   2k   

   59129   

   olcott to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   19 Jan 26 20:39:39   

   2k   

   59128   

   olcott to olcott   

   Re: "true on the basis of meaning expres   

   19 Jan 26 14:32:05   

   2k   

   59127   

   olcott to All   

   Proof of original authorship   

   19 Jan 26 10:49:24   

   2,439b   

   59126   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   19 Jan 26 10:19:34   

   7k   

   59125   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   19 Jan 26 10:35:15   

   3k   

   59124   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   19 Jan 26 08:43:01   

   6k   

   59123   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   19 Jan 26 06:49:22   

   5k   

   59122   

   Mikko to olcott   

   Re: What formal logical systems resolve    

   19 Jan 26 10:24:03   

   1k   

   59121   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   18 Jan 26 20:51:11   

   7k   

   59120   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 22:28:04   

   2k   

   59119   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked?   

   18 Jan 26 20:30:46   

   2k   

   59118   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 22:56:51   

   3k   

   59117   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 21:17:33   

   6k   

   59116   

   olcott to Python   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 21:19:54   

   1k   

   59115   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 17:41:21   

   6k   

   59114   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   18 Jan 26 13:50:48   

   7k   

   59113   

   dart200 to Tristan Wibberley   

   Re: is the ct-thesis cooked?   

   18 Jan 26 15:01:31   

   6,764b   

   59112   

   Tristan Wibberley to All   

   Re: is the ct-thesis cooked?   

   18 Jan 26 22:28:45   

   1k   

   59111   

   Tristan Wibberley to All   

   Re: is the ct-thesis cooked?   

   18 Jan 26 22:27:45   

   1k   

   59110   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 15:49:01   

   6k   

   59109   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 12:38:52   

   6k   

   59108   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   18 Jan 26 10:15:05   

   7k   

   59107   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   18 Jan 26 07:28:45   

   6k   

   59106   

   olcott to Mikko   

   Re: What formal logical systems resolve    

   18 Jan 26 07:45:37   

   5k   

   59105   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   18 Jan 26 13:27:00   

   5k   

   59104   

   Mikko to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   18 Jan 26 11:51:43   

   1k   

   59103   

   olcott to Mikko   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   18 Jan 26 06:53:52   

   4k   

   59102   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   18 Jan 26 12:09:00   

   1k   

   59101   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   17 Jan 26 22:05:25   

   7k   

   59100   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 22:38:28   

   6k   

   59099   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 21:59:25   

   6k   

   59098   

   Richard Damon to All   

   Re: is the ct-thesis cooked? (4/4)   

   17 Jan 26 22:28:39   

   6,570b   

   59097   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/4)   

   17 Jan 26 19:14:47   

   7k   

   59096   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 19:30:50   

   5k   

   59095   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 19:59:54   

   5k   

   59094   

   olcott to All   

   =?UTF-8?Q?G=C3=B6del=27s_G_has_never_act   

   17 Jan 26 15:08:22   

   2k   

   59093   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 18:49:06   

   3k   

   59092   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_nev   

   17 Jan 26 16:50:49   

   3k   

   59091   

   dart200 to Tristan Wibberley   

   Re: is the ct-thesis cooked?   

   17 Jan 26 09:47:27   

   3,229b   

   59090   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 10:11:19   

   7k   

   59089   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 10:01:20   

   7k   

   59088   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 08:47:10   

   4k   

   59087   

   Richard Damon to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 07:03:50   

   7k   

   59086   

   Tristan Wibberley to Richard Damon   

   Re: is the ct-thesis cooked?   

   17 Jan 26 12:17:11   

   1k   

   59085   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 11:53:21   

   4k   

   59084   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 12:25:29   

   7k   

   59083   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   17 Jan 26 11:46:33   

   2k   

   59082   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   16 Jan 26 23:23:01   

   7k   

   59081   

   Mikko to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 11:22:40   

   2k   

   59080   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 21:44:28   

   6k   

   59079   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 21:42:30   

   6k   

   59078   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   16 Jan 26 16:43:27   

   7k   

   59077   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:23:29   

   6k   

   59076   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:27:55   

   6,637b   

   59075   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:27:55   

   6k   

   59074   

   olcott to All   

   The essence of all Computation generical   

   16 Jan 26 18:35:03   

   4k   

   59073   

   Richard Damon to But the only "operations" that a tu   

   Re: is the ct-thesis cooked? (2/2)   

   16 Jan 26 18:21:10   

   3,653b   

   59072   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked?   

   16 Jan 26 14:21:04   

   5k   

   59071   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 16:09:54   

   6k   

   59070   

   olcott to All   

   The essence of all Computation generical   

   16 Jan 26 16:58:20   

   4k   

   59069   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 14:51:14   

   6k   

   59068   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 14:24:29   

   4k   

   59067   

   olcott to athel.cb@gmail.com   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   16 Jan 26 12:21:26   

   5k   

   59066   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 13:16:00   

   4k   

   59065   

   user12588@newsgrouper.org.invalid to All   

   =?UTF-8?Q?Re:_Closing_the_gap_of_G=C3=B6   

   16 Jan 26 18:12:37   

   4k   

   59064   

   olcott to All   

   Proof Theoretic Semantics Blocks Patholo   

   16 Jan 26 11:47:53   

   1k   

   59063   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 09:38:16   

   4k   

   59062   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 11:32:39   

   3k   

   59061   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 09:12:11   

   6k   

   59060   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 11:17:14   

   7k   

   59059   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 08:12:56   

   6k   

   59058   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked?   

   16 Jan 26 01:08:19   

   3k   

   59057   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 22:23:54   

   2k   

   59056   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 22:03:52   

   7k   

   59055   

   olcott to Richard Damon   

   Re: Systems such as PA with proof-theore   

   15 Jan 26 21:59:31   

   2k   

   59054   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 22:20:25   

   3k   

   59053   

   olcott to Tristan Wibberley   

   Re: Systems such as PA with proof-theore   

   15 Jan 26 19:18:36   

   1k   

   59052   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 17:45:29   

   1k   

   59051   

   Tristan Wibberley to olcott   

   Re: Systems such as PA with proof-theore   

   16 Jan 26 00:47:20   

   1k   

   59050   

   olcott to Tristan Wibberley   

   Systems such as PA with proof-theoretic    

   15 Jan 26 18:24:12   

   1,480b   

   59049   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 17:43:51   

   2k   

   59048   

   olcott to Mikko   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 14:37:24   

   2k   

   59047   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 17:38:26   

   7k   

   59046   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 14:30:41   

   3k   

   59045   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/4)   

   15 Jan 26 04:23:35   

   7k   

   59044   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 10:54:19   

   6,751b   

   59043   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 10:54:19   

   7k   

   59042   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:28   

   6,672b   

   59041   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:28   

   7k   

   59040   

   Tristan Wibberley to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 15:57:44   

   1k   

   59039   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:48:30   

   7k   

   59038   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 06:50:39   

   2k   

   59037   

   Richard Damon to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 06:50:41   

   1k   

   59036   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   14 Jan 26 23:30:31   

   1k   

   59035   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   15 Jan 26 12:02:12   

   1k   

   59034   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:38   

   3k   

   59033   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:26:53   

   2,691b   

   59032   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:38:51   

   6k   

   59031   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   14 Jan 26 23:27:29   

   2k   

   59030   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 22:51:56   

   1,661b   

   59029   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:32:02   

   3k   

   59028   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 19:25:13   

   6k   

   59027   

   olcott to All   

   The halting problem proof fails under op   

   14 Jan 26 18:14:25   

   2k   

   59026   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:19:57   

   6k   

   59025   

   olcott to All   

   =?UTF-8?Q?Closing_the_gap_of_G=C3=B6del_   

   14 Jan 26 15:36:14   

   6,050b   

   59024   

   olcott to olcott   

   =?UTF-8?Q?Re=3A_Closing_the_gap_of_G=C3=   

   14 Jan 26 16:11:16   

   1k   

   59023   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 11:28:31   

   6k   

   59022   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 14:55:45   

   1k   

   59021   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:39:46   

   1,132b   

   59020   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:24:29   

   1,132b   

   59019   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 14:52:27   

   1k   

   59018   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 09:40:52   

   6k   

   59017   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 11:01:56   

   2k   

   59016   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:53:30   

   2k   

   59015   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/3)   

   13 Jan 26 12:33:18   

   7k   

   59014   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 12:50:51   

   2k   

   59013   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:27:17   

   6k   

   59012   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 18:23:42   

   2k   

   59011   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:31:33   

   2k   

   59010   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:34:48   

   2,123b   

   59009   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 11:13:22   

   2k   

   59008   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 11:11:20   

   5k   

   59007   

   Tristan Wibberley to All   

   Re: is the ct-thesis cooked?   

   13 Jan 26 07:02:46   

   2k   

   59006   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked? (1/2)   

   12 Jan 26 20:21:27   

   7k   

   59005   

   Richard Damon to All   

   Re: is the ct-thesis cooked? (2/2)   

   12 Jan 26 22:16:48   

   6,720b   

   59004   

   dart200 to Richard Damon   

   Re: is the ct-thesis cooked?   

   12 Jan 26 14:09:07   

   5k   

   59003   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 08:32:20   

   2k   

   59002   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 08:29:00   

   5k   

   59001   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 12:44:51   

   4k   

   59000   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 12:51:55   

   4k   

   58999   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 08:23:00   

   4k   

   58998   

   olcott to Tristan Wibberley   

   Re: Computation and Undecidability   

   11 Jan 26 15:50:30   

   1k   

   58997   

   olcott to Tristan Wibberley   

   Re: Computation and Undecidability   

   11 Jan 26 12:12:42   

   1k   

   58996   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 08:18:11   

   5k   

   58995   

   Mikko to olcott   

   Re: Prolog formally resolves the Liar Pa   

   11 Jan 26 12:26:22   

   1k   

   58994   

   olcott to Mikko   

   Re: Prolog formally resolves the Liar Pa   

   10 Jan 26 10:11:17   

   1k   

   58993   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   10 Jan 26 11:25:01   

   2k   

   58992   

   olcott to Mikko   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   08 Jan 26 08:18:30   

   3k   

   58991   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   08 Jan 26 12:21:15   

   2k   

   58990   

   olcott to All   

   yes/no questions lacking a correct yes/n   

   07 Jan 26 05:50:14   

   5k   

   58989   

   dart200 to Oleksiy Gapotchenko   

   is the ct-thesis cooked?   

   05 Jan 26 23:47:13   

   3k   

   58988   

   olcott to Mikko   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   07 Jan 26 07:06:37   

   2k   

   58987   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   07 Jan 26 14:10:11   

   2k   

   58986   

   Mikko to All   

   Re: is the ct-thesis cooked?   

   07 Jan 26 14:05:35   

   1,612b   

   58985   

   dart200 to olcott   

   Re: is the ct-thesis cooked?   

   07 Jan 26 00:56:01   

   4k   

   58984   

   dart200 to olcott   

   Re: is the ct-thesis cooked?   

   06 Jan 26 19:03:38   

   4k   

   58983   

   olcott to All   

   Re: is the ct-thesis cooked?   

   06 Jan 26 22:33:44   

   4k   

   58982   

   olcott to All   

   Re: is the ct-thesis cooked?   

   06 Jan 26 19:26:45   

   4k   

   58981   

   olcott to Mikko   

   =?UTF-8?Q?Boiling_G=C3=B6del=27s_1931_In   

   06 Jan 26 08:02:27   

   1k   

   58980   

   Mikko to Oleksiy Gapotchenko   

   Re: Proof that the halting problem itsel   

   06 Jan 26 15:23:55   

   1,525b   

   58979   

   olcott to Oleksiy Gapotchenko   

   Re: Proof that the halting problem itsel   

   05 Jan 26 18:39:52   

   2k   

   58978   

   olcott to All   

   =?UTF-8?Q?Why_do_people_ignore_how_G=C3=   

   05 Jan 26 18:06:15   

   2,198b   

   58977   

   Oleksiy Gapotchenko to polcott   

   Re: Proof that the halting problem itsel   

   06 Jan 26 01:24:39   

   2k   

   58976   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   05 Jan 26 08:59:50   

   2k   

   58975   

   olcott to Mikko   

   =?UTF-8?Q?Re=3A_Why_do_people_ignore_the   

   05 Jan 26 08:54:07   

   2k   

   58974   

   olcott to athel.cb@gmail.com   

   Re: Computing truth values from finite s   

   05 Jan 26 08:30:57   

   1k   

   58973   

   Mikko to olcott   

   =?UTF-8?Q?Re=3A_Why_do_people_ignore_the   

   05 Jan 26 16:20:05   

   2k   

   58972   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   03 Jan 26 20:58:46   

   3k   

   58971   

   olcott to All   

   =?UTF-8?Q?Why_do_people_ignore_the_simpl   

   05 Jan 26 08:04:28   

   1k   

   58970   

   user12588@newsgrouper.org.invalid to All   

   Re: Computing truth values from finite s   

   05 Jan 26 09:14:03   

   1,264b   

   58969   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   04 Jan 26 23:30:22   

   3k   

   58968   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   04 Jan 26 18:13:01   

   6k   

   58967   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   04 Jan 26 14:45:41   

   6k   

   58966   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   04 Jan 26 14:25:55   

   7k   

   58965   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   04 Jan 26 13:56:54   

   6k   

   58964   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   04 Jan 26 12:05:09   

   4k   

   58963   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   04 Jan 26 11:59:32   

   7k   

   58962   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 21:56:12   

   7k   

   58961   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 20:53:46   

   7k   

   58960   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   03 Jan 26 20:44:30   

   2k   

   58959   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 20:42:45   

   6k   

   58958   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 19:48:06   

   6k   

   58957   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   03 Jan 26 19:51:43   

   2k   

   58956   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 18:09:40   

   2,519b   

   58955   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 18:09:40   

   6k   

   58954   

   Leroy N. Soetoro to All   

   Google AI Overviews put people at risk o   

   04 Jan 26 01:18:10   

   7k   

   58953   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   03 Jan 26 18:14:07   

   2k   

   58952   

   Thomas 'PointedEars' Lahn to Richard Damon   

   Re: Computing truth values from finite s   

   04 Jan 26 00:44:33   

   1k   

   58951   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 16:57:11   

   7k   

   58950   

   olcott to Richard Damon   

   Re: Computing truth values from finite s   

   03 Jan 26 16:59:49   

   1k   

   58949   

   olcott to All   

   Computing truth values from finite strin   

   03 Jan 26 16:15:51   

   1,222b   

   58948   

   Thomas 'PointedEars' Lahn to olcott   

   Re: Key difference between math and the    

   03 Jan 26 22:20:03   

   2k   

   58947   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 14:36:53   

   6k   

   58946   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   03 Jan 26 09:32:10   

   6k   

   58945   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   02 Jan 26 23:09:51   

   4k   

   58944   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   02 Jan 26 19:30:23   

   3k   

   58943   

   olcott to Thomas 'PointedEars' Lahn   

   Re: Key difference between math and the    

   02 Jan 26 17:17:25   

   1k   

   58942   

   olcott to Thomas 'PointedEars' Lahn   

   Re: Key difference between math and the    

   02 Jan 26 17:20:54   

   2k   

   58941   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   02 Jan 26 17:10:20   

   2k   

   58940   

   Thomas 'PointedEars' Lahn to olcott   

   Re: Key difference between math and the    

   02 Jan 26 23:30:03   

   2,506b   

   58939   

   Chris M. Thomasson to Richard Damon   

   Re: Key difference between math and the    

   02 Jan 26 11:33:36   

   1k   

   58938   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   01 Jan 26 16:05:56   

   3k   

   58937   

   olcott to All   

   Key difference between math and the phil   

   02 Jan 26 10:08:58   

   3,300b   

   58936   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   01 Jan 26 16:44:46   

   5k   

   58935   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   01 Jan 26 22:13:48   

   4,981b   

   58934   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   01 Jan 26 15:46:53   

   2k   

   58933   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   01 Jan 26 14:03:50   

   2k   

   58932   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1   

   01 Jan 26 12:08:32   

   1k   

   58931   

   olcott to Richard Damon   

   Re: Directed Acyclic Graph's with roots   

   01 Jan 26 11:59:32   

   3k   

   58930   

   olcott to All   

   =?UTF-8?Q?Boiling_G=C3=B6del=27s_1931_In   

   01 Jan 26 08:45:19   

   2,596b   

   58929   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 23:03:33   

   5k   

   58928   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 19:04:07   

   4k   

   58927   

   Jeff Barnett to Ross Finlayson   

   Re: Directed Acyclic Graph's with roots   

   01 Jan 26 01:15:57   

   2k   

   58926   

   olcott to Ross Finlayson   

   Re: Directed Acyclic Graph's with roots   

   31 Dec 25 22:59:23   

   2k   

   58925   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 20:15:21   

   4k   

   58924   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 17:08:00   

   3k   

   58923   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 18:23:03   

   3k   

   58922   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 16:42:43   

   2k   

   58921   

   olcott to Tristan Wibberley   

   Re: have we been misusing incompleteness   

   31 Dec 25 15:57:58   

   3k   

   58920   

   olcott to Richard Damon   

   Re: have we been misusing incompleteness   

   31 Dec 25 15:59:24   

   2k   

   58919   

   olcott to Pierre Asselin   

   Re: have we been misusing incompleteness   

   31 Dec 25 15:52:46   

   1k   

   58918   

   Pierre Asselin to Tristan Wibberley   

   Re: have we been misusing incompleteness   

   31 Dec 25 21:16:39   

   1,381b   

   58917   

   olcott to olcott   

   Re: The exact meaning of these exact wor   

   31 Dec 25 14:12:06   

   1k   

   58916   

   olcott to Richard Damon   

   Re: The exact meaning of these exact wor   

   31 Dec 25 10:20:26   

   2k   

   58915   

   olcott to Richard Damon   

   Re: The exact meaning of these exact wor   

   31 Dec 25 11:51:43   

   5k   

   58914   

   olcott to All   

   The exact meaning of these exact words p   

   30 Dec 25 22:21:51   

   4,920b   

   58913   

   Jeff Barnett to Richard Damon   

   Re: Directed Acyclic Graph's with roots   

   30 Dec 25 18:05:02   

   1k   

   58912   

   olcott to Jeff Barnett   

   Re: Directed Acyclic Graph's with roots   

   30 Dec 25 20:23:15   

   2k   

   58911   

   olcott to Jeff Barnett   

   Turing-machine decider properly formaliz   

   30 Dec 25 20:06:27   

   2k   

   58910   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 15:41:57   

   2k   

   58909   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 15:39:36   

   1,740b   

   58908   

   Tristan Wibberley to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 21:34:18   

   2k   

   58907   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 21:26:50   

   1k   

   58906   

   Tristan Wibberley to Bonita Montero   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 21:23:30   

   1,067b   

   58905   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 14:35:29   

   1k   

   58904   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 20:22:02   

   1k   

   58903   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 13:13:10   

   5k   

   58902   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 13:11:14   

   3k   

   58901   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 13:08:51   

   2k   

   58900   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 13:01:19   

   6k   

   58899   

   Bonita Montero to All   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 19:45:58   

   1k   

   58898   

   olcott to Bonita Montero   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 12:53:34   

   2k   

   58897   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 10:15:55   

   5k   

   58896   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 08:56:25   

   4,709b   

   58895   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   30 Dec 25 09:11:33   

   1k   

   58894   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 09:10:11   

   2k   

   58893   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 08:52:11   

   6k   

   58892   

   olcott to Tristan Wibberley   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 08:32:34   

   1k   

   58891   

   Nomen Nescio to All   

   Americans Hate AI. Which Party Will Bene   

   30 Dec 25 08:55:08   

   1k   

   58890   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   30 Dec 25 05:49:34   

   1k   

   58889   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   29 Dec 25 23:33:25   

   4k   

   58888   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   29 Dec 25 22:35:44   

   2k   

   58887   

   Tristan Wibberley to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 23:46:45   

   2,419b   

   58886   

   olcott to Richard Damon   

   =?UTF-8?Q?Re=3A_readers_are_conned_into_   

   29 Dec 25 17:28:26   

   3k   

   58885   

   olcott to All   

   Directed Acyclic Graph's with roots   

   29 Dec 25 17:07:24   

   3,449b   

   58884   

   Tristan Wibberley to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 22:35:02   

   2k   

   58883   

   Tristan Wibberley to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 20:46:28   

   1k   

   58882   

   olcott to Richard Damon   

   =?UTF-8?Q?readers_are_conned_into_believ   

   29 Dec 25 15:38:44   

   2k   

   58881   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   29 Dec 25 20:20:11   

   3k   

   58880   

   olcott to Bonita Montero   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 14:06:59   

   3,147b   

   58879   

   Bonita Montero to All   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 20:50:45   

   3,147b   

   58878   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 13:37:48   

   5k   

   58877   

   olcott to Pierre Asselin   

   Re: have we been misusing incompleteness   

   29 Dec 25 13:32:01   

   1k   

   58876   

   Tristan Wibberley to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 19:07:42   

   2k   

   58875   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 12:37:38   

   4k   

   58874   

   Richard Damon to olcott   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 13:18:38   

   3,696b   

   58873   

   Richard Damon to olcott   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 13:20:19   

   3,696b   

   58872   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 10:31:17   

   3,696b   

   58871   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 10:31:17   

   6k   

   58870   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 10:39:19   

   6,596b   

   58869   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 10:39:19   

   6k   

   58868   

   olcott to Tristan Wibberley   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 10:27:30   

   3k   

   58867   

   Richard Damon to olcott   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 11:08:03   

   2,629b   

   58866   

   Tristan Wibberley to olcott   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 16:04:37   

   2k   

   58865   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 09:48:33   

   6k   

   58864   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 09:47:29   

   6k   

   58863   

   Bonita Montero to All   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 16:08:15   

   6,431b   

   58862   

   olcott to Bonita Montero   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 09:25:25   

   6,431b   

   58861   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 09:24:01   

   5k   

   58860   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   29 Dec 25 08:55:19   

   5k   

   58859   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   28 Dec 25 22:59:57   

   4k   

   58858   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 18:40:32   

   4,373b   

   58857   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   28 Dec 25 07:49:08   

   2k   

   58856   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   28 Dec 25 18:42:52   

   3k   

   58855   

   Richard Damon to olcott   

   Re: Thought this through for 30,000 hour   

   28 Dec 25 07:00:31   

   2k   

   58854   

   olcott to Richard Damon   

   Re: Thought this through for 30,000 hour   

   27 Dec 25 22:40:18   

   1k   

   58853   

   olcott to All   

   Thought this through for 30,000 hours ov   

   27 Dec 25 18:54:33   

   1,420b   

   58852   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   27 Dec 25 18:16:10   

   5k   

   58851   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 18:38:29   

   4,821b   

   58850   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 17:32:46   

   6k   

   58849   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   27 Dec 25 17:38:33   

   1k   

   58848   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   27 Dec 25 19:22:38   

   7k   

   58847   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 16:16:02   

   7,119b   

   58846   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 16:45:57   

   2k   

   58845   

   Tristan Wibberley to olcott   

   Re: By what process can we trust the ana   

   27 Dec 25 17:24:13   

   4k   

   58844   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 11:17:57   

   2k   

   58843   

   olcott to olcott   

   Proof that the halting problem is incorr   

   27 Dec 25 10:49:53   

   2,002b   

   58842   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 10:57:01   

   6k   

   58841   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 10:13:53   

   3k   

   58840   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   27 Dec 25 09:01:29   

   2k   

   58839   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   27 Dec 25 08:06:42   

   4k   

   58838   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 22:54:40   

   2k   

   58837   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 22:54:40   

   6k   

   58836   

   olcott to Tristan Wibberley   

   Re: By what process can we trust the ana   

   26 Dec 25 22:59:37   

   1k   

   58835   

   Tristan Wibberley to olcott   

   Re: By what process can we trust the ana   

   27 Dec 25 04:50:37   

   1k   

   58834   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   26 Dec 25 23:37:18   

   1k   

   58833   

   olcott to Richard Damon   

   Re: By what process can we trust the ana   

   26 Dec 25 22:35:36   

   2k   

   58832   

   olcott to Richard Damon   

   Re: By what process can we trust the ana   

   26 Dec 25 21:52:46   

   1k   

   58831   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 21:22:59   

   2k   

   58830   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 21:22:59   

   6k   

   58829   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   26 Dec 25 22:37:12   

   3k   

   58828   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 21:48:01   

   3,264b   

   58827   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 21:48:01   

   6k   

   58826   

   olcott to All   

   By what process can we trust the analysi   

   26 Dec 25 21:19:46   

   6,642b   

   58825   

   Richard Damon to olcott   

   Re: Proof that the halting problem is in   

   26 Dec 25 22:04:56   

   1k   

   58824   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 20:38:59   

   1k   

   58823   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 20:38:59   

   6k   

   58822   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 19:17:45   

   6,596b   

   58821   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 19:17:45   

   6k   

   58820   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 10:56:45   

   3k   

   58819   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 12:07:44   

   5k   

   58818   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 11:18:57   

   4k   

   58817   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 09:20:21   

   2k   

   58816   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   26 Dec 25 07:54:14   

   3k   

   58815   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   25 Dec 25 22:51:56   

   4k   

   58814   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   25 Dec 25 21:37:47   

   4k   

   58813   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   25 Dec 25 20:20:28   

   2k   

   58812   

   olcott to Richard Damon   

   Re: Proof that the halting problem is in   

   25 Dec 25 21:12:57   

   3k   

   58811   

   olcott to All   

   Proof that the halting problem is incorr   

   25 Dec 25 17:39:26   

   3,271b   

   58810   

   olcott to olcott   

   Re: Proof that the halting problem is in   

   25 Dec 25 19:45:03   

   3,271b   

   58809   

   olcott to olcott   

   Re: Proof that the halting problem is in   

   25 Dec 25 19:17:15   

   3,271b   

   58808   

   olcott to olcott   

   Re: Proof that the halting problem is in   

   25 Dec 25 17:42:34   

   3,271b   

   58807   

   olcott to olcott   

   Re: Proof that the halting problem is in   

   25 Dec 25 18:48:02   

   3,271b   

   58806   

   Richard Damon to olcott   

   Re: The scope of computation defines its   

   24 Dec 25 21:22:53   

   3k   

   58805   

   Richard Damon to olcott   

   Re: The scope of computation defines its   

   24 Dec 25 21:22:53   

   7k   

   58804   

   Richard Damon to olcott   

   Re: The scope of computation defines its   

   24 Dec 25 21:22:53   

   7k   

   58803   

   Richard Damon to olcott   

   Re: The scope of computation defines its   

   24 Dec 25 21:22:53   

   7k   

   58802   

   Richard Damon to olcott   

   Re: The scope of computation defines its   

   24 Dec 25 21:22:53   

   7k   

   58801   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   1k   

   58800   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   7k   

   58799   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   7k   

   58798   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   7k   

   58797   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   7k   

   58796   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 17:30:57   

   6k   

   58795   

   olcott to All   

   Re: The scope of computation defines its   

   24 Dec 25 16:11:20   

   1k   

   58794   

   olcott to All   

   Categorically exhaustive reasoning   

   24 Dec 25 16:58:26   

   1,067b   

   58793   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 16:01:22   

   4k   

   58792   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 14:56:33   

   3k   

   58791   

   olcott to Richard Damon   

   Re: The scope of computation defines its   

   24 Dec 25 14:11:47   

   1k   

   58790   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 10:29:52   

   4k   

   58789   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 13:09:14   

   2k   

   58788   

   olcott to All   

   The scope of computation defines its tru   

   24 Dec 25 13:20:16   

   1,702b   

   58787   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 12:41:14   

   5k   

   58786   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 12:41:14   

   6k   

   58785   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 13:04:33   

   4k   

   58784   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 11:36:22   

   3k   

   58783   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 11:36:22   

   7k   

   58782   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 12:13:03   

   2k   

   58781   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 10:41:11   

   5k   

   58780   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 10:59:13   

   7k   

   58779   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 09:22:16   

   3k   

   58778   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 09:22:16   

   6k   

   58777   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 09:49:52   

   6k   

   58776   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 09:49:52   

   6k   

   58775   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 07:12:17   

   3k   

   58774   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 22:44:08   

   2k   

   58773   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 22:44:08   

   7k   

   58772   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 10:12:19   

   3k   

   58771   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 08:48:05   

   2k   

   58770   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   24 Dec 25 08:48:05   

   6k   

   58769   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 23:09:10   

   6,651b   

   58768   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 22:02:17   

   6,651b   

   58767   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 22:02:17   

   6k   

   58766   

   Richard Damon to olcott   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 22:01:10   

   6,641b   

   58765   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 21:44:02   

   6k   

   58764   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 20:23:13   

   5k   

   58763   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 18:08:31   

   4k   

   58762   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 18:03:02   

   3k   

   58761   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 11:24:24   

   2k   

   58760   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 11:20:31   

   2k   

   58759   

   olcott to Richard Damon   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 10:32:16   

   2k   

   58758   

   olcott to olcott   

   Re: Turing-machine deciders a precise de   

   23 Dec 25 10:43:23   

   2k   

   58757   

   olcott to All   

   Turing-machine deciders a precise defini   

   23 Dec 25 09:34:19   

   1k   

   58756   

   Chris M. Thomasson to Bonita Montero   

   Re: Conventional notion of deciders   

   22 Dec 25 13:34:33   

   1k   

   58755   

   Tristan Wibberley to Richard Damon   

   Re: Conventional notion of deciders   

   22 Dec 25 20:56:28   

   2k   

   58754   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   22 Dec 25 10:31:08   

   6k   

   58753   

   olcott to Bonita Montero   

   Re: Conventional notion of deciders   

   22 Dec 25 10:30:10   

   1k   

   58752   

   Bonita Montero to All   

   Re: Conventional notion of deciders   

   22 Dec 25 16:22:12   

   1k   

   58751   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   21 Dec 25 22:24:33   

   6k   

   58750   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 22:26:02   

   3k   

   58749   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 21:22:46   

   3k   

   58748   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   21 Dec 25 21:19:40   

   6k   

   58747   

   olcott to Python   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 20:57:30   

   2k   

   58746   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   21 Dec 25 20:38:33   

   5k   

   58745   

   olcott to Mr Flibble   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 20:08:07   

   2k   

   58744   

   Mr Flibble to olcott   

   Re: D correctly simulated by H proved fo   

   22 Dec 25 01:35:56   

   1,682b   

   58743   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:53:31   

   3k   

   58742   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:57:30   

   3k   

   58741   

   olcott to Python   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:38:36   

   2k   

   58740   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:33:39   

   2k   

   58739   

   olcott to Python   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:00:39   

   2k   

   58738   

   olcott to Richard Damon   

   Re: D correctly simulated by H proved fo   

   21 Dec 25 18:15:07   

   2k   

   58737   

   olcott to Bonita Montero   

   Re: Conventional notion of deciders   

   21 Dec 25 16:36:08   

   1k   

   58736   

   Chris M. Thomasson to Bonita Montero   

   Re: Conventional notion of deciders   

   21 Dec 25 12:18:43   

   1,063b   

   58735   

   Bonita Montero to All   

   Re: Conventional notion of deciders   

   21 Dec 25 19:34:15   

   1,063b   

   58734   

   Richard Damon to olcott   

   Re: The fundamental nature of computatio   

   21 Dec 25 12:38:38   

   1,063b   

   58733   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   21 Dec 25 09:16:43   

   4k   

   58732   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   21 Dec 25 08:49:26   

   6k   

   58731   

   olcott to Richard Damon   

   Re: The fundamental nature of computatio   

   21 Dec 25 08:57:24   

   6k   

   58730   

   olcott to All   

   Conventional notion of deciders   

   21 Dec 25 08:37:22   

   6,027b   

   58729   

   Mikko to olcott   

   Re: How do halt deciders really work? --   

   21 Dec 25 12:38:31   

   6,027b   

   58728   

   olcott to Tristan Wibberley   

   The fundamental nature of computational    

   20 Dec 25 20:33:18   

   4k   

   58727   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 17:56:00   

   6k   

   58726   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 17:26:31   

   5k   

   58725   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 16:55:21   

   5k   

   58724   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 16:05:51   

   3k   

   58723   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 15:36:01   

   3k   

   58722   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 14:56:31   

   2k   

   58721   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 14:19:02   

   2k   

   58720   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 13:22:22   

   1k   

   58719   

   olcott to Python   

   Re: Turing machines can not run other Tu   

   20 Dec 25 10:35:34   

   1k   

   58718   

   olcott to Richard Damon   

   Re: The most definitive measure of the b   

   20 Dec 25 08:51:08   

   5k   

   58717   

   olcott to Richard Damon   

   Re: How do halt deciders really work? --   

   20 Dec 25 08:54:42   

   1k   

   58716   

   olcott to Richard Damon   

   Re: The most definitive measure of the b   

   20 Dec 25 08:07:59   

   3k   

   58715   

   olcott to Python   

   Re: Turing machines can not run other Tu   

   20 Dec 25 07:42:23   

   3,457b   

   58714   

   olcott to Mikko   

   Re: How do halt deciders really work? --   

   20 Dec 25 07:49:55   

   3,457b   

   58713   

   olcott to Mikko   

   Re: How do halt deciders really work? --   

   20 Dec 25 05:58:23   

   3,457b   

   58712   

   olcott to All   

   Turing machines can not run other Turing   

   20 Dec 25 07:09:16   

   3,457b   

   58711   

   olcott to Mikko   

   Re: How do halt deciders really work? --   

   20 Dec 25 05:44:17   

   3,457b   

   58710   

   olcott to olcott   

   Re: How do halt deciders really work? --   

   19 Dec 25 19:49:54   

   3,457b   

   58709   

   Mikko to olcott   

   Re: How do halt deciders really work? --   

   20 Dec 25 12:07:54   

   3,457b   

   58708   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   19 Dec 25 21:21:35   

   3k   

   58707   

   olcott to All   

   How do halt deciders really work? --- AK   

   19 Dec 25 19:27:44   

   2,666b   

   58706   

   olcott to Richard Damon   

   Re: The primary first principle of all T   

   19 Dec 25 17:46:34   

   1k   

   58705   

   Tristan Wibberley to Richard Damon   

   Re: The primary first principle of all T   

   19 Dec 25 22:38:09   

   1k   

   58704   

   olcott to Richard Damon   

   Re: The primary first principle of all T