262912   

   Mild Shock to All   

   =?UTF-8?Q?Lion_and_Unicorn:_H=c3=a5kan_K   

   23 Feb 26 20:54:55   

   1k   

   262911   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   20 Feb 26 11:46:27   

   2k   

   262910   

   olcott to Richard Damon   

   Re: Making all knowledge expressed in la   

   19 Feb 26 21:34:02   

   2k   

   262909   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   19 Feb 26 05:47:10   

   2k   

   262908   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   19 Feb 26 12:06:19   

   1k   

   262907   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   18 Feb 26 13:48:20   

   1k   

   262906   

   Tristan Wibberley to Mikko   

   Re: Making all knowledge expressed in la   

   18 Feb 26 00:35:23   

   2k   

   262905   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   18 Feb 26 11:10:54   

   1k   

   262904   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   17 Feb 26 06:59:17   

   1k   

   262903   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   17 Feb 26 11:03:51   

   6k   

   262902   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   17 Feb 26 11:11:09   

   6k   

   262901   

   Mikko to Tristan Wibberley   

   Re: Making all knowledge expressed in la   

   17 Feb 26 11:16:59   

   1k   

   262900   

   Tristan Wibberley to Mikko   

   Re: Making all knowledge expressed in la   

   16 Feb 26 22:59:41   

   2k   

   262899   

   olcott to Mikko   

   Re: Making all knowledge expressed in la   

   16 Feb 26 11:03:00   

   5k   

   262898   

   olcott to Mikko   

   Re: Making all knowledge expressed in la   

   16 Feb 26 07:47:07   

   5k   

   262897   

   Mikko to Tristan Wibberley   

   Re: Making all knowledge expressed in la   

   16 Feb 26 13:31:12   

   5,604b   

   262896   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   16 Feb 26 13:25:57   

   5k   

   262895   

   polcott to Alan Mackenzie   

   Re: Making all knowledge expressed in la   

   15 Feb 26 13:39:01   

   2k   

   262894   

   Alan Mackenzie to polcott   

   Re: Making all knowledge expressed in la   

   15 Feb 26 19:54:36   

   2k   

   262893   

   polcott to Tristan Wibberley   

   Re: Making all knowledge expressed in la   

   15 Feb 26 13:06:25   

   5k   

   262892   

   Tristan Wibberley to Richard Damon   

   Re: Making all knowledge expressed in la   

   15 Feb 26 18:15:10   

   5k   

   262891   

   Tristan Wibberley to Mikko   

   Re: Making all knowledge expressed in la   

   15 Feb 26 18:08:55   

   5,448b   

   262890   

   Alan Mackenzie to tristan.wibberley+netnews2@alumni.m   

   Re: Making all knowledge expressed in la   

   15 Feb 26 19:27:48   

   1k   

   262889   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   15 Feb 26 11:18:08   

   4k   

   262888   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   15 Feb 26 07:02:19   

   5k   

   262887   

   Mikko to polcott   

   Re: Making all knowledge expressed in la   

   15 Feb 26 11:19:34   

   4k   

   262886   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   14 Feb 26 14:59:46   

   5k   

   262885   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   14 Feb 26 11:14:03   

   4k   

   262884   

   polcott to Mikko   

   Re: Making all knowledge expressed in la   

   14 Feb 26 09:31:48   

   4k   

   262883   

   Mild Shock to All   

   =?UTF-8?Q?ANN:_CulotteTalk=e2=84=a2_=e2=   

   13 Feb 26 14:56:34   

   4,475b   

   262882   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   13 Feb 26 10:30:30   

   3k   

   262881   

   olcott to Mikko   

   Re: Making all knowledge expressed in la   

   13 Feb 26 07:32:25   

   4k   

   262880   

   Tristan Wibberley to Richard Damon   

   Re: Making the body of knowledge computa   

   12 Feb 26 19:04:16   

   1k   

   262879   

   olcott to All   

   Making all knowledge expressed in langua   

   12 Feb 26 19:32:26   

   2k   

   262878   

   olcott to Tristan Wibberley   

   Re: Making the body of knowledge computa   

   12 Feb 26 14:26:21   

   1k   

   262877   

   Tristan Wibberley to Alan Mackenzie   

   Re: on ignoring the undecidable   

   12 Feb 26 17:23:06   

   3k   

   262876   

   Alan Mackenzie to tristan.wibberley+netnews2@alumni.m   

   Re: on ignoring the undecidable   

   12 Feb 26 20:02:49   

   3k   

   262875   

   Tristan Wibberley to olcott   

   Re: Making the body of knowledge computa   

   12 Feb 26 19:00:31   

   1k   

   262874   

   olcott to Tristan Wibberley   

   Re: on ignoring the undecidable --- is t   

   12 Feb 26 11:41:55   

   4k   

   262873   

   olcott to Richard Damon   

   Re: Making all knowledge expressed in la   

   12 Feb 26 10:34:23   

   6k   

   262872   

   olcott to Mikko   

   Re: Making all knowledge expressed in la   

   12 Feb 26 09:48:40   

   4k   

   262871   

   Tristan Wibberley to olcott   

   Re: Making all knowledge expressed in la   

   12 Feb 26 11:01:14   

   1k   

   262870   

   olcott to Richard Damon   

   Re: Making the body of knowledge computa   

   12 Feb 26 10:06:11   

   6k   

   262869   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   12 Feb 26 10:11:51   

   3k   

   262868   

   Tristan Wibberley to Richard Damon   

   Re: Making all knowledge expressed in la   

   12 Feb 26 10:25:27   

   3k   

   262867   

   olcott to All   

   Re: Making the body of knowledge computa   

   11 Feb 26 19:09:42   

   3k   

   262866   

   olcott to All   

   Making all knowledge expressed in langua   

   11 Feb 26 20:17:20   

   3k   

   262865   

   olcott to All   

   Re: Making the body of knowledge computa   

   11 Feb 26 17:41:58   

   2k   

   262864   

   olcott to All   

   Re: Making the body of knowledge computa   

   11 Feb 26 15:27:45   

   2k   

   262863   

   olcott to Richard Damon   

   Re: Making the body of knowledge computa   

   11 Feb 26 07:08:41   

   3k   

   262862   

   olcott to Mikko   

   Re: Making all knowledge expressed in la   

   11 Feb 26 06:38:04   

   3k   

   262861   

   Mikko to olcott   

   Re: Making all knowledge expressed in la   

   11 Feb 26 12:51:27   

   2k   

   262860   

   olcott to All   

   Making the body of knowledge computable   

   10 Feb 26 22:59:24   

   1,995b   

   262859   

   olcott to Mikko   

   Making all knowledge expressed in langua   

   10 Feb 26 07:37:02   

   2k   

   262858   

   Mikko to olcott   

   Re: on ignoring the undecidable   

   10 Feb 26 11:06:02   

   2k   

   262857   

   Mikko to Tristan Wibberley   

   Re: on ignoring the undecidable   

   10 Feb 26 11:00:32   

   1,928b   

   262856   

   olcott to Mikko   

   Re: on ignoring the undecidable   

   09 Feb 26 09:36:55   

   2k   

   262855   

   olcott to Tristan Wibberley   

   Re: on ignoring the undecidable --- proo   

   09 Feb 26 19:37:21   

   1k   

   262854   

   olcott to Tristan Wibberley   

   Re: on ignoring the undecidable --- PLO   

   09 Feb 26 11:42:05   

   2k   

   262853   

   Mikko to olcott   

   Re: on ignoring the undecidable   

   09 Feb 26 16:57:23   

   1k   

   262852   

   Tristan Wibberley to Mikko   

   Re: on ignoring the undecidable   

   09 Feb 26 16:43:33   

   1k   

   262851   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   09 Feb 26 08:02:39   

   1k   

   262850   

   Tristan Wibberley to Richard Damon   

   Re: Changing the foundational basis to P   

   08 Feb 26 05:33:57   

   1k   

   262849   

   user12588@newsgrouper.org.invalid to All   

   Re: Changing the foundational basis to P   

   08 Feb 26 11:34:10   

   1k   

   262848   

   Mikko to olcott   

   Re: When halt provers are allowed to rej   

   08 Feb 26 11:06:04   

   2k   

   262847   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   07 Feb 26 23:07:03   

   4k   

   262846   

   olcott to Tristan Wibberley   

   Re: Changing the foundational basis to P   

   07 Feb 26 22:59:57   

   4,107b   

   262845   

   Tristan Wibberley to Richard Damon   

   Re: Changing the foundational basis to P   

   08 Feb 26 02:59:37   

   4,107b   

   262844   

   Tristan Wibberley to Richard Damon   

   Re: Changing the foundational basis to P   

   08 Feb 26 02:49:30   

   1k   

   262843   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   07 Feb 26 19:10:58   

   3k   

   262842   

   Tristan Wibberley to Mikko   

   Re: Changing the foundational basis to P   

   08 Feb 26 02:58:16   

   1k   

   262841   

   Tristan Wibberley to olcott   

   Re: Changing the foundational basis to P   

   08 Feb 26 02:47:49   

   1k   

   262840   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   07 Feb 26 10:46:53   

   3k   

   262839   

   olcott to Richard Damon   

   Re: on ignoring the undecidable   

   07 Feb 26 10:43:15   

   1k   

   262838   

   olcott to Richard Damon   

   Re: When halt provers are allowed to rej   

   07 Feb 26 09:08:56   

   2k   

   262837   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   07 Feb 26 09:10:00   

   2k   

   262836   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   07 Feb 26 08:22:36   

   2k   

   262835   

   olcott to Mikko   

   Re: Changing the foundational basis to P   

   07 Feb 26 07:10:28   

   1k   

   262834   

   Mikko to olcott   

   Re: When halt provers are allowed to rej   

   07 Feb 26 12:15:56   

   1k   

   262833   

   olcott to Mikko   

   Re: When halt provers are allowed to rej   

   07 Feb 26 07:08:51   

   2k   

   262832   

   Mikko to olcott   

   Re: Changing the foundational basis to P   

   07 Feb 26 12:25:05   

   1,819b   

   262831   

   Mikko to olcott   

   Re: Changing the foundational basis to P   

   07 Feb 26 11:50:13   

   1,819b   

   262830   

   olcott to Mikko   

   Re: When halt provers are allowed to rej   

   06 Feb 26 09:32:37   

   1k   

   262829   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   06 Feb 26 22:35:07   

   6k   

   262828   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   06 Feb 26 20:16:25   

   6k   

   262827   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   06 Feb 26 19:13:50   

   6k   

   262826   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   06 Feb 26 18:10:51   

   5k   

   262825   

   olcott to Richard Damon   

   Re: Changing the foundational basis to P   

   06 Feb 26 14:00:34   

   3k   

   262824   

   olcott to Mikko   

   Re: Changing the foundational basis to P   

   06 Feb 26 09:30:53   

   1k   

   262823   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   06 Feb 26 08:58:19   

   6k   

   262822   

   Richard Damon to olcott   

   Re: Proof theoretic semantics based halt   

   06 Feb 26 10:21:15   

   7k   

   262821   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 23:26:38   

   6k   

   262820   

   Mikko to olcott   

   Re: When halt provers are allowed to rej   

   06 Feb 26 11:15:10   

   1k   

   262819   

   Mikko to olcott   

   Re: Changing the foundational basis to P   

   06 Feb 26 11:01:09   

   1,150b   

   262818   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 23:42:58   

   7k   

   262817   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 21:22:05   

   7k   

   262816   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 23:01:43   

   6k   

   262815   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 20:36:36   

   7k   

   262814   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 22:31:39   

   6k   

   262813   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 20:15:23   

   7k   

   262812   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 22:08:25   

   6k   

   262811   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 19:23:50   

   7k   

   262810   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 21:11:14   

   6k   

   262809   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 18:49:58   

   7k   

   262808   

   olcott to olcott   

   Re: Changing the foundational basis to P   

   05 Feb 26 18:44:54   

   2k   

   262807   

   Mikko to olcott   

   Re: When halt provers are allowed to rej   

   05 Feb 26 12:45:28   

   2,476b   

   262806   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 14:20:17   

   6k   

   262805   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   05 Feb 26 10:06:04   

   6k   

   262804   

   olcott to All   

   Changing the foundational basis to Proof   

   05 Feb 26 10:55:56   

   2k   

   262803   

   olcott to Mikko   

   Re: When halt provers are allowed to rej   

   05 Feb 26 05:28:30   

   1k   

   262802   

   Mild Shock to olcott   

   Corr.: The Perfectly Dead Horse (Re: 202   

   05 Feb 26 09:08:00   

   2k   

   262801   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 21:04:43   

   5k   

   262800   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 18:52:52   

   5k   

   262799   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 20:50:26   

   5k   

   262798   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 18:42:56   

   4k   

   262797   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 18:00:10   

   4k   

   262796   

   Tristan Wibberley to Mild Shock   

   Re: 2026 the Year Prolog **plonked** Its   

   04 Feb 26 23:03:11   

   1k   

   262795   

   olcott to Tristan Wibberley   

   Re: 2026 the Year Prolog **plonked** Its   

   04 Feb 26 17:25:40   

   1,099b   

   262794   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 15:43:54   

   4k   

   262793   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 14:19:41   

   3k   

   262792   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 16:27:27   

   3k   

   262791   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 16:15:42   

   3k   

   262790   

   Richard Damon to olcott   

   Re: Halting Problem and Proof Theoretic    

   04 Feb 26 07:29:12   

   2,768b   

   262789   

   dart200 to olcott   

   Re: Proof theoretic semantics based halt   

   04 Feb 26 12:41:30   

   2k   

   262788   

   Mild Shock to All   

   2026 the Year Prolog **plonked** Itself    

   04 Feb 26 02:21:40   

   2,023b   

   262787   

   olcott to olcott   

   Re: Halting Problem and Proof Theoretic    

   02 Feb 26 23:41:41   

   2k   

   262786   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   02 Feb 26 09:39:34   

   5k   

   262785   

   olcott to Richard Damon   

   Re: Halting Problem and Proof Theoretic    

   02 Feb 26 07:49:21   

   2k   

   262784   

   olcott to All   

   Halting Problem and Proof Theoretic Sema   

   01 Feb 26 21:32:51   

   2k   

   262783   

   olcott to All   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 18:28:21   

   2k   

   262782   

   olcott to olcott   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 18:00:12   

   2k   

   262781   

   olcott to olcott   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 17:45:12   

   1k   

   262780   

   olcott to olcott   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 14:12:39   

   2k   

   262779   

   Tristan Wibberley to Richard Damon   

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

   01 Feb 26 20:04:09   

   2k   

   262778   

   olcott to Richard Damon   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 12:36:13   

   3k   

   262777   

   olcott to olcott   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 13:35:54   

   2k   

   262776   

   olcott to Richard Damon   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 11:35:46   

   2k   

   262775   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   01 Feb 26 09:18:03   

   2,455b   

   262774   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   01 Feb 26 09:18:03   

   7k   

   262773   

   Richard Damon to olcott   

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

   01 Feb 26 07:33:39   

   3k   

   262772   

   Mild Shock to Mild Shock   

   NVMe's are worse than a human brain (Re:   

   01 Feb 26 14:01:13   

   2k   

   262771   

   Richard Damon to olcott   

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

   01 Feb 26 07:33:42   

   3k   

   262770   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   01 Feb 26 12:28:05   

   6k   

   262769   

   Richard Damon to olcott   

   Re: Proof theoretic semantics based halt   

   01 Feb 26 07:11:22   

   2k   

   262768   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   01 Feb 26 12:17:39   

   4k   

   262767   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   31 Jan 26 09:23:51   

   6k   

   262766   

   olcott to All   

   Proof theoretic semantics based halt pro   

   31 Jan 26 11:49:45   

   1k   

   262765   

   Tristan Wibberley to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   30 Jan 26 23:39:33   

   2k   

   262764   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   30 Jan 26 20:10:47   

   1k   

   262763   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   31 Jan 26 09:26:43   

   4k   

   262762   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   31 Jan 26 10:56:22   

   4k   

   262761   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   31 Jan 26 01:47:22   

   1k   

   262760   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   31 Jan 26 10:41:30   

   5k   

   262759   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   30 Jan 26 08:35:02   

   4k   

   262758   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   30 Jan 26 11:34:10   

   4k   

   262757   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   29 Jan 26 07:57:29   

   4k   

   262756   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   29 Jan 26 11:12:05   

   3k   

   262755   

   Tristan Wibberley to Richard Damon   

   Re: The Halting Problem asks for too muc   

   29 Jan 26 04:39:08   

   1k   

   262754   

   olcott to Tristan Wibberley   

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

   28 Jan 26 20:10:34   

   1,057b   

   262753   

   olcott to Tristan Wibberley   

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

   28 Jan 26 12:17:32   

   2k   

   262752   

   olcott to Tristan Wibberley   

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

   28 Jan 26 12:08:43   

   2k   

   262751   

   Tristan Wibberley to olcott   

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

   28 Jan 26 23:59:00   

   2,257b   

   262750   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   28 Jan 26 11:40:26   

   2k   

   262749   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   28 Jan 26 07:49:31   

   4k   

   262748   

   Tristan Wibberley to olcott   

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

   28 Jan 26 16:34:29   

   2k   

   262747   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   28 Jan 26 11:54:17   

   3k   

   262746   

   Tristan Wibberley to Richard Damon   

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

   28 Jan 26 16:21:42   

   2k   

   262745   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   28 Jan 26 11:45:09   

   3k   

   262744   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 09:32:42   

   3k   

   262743   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 08:48:53   

   2k   

   262742   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 10:17:08   

   2k   

   262741   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 09:29:23   

   4k   

   262740   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 10:05:05   

   2k   

   262739   

   Mikko to Richard Damon   

   Re: The Halting Problem asks for too muc   

   27 Jan 26 10:15:32   

   3k   

   262738   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   26 Jan 26 11:28:05   

   3k   

   262737   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   26 Jan 26 10:58:21   

   3k   

   262736   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   26 Jan 26 09:22:01   

   2k   

   262735   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   26 Jan 26 14:55:14   

   2k   

   262734   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 20:31:23   

   5k   

   262733   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   25 Jan 26 13:07:35   

   7k   

   262732   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 14:07:41   

   4k   

   262731   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 14:09:17   

   6k   

   262730   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:10:56   

   6k   

   262729   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 14:21:47   

   3k   

   262728   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:05:57   

   2k   

   262727   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:09:54   

   5k   

   262726   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 12:33:30   

   5k   

   262725   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 07:30:24   

   2k   

   262724   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 07:24:09   

   4k   

   262723   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:24:54   

   1k   

   262722   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   25 Jan 26 13:19:19   

   3k   

   262721   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 19:03:43   

   6k   

   262720   

   dart200 to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 18:28:58   

   3k   

   262719   

   Mikko to All   

   Re: a subset of Turing machines can stil   

   25 Jan 26 13:12:01   

   2k   

   262718   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 19:44:52   

   3k   

   262717   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 14:28:28   

   4k   

   262716   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 16:31:31   

   2k   

   262715   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 14:38:28   

   2k   

   262714   

   olcott to Richard Damon   

   Re: Well-founded proof theoretic semanti   

   24 Jan 26 13:28:25   

   1k   

   262713   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 13:25:42   

   1k   

   262712   

   olcott to Richard Damon   

   Re: Well-founded proof theoretic semanti   

   24 Jan 26 13:26:59   

   1k   

   262711   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 11:54:38   

   6k   

   262710   

   olcott to Richard Damon   

   Re: Well-founded proof theoretic semanti   

   24 Jan 26 11:56:42   

   1k   

   262709   

   olcott to olcott   

   Re: Well-founded proof theoretic semanti   

   24 Jan 26 12:20:04   

   1,190b   

   262708   

   Bonita Montero to All   

   Re: Well-founded proof theoretic semanti   

   24 Jan 26 18:17:55   

   1,190b   

   262707   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 09:44:50   

   7k   

   262706   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 09:48:04   

   1k   

   262705   

   dart200 to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 08:49:08   

   2k   

   262704   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   24 Jan 26 09:39:00   

   2,354b   

   262703   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   24 Jan 26 08:21:09   

   5k   

   262702   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 08:18:34   

   1k   

   262701   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 08:01:52   

   3k   

   262700   

   Mikko to All   

   Re: a subset of Turing machines can stil   

   24 Jan 26 10:42:23   

   1k   

   262699   

   dart200 to Mikko   

   Re: a subset of Turing machines can stil   

   24 Jan 26 01:21:45   

   1k   

   262698   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 10:23:57   

   1,494b   

   262697   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   24 Jan 26 10:20:59   

   3k   

   262696   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 20:56:58   

   4k   

   262695   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 19:51:50   

   3k   

   262694   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 21:05:22   

   5k   

   262693   

   Richard Damon to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 18:01:21   

   2k   

   262692   

   olcott to Richard Damon   

   Re: a subset of Turing machines can stil   

   23 Jan 26 17:50:24   

   2k   

   262691   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 11:24:04   

   2k   

   262690   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 11:14:13   

   2k   

   262689   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   23 Jan 26 04:22:51   

   3k   

   262688   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   23 Jan 26 11:31:29   

   2,955b   

   262687   

   dart200 to olcott   

   Re: a subset of Turing machines can stil   

   23 Jan 26 08:29:32   

   1k   

   262686   

   olcott to All   

   Re: a subset of Turing machines can stil   

   23 Jan 26 04:19:38   

   1k   

   262685   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   23 Jan 26 11:13:37   

   2k   

   262684   

   Tristan Wibberley to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   23 Jan 26 04:43:32   

   2k   

   262683   

   dart200 to olcott   

   Re: a subset of Turing machines can stil   

   22 Jan 26 21:21:09   

   1k   

   262682   

   olcott to Richard Damon   

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

   22 Jan 26 22:18:23   

   6k   

   262681   

   Richard Damon to olcott   

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

   22 Jan 26 21:51:25   

   6k   

   262680   

   olcott to Tristan Wibberley   

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

   22 Jan 26 19:38:40   

   2k   

   262679   

   Tristan Wibberley to olcott   

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

   23 Jan 26 01:15:59   

   2k   

   262678   

   olcott to Richard Damon   

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

   22 Jan 26 19:05:39   

   3k   

   262677   

   olcott to Richard Damon   

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

   22 Jan 26 18:49:05   

   4k   

   262676   

   olcott to Richard Damon   

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

   22 Jan 26 18:33:12   

   5k   

   262675   

   olcott to Tristan Wibberley   

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

   22 Jan 26 18:29:57   

   2k   

   262674   

   Tristan Wibberley to Tristan Wibberley   

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

   23 Jan 26 00:23:32   

   2k   

   262673   

   olcott to Richard Damon   

   Re: Well-founded proof theoretic semanti   

   22 Jan 26 18:15:18   

   1,640b   

   262672   

   Richard Damon to olcott   

   Re: Well-founded proof theoretic semanti   

   22 Jan 26 19:09:10   

   2k   

   262671   

   Richard Damon to olcott   

   Re: Back in 2020 I proved that Wittgenst   

   22 Jan 26 19:13:05   

   7k   

   262670   

   olcott to All   

   Re: a subset of Turing machines can stil   

   22 Jan 26 17:58:46   

   6,700b   

   262669   

   olcott to All   

   Well-founded proof theoretic semantics e   

   22 Jan 26 11:32:36   

   6,700b   

   262668   

   olcott to All   

   Well-founded proof theoretic semantics e   

   22 Jan 26 11:40:31   

   6,700b   

   262667   

   olcott to All   

   Well-founded proof theoretic semantics e   

   22 Jan 26 11:25:34   

   6,700b   

   262666   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:47:58   

   6,700b   

   262665   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:40:20   

   3k   

   262664   

   olcott to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   22 Jan 26 10:43:24   

   6k   

   262663   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 12:40:35   

   1k   

   262662   

   olcott to Python   

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

   21 Jan 26 23:18:20   

   5k   

   262661   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:21:15   

   7k   

   262660   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   22 Jan 26 10:30:12   

   1k   

   262659   

   Richard Damon to olcott   

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

   21 Jan 26 22:37:53   

   6k   

   262658   

   olcott to Richard Damon   

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

   21 Jan 26 21:53:59   

   4k   

   262657   

   Mild Shock to Mild Shock   

   Magic square of squares [Richard Guy] (R   

   22 Jan 26 01:41:30   

   2k   

   262656   

   olcott to Tristan Wibberley   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 21:24:33   

   2k   

   262655   

   Moebius to All   

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

   22 Jan 26 02:23:06   

   2,518b   

   262654   

   Tristan Wibberley to Mikko   

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

   21 Jan 26 20:56:23   

   1k   

   262653   

   olcott to Richard Damon   

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

   21 Jan 26 09:45:37   

   4k   

   262652   

   Tristan Wibberley to olcott   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 20:29:41   

   2k   

   262651   

   olcott to Tristan Wibberley   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 14:14:47   

   1k   

   262650   

   olcott to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 09:14:42   

   6k   

   262649   

   Tristan Wibberley to olcott   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 19:02:42   

   1k   

   262648   

   Tristan Wibberley to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 18:55:51   

   1k   

   262647   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 09:22:54   

   7k   

   262646   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 13:46:02   

   1k   

   262645   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 11:03:35   

   1,456b   

   262644   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   21 Jan 26 11:03:35   

   7k   

   262643   

   Richard Damon to olcott   

   Re: Back in 2020 I proved that Wittgenst   

   21 Jan 26 07:38:37   

   4k   

   262642   

   Richard Damon to olcott   

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

   21 Jan 26 07:35:58   

   3k   

   262641   

   olcott to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   20 Jan 26 22:49:21   

   4k   

   262640   

   olcott to Richard Damon   

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

   20 Jan 26 22:54:58   

   3k   

   262639   

   olcott to Tristan Wibberley   

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

   20 Jan 26 17:33:57   

   2k   

   262638   

   Tristan Wibberley to olcott   

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

   20 Jan 26 23:08:00   

   2k   

   262637   

   olcott to Richard Damon   

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

   20 Jan 26 15:39:48   

   3k   

   262636   

   olcott to Richard Damon   

   Re: "true on the basis of meaning expres   

   20 Jan 26 13:21:47   

   4k   

   262635   

   olcott to Richard Damon   

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

   20 Jan 26 15:23:08   

   2k   

   262634   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 12:35:45   

   2,361b   

   262633   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 12:35:45   

   6k   

   262632   

   olcott to Richard Damon   

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

   20 Jan 26 14:00:56   

   5k   

   262631   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 11:58:50   

   6k   

   262630   

   olcott to Richard Damon   

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

   20 Jan 26 10:50:41   

   6k   

   262629   

   olcott to Richard Damon   

   Re: Back in 2020 I proved that Wittgenst   

   20 Jan 26 12:13:19   

   4k   

   262628   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   20 Jan 26 11:48:41   

   3,753b   

   262627   

   olcott to olcott   

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

   19 Jan 26 20:39:39   

   2k   

   262626   

   Mild Shock to All   

   Die Geschichte von Ludwig XIV [AI is not   

   19 Jan 26 23:03:57   

   2,301b   

   262625   

   olcott to olcott   

   Re: "true on the basis of meaning expres   

   19 Jan 26 14:32:05   

   2k   

   262624   

   olcott to olcott   

   "true on the basis of meaning expressed    

   19 Jan 26 14:39:25   

   2k   

   262623   

   olcott to Tristan Wibberley   

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

   19 Jan 26 13:20:39   

   2k   

   262622   

   olcott to All   

   Proof of original authorship   

   19 Jan 26 10:49:24   

   2,494b   

   262621   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   19 Jan 26 09:03:39   

   6k   

   262620   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   19 Jan 26 15:00:39   

   1k   

   262619   

   olcott to Richard Damon   

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

   19 Jan 26 08:43:01   

   6k   

   262618   

   Tristan Wibberley to Richard Damon   

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

   19 Jan 26 13:58:24   

   2k   

   262617   

   Richard Damon to olcott   

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

   19 Jan 26 06:49:22   

   5k   

   262616   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   19 Jan 26 10:19:34   

   7k   

   262615   

   Mikko to olcott   

   Re: What formal logical systems resolve    

   19 Jan 26 10:24:03   

   1k   

   262614   

   Mikko to olcott   

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

   19 Jan 26 10:35:15   

   3k   

   262613   

   Richard Damon to olcott   

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

   18 Jan 26 22:56:51   

   3k   

   262612   

   olcott to Richard Damon   

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

   18 Jan 26 22:28:04   

   2k   

   262611   

   olcott to Richard Damon   

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

   18 Jan 26 21:17:33   

   6k   

   262610   

   olcott to Python   

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

   18 Jan 26 21:19:54   

   1k   

   262609   

   olcott to Richard Damon   

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

   18 Jan 26 17:41:21   

   6k   

   262608   

   olcott to Richard Damon   

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

   18 Jan 26 15:49:01   

   6k   

   262607   

   olcott to Richard Damon   

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

   18 Jan 26 12:38:52   

   6k   

   262606   

   olcott to Mikko   

   Re: What formal logical systems resolve    

   18 Jan 26 07:45:37   

   5k   

   262605   

   olcott to Mikko   

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

   18 Jan 26 06:53:52   

   4k   

   262604   

   Tristan Wibberley to Richard Damon   

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

   18 Jan 26 12:44:57   

   3,754b   

   262603   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   18 Jan 26 07:28:45   

   6k   

   262602   

   Tristan Wibberley to Richard Damon   

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

   18 Jan 26 12:38:13   

   1k   

   262601   

   Tristan Wibberley to olcott   

   =?UTF-8?Q?Glossary_building_=28Was=3A_Re   

   18 Jan 26 11:53:14   

   3k   

   262600   

   Mikko to Tristan Wibberley   

   Re: Proof Theoretic Semantics Blocks Pat   

   18 Jan 26 14:06:39   

   2,593b   

   262599   

   Mikko to olcott   

   Re: What formal logical systems resolve    

   18 Jan 26 13:54:13   

   4k   

   262598   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   18 Jan 26 13:27:00   

   5k   

   262597   

   Mikko to olcott   

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

   18 Jan 26 13:18:01   

   2k   

   262596   

   Mikko to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   18 Jan 26 11:51:43   

   1k   

   262595   

   Mikko to olcott   

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

   18 Jan 26 12:09:00   

   1k   

   262594   

   olcott to Richard Damon   

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

   17 Jan 26 22:38:28   

   6k   

   262593   

   olcott to Richard Damon   

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

   17 Jan 26 21:59:25   

   6k   

   262592   

   olcott to Richard Damon   

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

   17 Jan 26 19:59:54   

   5k   

   262591   

   olcott to Richard Damon   

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

   17 Jan 26 19:30:50   

   5k   

   262590   

   olcott to Richard Damon   

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

   17 Jan 26 18:49:06   

   3k   

   262589   

   olcott to Richard Damon   

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

   17 Jan 26 16:50:49   

   3k   

   262588   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 22:21:51   

   3,238b   

   262587   

   olcott to All   

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

   17 Jan 26 15:08:22   

   2k   

   262586   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 10:11:19   

   7k   

   262585   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 10:01:20   

   7k   

   262584   

   olcott to Mikko   

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

   17 Jan 26 09:54:03   

   2k   

   262583   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 08:47:10   

   4k   

   262582   

   Richard Damon to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 07:03:50   

   7k   

   262581   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 12:25:29   

   7k   

   262580   

   Tristan Wibberley to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 10:55:11   

   1k   

   262579   

   Mikko to Tristan Wibberley   

   Re: Schematic systems   

   17 Jan 26 12:11:10   

   1,041b   

   262578   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 12:00:31   

   1,041b   

   262577   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   17 Jan 26 11:53:21   

   4k   

   262576   

   Mikko to olcott   

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

   17 Jan 26 11:46:33   

   2k   

   262575   

   Mikko to olcott   

   Re: Proof Theoretic Semantics Blocks Pat   

   17 Jan 26 11:22:40   

   2k   

   262574   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 21:44:28   

   6k   

   262573   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 21:42:30   

   6k   

   262572   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:23:29   

   6k   

   262571   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:27:55   

   6,646b   

   262570   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 19:27:55   

   6k   

   262569   

   olcott to All   

   The essence of all Computation generical   

   16 Jan 26 16:58:20   

   4k   

   262568   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 16:09:54   

   7k   

   262567   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 14:51:14   

   6k   

   262566   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 14:24:29   

   4k   

   262565   

   olcott to Richard Damon   

   Re: Proof Theoretic Semantics Blocks Pat   

   16 Jan 26 13:16:00   

   4k   

   262564   

   user12588@newsgrouper.org.invalid to All   

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

   16 Jan 26 18:12:37   

   4k   

   262563   

   olcott to athel.cb@gmail.com   

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

   16 Jan 26 12:21:26   

   5k   

   262562   

   olcott to All   

   Proof Theoretic Semantics Blocks Patholo   

   16 Jan 26 11:47:53   

   1k   

   262561   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 08:12:56   

   6k   

   262560   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 09:12:11   

   6k   

   262559   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 09:38:16   

   4k   

   262558   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 11:17:14   

   7k   

   262557   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 11:32:39   

   3k   

   262556   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   16 Jan 26 11:21:05   

   3,366b   

   262555   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 22:03:52   

   7k   

   262554   

   olcott to Richard Damon   

   Re: Systems such as PA with proof-theore   

   15 Jan 26 21:59:31   

   2k   

   262553   

   olcott to Richard Damon   

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

   15 Jan 26 22:23:54   

   2k   

   262552   

   olcott to Richard Damon   

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

   15 Jan 26 22:20:25   

   3k   

   262551   

   olcott to Tristan Wibberley   

   Systems such as PA with proof-theoretic    

   15 Jan 26 18:24:12   

   2,874b   

   262550   

   olcott to Tristan Wibberley   

   Re: Schematic systems   

   15 Jan 26 20:06:50   

   2,874b   

   262549   

   olcott to Tristan Wibberley   

   Re: Systems such as PA with proof-theore   

   15 Jan 26 19:18:36   

   1k   

   262548   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 17:38:26   

   7k   

   262547   

   Tristan Wibberley to olcott   

   Re: Systems such as PA with proof-theore   

   16 Jan 26 00:47:20   

   1k   

   262546   

   olcott to Richard Damon   

   Re: What formal logical systems resolve    

   15 Jan 26 17:40:31   

   4k   

   262545   

   olcott to Richard Damon   

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

   15 Jan 26 17:45:29   

   1k   

   262544   

   olcott to Richard Damon   

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

   15 Jan 26 17:43:51   

   2k   

   262543   

   Tristan Wibberley to All   

   Schematic systems   

   15 Jan 26 23:10:22   

   1k   

   262542   

   olcott to Mikko   

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

   15 Jan 26 14:37:24   

   2k   

   262541   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 14:30:41   

   3k   

   262540   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 15:04:28   

   1k   

   262539   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 10:54:19   

   1,070b   

   262538   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 10:54:19   

   7k   

   262537   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:28   

   6,681b   

   262536   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:28   

   7k   

   262535   

   Tristan Wibberley to Richard Damon   

   Re: What formal logical systems resolve    

   15 Jan 26 14:36:21   

   1k   

   262534   

   Tristan Wibberley to Richard Damon   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 15:57:44   

   1k   

   262533   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 14:52:09   

   1k   

   262532   

   Richard Damon to olcott   

   Re: The halting problem proof fails unde   

   15 Jan 26 06:50:36   

   2k   

   262531   

   Tristan Wibberley to Richard Damon   

   Re: What formal logical systems resolve    

   15 Jan 26 14:31:09   

   1k   

   262530   

   Tristan Wibberley to Richard Damon   

   Re: What formal logical systems resolve    

   15 Jan 26 14:30:56   

   1k   

   262529   

   Richard Damon to olcott   

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

   15 Jan 26 06:50:41   

   1k   

   262528   

   Richard Damon to olcott   

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

   15 Jan 26 06:50:39   

   2k   

   262527   

   Richard Damon to olcott   

   Re: What formal logical systems resolve    

   15 Jan 26 06:50:33   

   5k   

   262526   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:48:30   

   7k   

   262525   

   Mikko to olcott   

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

   15 Jan 26 12:02:12   

   1k   

   262524   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:38:51   

   6k   

   262523   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:34:38   

   3k   

   262522   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:26:53   

   2,700b   

   262521   

   olcott to Richard Damon   

   Re: The halting problem proof fails unde   

   14 Jan 26 23:33:05   

   2k   

   262520   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   15 Jan 26 11:21:27   

   6k   

   262519   

   olcott to Richard Damon   

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

   14 Jan 26 23:30:31   

   1k   

   262518   

   olcott to Richard Damon   

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

   14 Jan 26 23:27:29   

   2k   

   262517   

   olcott to Richard Damon   

   Re: What formal logical systems resolve    

   14 Jan 26 23:24:48   

   4k   

   262516   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 22:51:56   

   4,473b   

   262515   

   Richard Damon to olcott   

   Re: The halting problem proof fails unde   

   14 Jan 26 22:45:00   

   1k   

   262514   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 19:25:13   

   6k   

   262513   

   olcott to Tristan Wibberley   

   Re: The halting problem proof fails unde   

   14 Jan 26 18:51:35   

   6,502b   

   262512   

   Tristan Wibberley to olcott   

   Re: The halting problem proof fails unde   

   15 Jan 26 00:26:18   

   6,502b   

   262511   

   olcott to All   

   The halting problem proof fails under op   

   14 Jan 26 18:14:25   

   2k   

   262510   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:14:01   

   6k   

   262509   

   olcott to olcott   

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

   14 Jan 26 16:11:16   

   1k   

   262508   

   olcott to All   

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

   14 Jan 26 15:36:14   

   1,081b   

   262507   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:35:58   

   6k   

   262506   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:19:57   

   6k   

   262505   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 13:32:02   

   3k   

   262504   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 11:28:31   

   6k   

   262503   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 11:04:18   

   5k   

   262502   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 14:52:27   

   1k   

   262501   

   Tristan Wibberley to Mikko   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 14:55:45   

   1k   

   262500   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:24:29   

   1,141b   

   262499   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 11:01:56   

   2k   

   262498   

   Mikko to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:53:30   

   2k   

   262497   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 09:58:26   

   5k   

   262496   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 10:39:46   

   5,240b   

   262495   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   14 Jan 26 09:40:52   

   6k   

   262494   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 12:50:51   

   2k   

   262493   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 18:23:42   

   2k   

   262492   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:31:33   

   2k   

   262491   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:27:17   

   6k   

   262490   

   olcott to Richard Damon   

   Re: What formal logical systems resolve    

   13 Jan 26 12:43:24   

   3k   

   262489   

   Tristan Wibberley to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 14:31:01   

   1k   

   262488   

   olcott to Tristan Wibberley   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:34:48   

   1,256b   

   262487   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 11:11:20   

   5k   

   262486   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 08:17:53   

   6k   

   262485   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 11:13:22   

   2k   

   262484   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   13 Jan 26 10:46:37   

   5k   

   262483   

   olcott to Richard Damon   

   Re: What formal logical systems resolve    

   12 Jan 26 22:46:43   

   2k   

   262482   

   olcott to All   

   What formal logical systems resolve the    

   12 Jan 26 15:41:27   

   2k   

   262481   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 08:43:43   

   5k   

   262480   

   Mikko to olcott   

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

   12 Jan 26 13:05:02   

   4k   

   262479   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 08:29:00   

   5k   

   262478   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 08:32:20   

   2k   

   262477   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 12:44:51   

   4k   

   262476   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   12 Jan 26 12:51:55   

   4k   

   262475   

   Tristan Wibberley to olcott   

   Re: Prolog formally resolves the Liar Pa   

   12 Jan 26 06:29:34   

   2k   

   262474   

   Tristan Wibberley to olcott   

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

   12 Jan 26 06:32:33   

   1k   

   262473   

   Tristan Wibberley to olcott   

   Re: Computation and Undecidability   

   11 Jan 26 21:28:40   

   1k   

   262472   

   olcott to Tristan Wibberley   

   Re: Computation and Undecidability   

   11 Jan 26 15:50:30   

   1k   

   262471   

   olcott to Tristan Wibberley   

   Re: Computation and Undecidability   

   11 Jan 26 12:12:42   

   1k   

   262470   

   Richard Damon to Tristan Wibberley   

   Re: Computation and Undecidability   

   11 Jan 26 12:52:37   

   1k   

   262469   

   Tristan Wibberley to olcott   

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

   11 Jan 26 16:16:44   

   1k   

   262468   

   Tristan Wibberley to Richard Damon   

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

   11 Jan 26 14:49:46   

   1k   

   262467   

   Tristan Wibberley to Richard Damon   

   Re: Computation and Undecidability   

   11 Jan 26 14:39:32   

   1k   

   262466   

   olcott to Mikko   

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

   11 Jan 26 08:32:00   

   3k   

   262465   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 08:18:11   

   5k   

   262464   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 08:23:00   

   4k   

   262463   

   Mikko to olcott   

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

   11 Jan 26 12:34:32   

   3k   

   262462   

   Mikko to olcott   

   Re: Prolog formally resolves the Liar Pa   

   11 Jan 26 12:26:22   

   1k   

   262461   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 12:13:32   

   4k   

   262460   

   Tristan Wibberley to Richard Damon   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 07:09:09   

   2k   

   262459   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   11 Jan 26 12:22:02   

   3k   

   262458   

   Richard Damon to olcott   

   Re: Computation and Undecidability   

   10 Jan 26 22:32:22   

   1k   

   262457   

   olcott to Richard Damon   

   Computation and Undecidability   

   10 Jan 26 21:24:25   

   1k   

   262456   

   olcott to Richard Damon   

   Re: Computation and Undecidability (2/2)   

   10 Jan 26 21:18:28   

   1,288b   

   262455   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 21:34:41   

   7k   

   262454   

   polcott to Richard Damon   

   Re: Computation and Undecidability (2/2)   

   10 Jan 26 20:52:37   

   6,756b   

   262453   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 20:22:27   

   7k   

   262452   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 21:03:41   

   7k   

   262451   

   olcott to Richard Damon   

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

   10 Jan 26 19:59:16   

   4k   

   262450   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 18:52:47   

   4,372b   

   262449   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 18:52:47   

   7k   

   262448   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 19:35:31   

   6k   

   262447   

   Richard Damon to olcott   

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

   10 Jan 26 19:35:41   

   5k   

   262446   

   olcott to Richard Damon   

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

   10 Jan 26 18:16:23   

   4k   

   262445   

   Richard Damon to olcott   

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

   10 Jan 26 18:19:44   

   3k   

   262444   

   olcott to Richard Damon   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 18:13:46   

   5k   

   262443   

   Richard Damon to olcott   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 18:19:36   

   4k   

   262442   

   Tristan Wibberley to Mild Shock   

   Re: Failed coping with AI: Moshe Vardi (   

   10 Jan 26 17:02:56   

   1k   

   262441   

   Mild Shock to Mild Shock   

   Chad Brown's Megalodon goes LLM (Re: Goo   

   10 Jan 26 17:21:21   

   2k   

   262440   

   olcott to Mikko   

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

   10 Jan 26 10:19:51   

   3k   

   262439   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 09:47:20   

   4k   

   262438   

   olcott to Mikko   

   Re: Prolog formally resolves the Liar Pa   

   10 Jan 26 10:11:17   

   1k   

   262437   

   Mikko to olcott   

   Re: Prolog formally resolves the Liar Pa   

   10 Jan 26 11:02:47   

   1,492b   

   262436   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   10 Jan 26 10:23:14   

   3k   

   262435   

   Mikko to olcott   

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

   10 Jan 26 11:25:01   

   3k   

   262434   

   Mild Shock to Mild Shock   

   Help! An AI found a Heuristic for me (Re   

   10 Jan 26 02:40:09   

   2k   

   262433   

   Mild Shock to Mild Shock   

   A new proposal: The Gladiator Test (Re:    

   10 Jan 26 03:21:56   

   5k   

   262432   

   Mild Shock to Mild Shock   

   Failed coping with AI: Moshe Vardi (Re:    

   10 Jan 26 03:04:18   

   4k   

   262431   

   olcott to Mikko   

   Re: Prolog formally resolves the Liar Pa   

   09 Jan 26 09:53:50   

   1k   

   262430   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   09 Jan 26 09:52:01   

   2k   

   262429   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   09 Jan 26 11:59:26   

   2k   

   262428   

   olcott to Mikko   

   Haskell Curry Foundations of Mathematica   

   09 Jan 26 09:47:45   

   3k   

   262427   

   Mikko to olcott   

   Re: Prolog formally resolves the Liar Pa   

   09 Jan 26 12:03:33   

   2,636b   

   262426   

   olcott to All   

   Prolog formally resolves the Liar Parado   

   08 Jan 26 17:28:22   

   2k   

   262425   

   olcott to Mikko   

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

   08 Jan 26 08:18:30   

   3k   

   262424   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   08 Jan 26 08:22:22   

   2k   

   262423   

   Mikko to olcott   

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

   08 Jan 26 12:21:15   

   2k   

   262422   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   08 Jan 26 12:22:50   

   1k   

   262421   

   Tristan Wibberley to Jeff Barnett   

   Re: have we been misusing incompleteness   

   05 Jan 26 23:44:04   

   7k   

   262420   

   olcott to Mikko   

   Exactly what are deciders in the theory    

   07 Jan 26 15:29:42   

   3k   

   262419   

   olcott to Mikko   

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

   07 Jan 26 07:06:37   

   2k   

   262418   

   Mikko to olcott   

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

   07 Jan 26 14:10:11   

   2k   

   262417   

   olcott to Mikko   

   Re: The Halting Problem asks for too muc   

   07 Jan 26 05:54:47   

   2k   

   262416   

   Tristan Wibberley to Mikko   

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

   06 Jan 26 23:43:09   

   5k   

   262415   

   Mikko to olcott   

   Re: The Halting Problem asks for too muc   

   07 Jan 26 13:49:14   

   5,562b   

   262414   

   olcott to All   

   The Halting Problem asks for too much   

   06 Jan 26 22:44:13   

   5,562b   

   262413   

   Mikko to Tristan Wibberley   

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

   06 Jan 26 15:18:33   

   5,562b   

   262412   

   olcott to Mikko   

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

   06 Jan 26 08:02:27   

   1k   

   262411   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   06 Jan 26 08:39:31   

   2k   

   262410   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   06 Jan 26 02:26:01   

   1k   

   262409   

   Tristan Wibberley to Mikko   

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

   06 Jan 26 02:32:46   

   1k   

   262408   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   06 Jan 26 01:59:42   

   1k   

   262407   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   06 Jan 26 01:02:38   

   2k   

   262406   

   Tristan Wibberley to Jeff Barnett   

   Re: have we been misusing incompleteness   

   06 Jan 26 00:47:45   

   2k   

   262405   

   olcott to All   

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

   05 Jan 26 18:06:15   

   1,617b   

   262404   

   Mike Terry to Tristan Wibberley   

   Re: have we been misusing incompleteness   

   05 Jan 26 23:10:16   

   4k   

   262403   

   Jeff Barnett to All   

   Re: have we been misusing incompleteness   

   05 Jan 26 14:16:12   

   4,040b   

   262402   

   olcott to Mike Terry   

   Re: have we been misusing incompleteness   

   05 Jan 26 12:01:43   

   6k   

   262401   

   Mike Terry to Jeff Barnett   

   Re: have we been misusing incompleteness   

   05 Jan 26 17:04:47   

   6k   

   262400   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   05 Jan 26 08:59:50   

   2k   

   262399   

   olcott to Mikko   

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

   05 Jan 26 08:54:07   

   2k   

   262398   

   olcott to athel.cb@gmail.com   

   Re: Computing truth values from finite s   

   05 Jan 26 08:30:57   

   1k   

   262397   

   olcott to Tristan Wibberley   

   Re: have we been misusing incompleteness   

   05 Jan 26 08:22:57   

   2k   

   262396   

   Mikko to olcott   

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

   05 Jan 26 16:20:05   

   2k   

   262395   

   olcott to All   

   =?UTF-8?Q?Why_do_people_ignore_the_simpl   

   05 Jan 26 08:04:28   

   1k   

   262394   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   05 Jan 26 11:24:49   

   1k   

   262393   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   05 Jan 26 11:18:09   

   2k   

   262392   

   user12588@newsgrouper.org.invalid to All   

   Re: Computing truth values from finite s   

   05 Jan 26 09:14:03   

   1,538b   

   262391   

   Jeff Barnett to All   

   Re: have we been misusing incompleteness   

   04 Jan 26 23:53:32   

   1,538b   

   262390   

   Mild Shock to All   

   Good Morning, Vietnam! Sudoku 2026 Chall   

   05 Jan 26 12:13:19   

   1,538b   

   262389   

   Tristan Wibberley to Mike Terry   

   Re: have we been misusing incompleteness   

   05 Jan 26 08:43:54   

   4k   

   262388   

   Tristan Wibberley to olcott   

   Re: have we been misusing incompleteness   

   05 Jan 26 07:46:14   

   2k   

   262387   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   05 Jan 26 07:30:57   

   2k   

   262386   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   05 Jan 26 07:53:44   

   2k   

   262385   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   05 Jan 26 06:22:16   

   1k   

   262384   

   olcott to Richard Damon   

   Re: The ultimate foundation of [a priori   

   04 Jan 26 23:30:22   

   3k   

   262383   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness   

   05 Jan 26 05:11:10   

   2k   

   262382   

   olcott to Tristan Wibberley   

   Re: have we been misusing incompleteness   

   04 Jan 26 23:26:56   

   2,083b   

   262381   

   Tristan Wibberley to Richard Damon   

   Re: have we been misusing incompleteness