news.alt119.net/sci.logic    Page: (300) [Reload] [Post] [OE] [Favorites] [Ranking] [Next]
Subject From Date Size
When responding to my posts please remove cross post to the other group olcott 19/10/2024 09:20 AM 1KB
   Re: When responding to my posts please remove cross post to the other group Richard Damon 19/10/2024 10:49 AM 1KB
     Re: When responding to my posts please remove cross post to the other group olcott 19/10/2024 11:20 AM 1KB
The Heat Death of Prolog Mild Shock 17/10/2024 10:37 PM 1KB
   Alain Colmerauer Prolog Systems Price (Re: The Heat Death of Prolog) Mild Shock 17/10/2024 10:38 PM 2KB
     Decrease Entropy (Was: Alain Colmerauer Prolog Systems Price) Mild Shock 17/10/2024 10:43 PM 3KB
       Warren Abstract Machine (Re: Decrease Entropy) Mild Shock 18/10/2024 02:42 AM 4KB
A different perspective on undecidability olcott 16/10/2024 10:27 PM 1KB
   Re: A different perspective on undecidability Mikko 17/10/2024 12:37 AM 1KB
     Re: A different perspective on undecidability olcott 17/10/2024 01:31 AM 1KB
       Re: A different perspective on undecidability olcott 17/10/2024 01:55 AM 2KB
         Re: A different perspective on undecidability Richard Damon 17/10/2024 08:47 AM 2KB
         Re: A different perspective on undecidability Mikko 21/10/2024 05:22 PM 2KB
       Re: A different perspective on undecidability Mikko 21/10/2024 05:16 PM 1KB
     Re: A different perspective on undecidability olcott 17/10/2024 06:34 AM 2KB
       Re: A different perspective on undecidability Richard Damon 17/10/2024 08:47 AM 2KB
         Re: A different perspective on undecidability olcott 17/10/2024 08:51 AM 2KB
           Re: A different perspective on undecidability Richard Damon 17/10/2024 07:16 PM 3KB
         Re: A different perspective on undecidability olcott 17/10/2024 10:53 PM 2KB
           Re: A different perspective on undecidability Richard Damon 19/10/2024 07:17 AM 3KB
             Re: A different perspective on undecidability olcott 19/10/2024 07:43 AM 3KB
               Re: A different perspective on undecidability Richard Damon 19/10/2024 10:49 AM 4KB
               Re: A different perspective on undecidability Mikko 21/10/2024 05:36 PM 3KB
       Re: A different perspective on undecidability Mikko 21/10/2024 05:30 PM 2KB
     Re: A different perspective on undecidability --- incorrect question olcott 22/10/2024 10:04 AM 2KB
       Re: A different perspective on undecidability --- incorrect question Richard Damon 22/10/2024 10:48 AM 3KB
         Re: A different perspective on undecidability --- incorrect question olcott 22/10/2024 11:17 AM 3KB
           Re: A different perspective on undecidability --- incorrect question Richard Damon 22/10/2024 07:22 PM 4KB
             Re: A different perspective on undecidability --- incorrect question olcott 22/10/2024 10:56 PM 5KB
               Re: A different perspective on undecidability --- incorrect question Richard Damon 23/10/2024 11:02 AM 6KB
                 Re: A different perspective on undecidability --- incorrect question --- PROGRESS olcott 23/10/2024 09:20 PM 7KB
                   Re: A different perspective on undecidability --- incorrect question --- PROGRESS Richard Damon 24/10/2024 10:58 AM 8KB
                     Re: A different perspective on undecidability --- incorrect question --- PROGRESS olcott 24/10/2024 09:14 PM 9KB
                       Re: A different perspective on undecidability --- incorrect question --- PROGRESS Richard Damon 25/10/2024 07:44 AM 7KB
       Re: A different perspective on undecidability --- incorrect question Mikko 22/10/2024 03:39 PM 2KB
         Re: A different perspective on undecidability --- incorrect question olcott 22/10/2024 11:04 PM 3KB
           Re: A different perspective on undecidability --- incorrect question Mikko 24/10/2024 10:06 PM 3KB
             Re: A different perspective on undecidability --- incorrect question olcott 25/10/2024 12:07 AM 3KB
               Re: A different perspective on undecidability --- incorrect question Richard Damon 25/10/2024 07:46 AM 3KB
               Re: A different perspective on undecidability --- incorrect question Mikko 25/10/2024 04:14 PM 4KB
                 Re: A different perspective on undecidability --- incorrect question olcott 25/10/2024 10:37 PM 4KB
                   Re: A different perspective on undecidability --- incorrect question Richard Damon 26/10/2024 12:01 AM 6KB
                   Re: A different perspective on undecidability --- incorrect question Mikko 26/10/2024 03:52 PM 4KB
                     Re: A different perspective on undecidability --- incorrect question olcott 26/10/2024 08:59 PM 6KB
                       Re: A different perspective on undecidability --- incorrect question Richard Damon 26/10/2024 11:48 PM 7KB
                         Re: A different perspective on undecidability --- incorrect question olcott 27/10/2024 05:57 AM 5KB
                           Re: A different perspective on undecidability --- incorrect question Richard Damon 27/10/2024 09:04 AM 6KB
                             Re: A different perspective on undecidability --- incorrect question olcott 27/10/2024 09:22 AM 7KB
                               Re: A different perspective on undecidability --- incorrect question Richard Damon 27/10/2024 07:38 PM 8KB
                               The philosophy of computation reformulates existing ideas on a new basis --- olcott 27/10/2024 10:17 PM 11KB
                               Re: The philosophy of computation reformulates existing ideas on a new basis --- Richard Damon 28/10/2024 01:48 AM 16KB
                       Re: A different perspective on undecidability --- incorrect question Mikko 27/10/2024 04:27 PM 4KB
                         Re: A different perspective on undecidability --- incorrect question olcott 27/10/2024 09:29 PM 5KB
                           Re: A different perspective on undecidability --- incorrect question Richard Damon 28/10/2024 01:49 AM 5KB
                           Re: A different perspective on undecidability --- incorrect question Mikko 28/10/2024 05:08 PM 5KB
I'm Satoshi, We are all Satoshi Mild Shock 08/10/2024 09:56 AM 2KB
   Re: I'm Satoshi, We are all Satoshi olcott 08/10/2024 11:50 AM 2KB
     Re: I'm Satoshi, We are all Satoshi Mild Shock 08/10/2024 05:45 PM 1KB
       Re: I'm Satoshi, We are all Satoshi Mild Shock 08/10/2024 05:58 PM 2KB
         Re: I'm Satoshi, We are all Satoshi Mild Shock 08/10/2024 06:07 PM 3KB
     Re: I'm Satoshi, We are all Satoshi Mikko 08/10/2024 10:03 PM 2KB
   We Call Them Poor (Re: I'm Satoshi, We are all Satoshi) Mild Shock 10/10/2024 06:00 AM 3KB
Ask Marilyn , the female WM? Mild Shock 02/10/2024 06:29 AM 1KB
   12 bytes (Re: Ask Marilyn , the female WM?) Mild Shock 02/10/2024 07:12 AM 3KB
     Re: 12 bytes (Re: Ask Marilyn , the female WM?) Mild Shock 02/10/2024 11:04 PM 3KB
       Re: 12 bytes (Re: Ask Marilyn , the female WM?) Mild Shock 03/10/2024 02:21 AM 4KB
International Logic Olympiad 2024 Approaching Mild Shock 22/09/2024 10:33 PM 1KB
Enough of losers stuck in rebuttal mode olcott 22/09/2024 11:47 AM 1KB
   Re: Enough of losers stuck in rebuttal mode Richard Damon 22/09/2024 07:03 PM 1KB
   Re: Enough of losers stuck in rebuttal mode Python 23/09/2024 04:30 PM 1KB
     Re: Enough of losers stuck in rebuttal mode Mild Shock 23/09/2024 07:02 PM 1KB
       Re: Enough of losers stuck in rebuttal mode Mild Shock 23/09/2024 07:09 PM 2KB
         Re: Enough of losers stuck in rebuttal mode Mild Shock 23/09/2024 07:35 PM 2KB
         Re: Enough of losers stuck in rebuttal mode Mild Shock 23/09/2024 07:48 PM 2KB
         Re: Enough of losers stuck in rebuttal mode Mild Shock 23/09/2024 07:52 PM 3KB
{Linguistic/Empirical Distinction} (adaptation of the Analytic/Synthetic Distinction) olcott 11/09/2024 09:13 PM 2KB
{linguistic truth} is the foundation of truth in mathematical logic olcott 06/09/2024 07:41 AM 1KB
   Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 06/09/2024 08:03 PM 1KB
     Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 06/09/2024 08:13 PM 1KB
       Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 07/09/2024 04:41 PM 1KB
         Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 07/09/2024 09:19 PM 2KB
           Re: {linguistic truth} is the foundation of truth in mathematical logic Richard Damon 07/09/2024 09:40 PM 2KB
             Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 09/09/2024 09:22 PM 3KB
               Re: {linguistic truth} is the foundation of truth in mathematical logic Richard Damon 10/09/2024 10:56 AM 4KB
               Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 10/09/2024 05:20 PM 3KB
                 Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 10/09/2024 09:14 PM 3KB
                   Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 11/09/2024 03:27 PM 3KB
                     Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 11/09/2024 08:21 PM 4KB
                       Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 12/09/2024 04:24 PM 4KB
                         Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 13/09/2024 09:11 AM 5KB
                           Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 13/09/2024 04:01 PM 5KB
                             Re: {linguistic truth} is the foundation of truth in mathematical logic olcott 15/09/2024 05:18 AM 5KB
                               Re: {linguistic truth} is the foundation of truth in mathematical logic Richard Damon 15/09/2024 10:15 AM 6KB
                               Re: {linguistic truth} is the foundation of truth in mathematical logic Mikko 15/09/2024 05:07 PM 5KB
The Foundation of Linguistic truth is stipulated relations between finite strings olcott 04/09/2024 10:59 AM 1KB
Is programming C still a thing? Mild Shock 03/09/2024 01:22 AM 1KB
   12'000 above ground I saw a Penguin (Re: Is programming C still a thing?) Mild Shock 03/09/2024 01:33 AM 1KB
     Strange Noises because it was Labor Day (Was: 12'000 above ground I saw a Penguin) Mild Shock 03/09/2024 01:49 AM 1KB
I just fixed the loophole of the Gettier cases olcott 01/09/2024 11:04 AM 1KB
   Re: I just fixed the loophole of the Gettier cases Richard Damon 01/09/2024 07:06 PM 1KB
   Re: I just fixed the loophole of the Gettier cases olcott 01/09/2024 08:56 PM 1KB
     Re: I just fixed the loophole of the Gettier cases Richard Damon 02/09/2024 01:44 AM 2KB
     Re: I just fixed the loophole of the Gettier cases Mikko 02/09/2024 04:29 PM 1KB
       Re: I just fixed the loophole of the Gettier cases olcott 02/09/2024 08:24 PM 2KB
         Re: I just fixed the loophole of the Gettier cases Richard Damon 03/09/2024 12:11 AM 3KB
         Re: I just fixed the loophole of the Gettier cases Mikko 03/09/2024 06:44 PM 2KB
           Re: I just fixed the loophole of the Gettier cases olcott 03/09/2024 08:49 PM 3KB
             Re: I just fixed the loophole of the Gettier cases Richard Damon 04/09/2024 10:26 AM 3KB
             Re: I just fixed the loophole of the Gettier cases Mikko 06/09/2024 07:43 PM 3KB
               Re: I just fixed the loophole of the Gettier cases olcott 06/09/2024 08:24 PM 4KB
                 Re: I just fixed the loophole of the Gettier cases Richard Damon 07/09/2024 07:41 AM 4KB
                   Re: I just fixed the loophole of the Gettier cases Mikko 07/09/2024 04:46 PM 4KB
                     Re: I just fixed the loophole of the Gettier cases Richard Damon 07/09/2024 09:03 PM 4KB
                     Re: I just fixed the loophole of the Gettier cases olcott 07/09/2024 09:28 PM 5KB
                       Re: I just fixed the loophole of the Gettier cases Richard Damon 07/09/2024 09:43 PM 5KB
                         Re: I just fixed the loophole of the Gettier cases olcott 09/09/2024 09:14 PM 5KB
                           Re: I just fixed the loophole of the Gettier cases Python 09/09/2024 10:49 PM 6KB
                           Re: I just fixed the loophole of the Gettier cases Richard Damon 10/09/2024 10:48 AM 6KB
                             Re: I just fixed the loophole of the Gettier cases Mikko 10/09/2024 05:26 PM 6KB
                               Re: I just fixed the loophole of the Gettier cases olcott 10/09/2024 09:23 PM 7KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 11/09/2024 03:05 PM 7KB
                               Re: I just fixed the loophole of the Gettier cases olcott 11/09/2024 08:14 PM 8KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 12/09/2024 04:54 PM 8KB
                               Re: I just fixed the loophole of the Gettier cases olcott 13/09/2024 09:17 AM 3KB
                               Re: I just fixed the loophole of the Gettier cases Richard Damon 13/09/2024 09:25 AM 3KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 13/09/2024 04:09 PM 3KB
                               Re: I just fixed the loophole of the Gettier cases olcott 15/09/2024 05:26 AM 4KB
                               Re: I just fixed the loophole of the Gettier cases Richard Damon 15/09/2024 10:09 AM 4KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 15/09/2024 05:01 PM 3KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 15/09/2024 04:59 PM 4KB
                     Re: I just fixed the loophole of the Gettier cases olcott 10/09/2024 01:38 AM 5KB
                       Re: I just fixed the loophole of the Gettier cases Richard Damon 10/09/2024 10:58 AM 5KB
                       Re: I just fixed the loophole of the Gettier cases Mikko 10/09/2024 05:34 PM 5KB
                         Re: I just fixed the loophole of the Gettier cases olcott 10/09/2024 09:32 PM 6KB
                           Re: I just fixed the loophole of the Gettier cases Richard Damon 11/09/2024 09:37 AM 7KB
                             Re: I just fixed the loophole of the Gettier cases olcott 11/09/2024 08:09 PM 6KB
                               Re: I just fixed the loophole of the Gettier cases Richard Damon 12/09/2024 08:16 AM 6KB
                           Re: I just fixed the loophole of the Gettier cases Mikko 11/09/2024 03:18 PM 7KB
                             Re: I just fixed the loophole of the Gettier cases olcott 11/09/2024 08:16 PM 6KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 12/09/2024 04:58 PM 6KB
                               Re: I just fixed the loophole of the Gettier cases olcott 13/09/2024 09:19 AM 2KB
                               Re: I just fixed the loophole of the Gettier cases Richard Damon 13/09/2024 09:29 AM 2KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 13/09/2024 04:16 PM 2KB
                               Re: I just fixed the loophole of the Gettier cases olcott 15/09/2024 05:28 AM 2KB
                               Re: I just fixed the loophole of the Gettier cases Richard Damon 15/09/2024 10:10 AM 2KB
                               Re: I just fixed the loophole of the Gettier cases Mikko 15/09/2024 05:02 PM 2KB
                   Correcting the AI hallucination of LLM systems olcott 07/09/2024 08:49 PM 6KB
                     Re: Correcting the AI hallucination of LLM systems Richard Damon 07/09/2024 09:18 PM 7KB
This is how I overturn the Tarski Undefinability theorem olcott 01/09/2024 02:48 AM 2KB
   Re: This is how I overturn the Tarski Undefinability theorem Richard Damon 01/09/2024 03:11 AM 4KB
   Re: This is how I overturn the Tarski Undefinability theorem Mikko 01/09/2024 08:52 PM 2KB
     Re: This is how I overturn the Tarski Undefinability theorem olcott 01/09/2024 09:47 PM 3KB
       Re: This is how I overturn the Tarski Undefinability theorem Mikko 02/09/2024 03:54 PM 3KB
         Re: This is how I overturn the Tarski Undefinability theorem olcott 02/09/2024 09:01 PM 5KB
           Re: This is how I overturn the Tarski Undefinability theorem Mikko 03/09/2024 06:38 PM 3KB
             Re: This is how I overturn the Tarski Undefinability theorem olcott 03/09/2024 08:44 PM 4KB
               Re: This is how I overturn the Tarski Undefinability theorem Richard Damon 04/09/2024 10:28 AM 4KB
               Re: This is how I overturn the Tarski Undefinability theorem Mikko 06/09/2024 07:55 PM 4KB
                 Re: This is how I overturn the Tarski Undefinability theorem olcott 06/09/2024 08:22 PM 5KB
                   Re: This is how I overturn the Tarski Undefinability theorem Mikko 07/09/2024 04:35 PM 5KB
                     Re: This is how I overturn the Tarski Undefinability theorem olcott 07/09/2024 09:06 PM 5KB
                       Re: This is how I overturn the Tarski Undefinability theorem Richard Damon 07/09/2024 09:19 PM 5KB
                         Re: This is how I overturn the Tarski Undefinability theorem olcott 10/09/2024 01:28 AM 6KB
                       Re: This is how I overturn the Tarski Undefinability theorem Mikko 08/09/2024 04:45 PM 5KB
                         Re: This is how I overturn the Tarski Undefinability theorem olcott 08/09/2024 08:44 PM 2KB
                           Re: This is how I overturn the Tarski Undefinability theorem Mikko 08/09/2024 10:31 PM 2KB
                             Re: This is how I overturn the Tarski Undefinability theorem olcott 08/09/2024 10:38 PM 2KB
                               Re: This is how I overturn the Tarski Undefinability theorem Mikko 09/09/2024 05:05 PM 3KB
                               Re: This is how I overturn the Tarski Undefinability theorem olcott 09/09/2024 09:12 PM 3KB
                               Re: This is how I overturn the Tarski Undefinability theorem Mikko 10/09/2024 05:12 PM 3KB
                               Re: This is how I overturn the Tarski Undefinability theorem olcott 10/09/2024 09:10 PM 4KB
                               Re: This is how I overturn the Tarski Undefinability theorem Richard Damon 11/09/2024 09:37 AM 4KB
                               Re: This is how I overturn the Tarski Undefinability theorem Mikko 11/09/2024 03:29 PM 4KB
Truth copyright PL Olcott 1997 and 2024 olcott 31/08/2024 12:14 AM 1KB
   Re: Truth copyright PL Olcott 1997 and 2024 Python 31/08/2024 12:19 AM 1KB
     Re: Truth copyright PL Olcott 1997 and 2024 Mikko 31/08/2024 04:52 PM 1KB
   Re: Truth copyright PL Olcott 1997 and 2024 Richard Damon 31/08/2024 02:18 AM 1KB
   Re: Truth copyright PL Olcott 1997 and 2024 Richard Damon 31/08/2024 10:39 PM 1KB
Re: Replacement of Cardinality Jim Burns 30/08/2024 01:56 AM 3KB
Re: Replacement of Cardinality Chris M. Thomasson 30/08/2024 02:51 AM 2KB
   Re: Replacement of Cardinality WM 30/08/0024 08:55 PM 1KB
     Re: Replacement of Cardinality Richard Damon 30/08/2024 09:01 PM 1KB
       Re: Replacement of Cardinality Chris M. Thomasson 31/08/2024 03:20 AM 2KB
     Re: Replacement of Cardinality Chris M. Thomasson 31/08/2024 03:18 AM 1KB
       Re: Replacement of Cardinality Chris M. Thomasson 31/08/2024 03:22 AM 2KB
         Re: Replacement of Cardinality Moebius 01/09/2024 07:26 AM 2KB
           Re: Replacement of Cardinality Chris M. Thomasson 01/09/2024 10:56 AM 2KB
             Re: Replacement of Cardinality Moebius 01/09/2024 11:25 AM 1KB
       Re: Replacement of Cardinality Moebius 01/09/2024 07:19 AM 2KB
         Re: Replacement of Cardinality Chris M. Thomasson 01/09/2024 10:54 AM 2KB
           Re: Replacement of Cardinality Moebius 01/09/2024 11:21 AM 2KB
           Re: Replacement of Cardinality Moebius 01/09/2024 11:27 AM 2KB
             Re: Replacement of Cardinality Chris M. Thomasson 02/09/2024 03:09 AM 2KB
               Re: Replacement of Cardinality Moebius 02/09/2024 03:18 AM 2KB
Re: Replacement of Cardinality Jim Burns 30/08/2024 04:09 AM 4KB
   Re: Replacement of Cardinality Jeff Barnett 30/08/2024 12:20 PM 8KB
     Re: Replacement of Cardinality Chris M. Thomasson 31/08/2024 03:28 AM 6KB
       Re: Replacement of Cardinality Jeff Barnett 31/08/2024 03:45 AM 9KB
         Re: Replacement of Cardinality Ross Finlayson 31/08/2024 04:23 AM 7KB
     Re: Replacement of Cardinality Jim Burns 01/09/2024 02:20 AM 5KB
       Re: Replacement of Cardinality Jeff Barnett 01/09/2024 02:44 AM 7KB
Re: Replacement of Cardinality Chris M. Thomasson 30/08/2024 06:21 AM 2KB
Re: Replacement of Cardinality (infinite middle) Ross Finlayson 30/08/2024 06:46 AM 6KB
   Re: Replacement of Cardinality (infinite middle) Jim Burns 30/08/2024 07:32 AM 3KB
     Re: Replacement of Cardinality (infinite middle) Ross Finlayson 30/08/2024 08:12 AM 8KB
       Re: Replacement of Cardinality (infinite middle) Ross Finlayson 30/08/2024 08:28 AM 9KB
         Re: Replacement of Cardinality (infinite middle) Jim Burns 30/08/2024 01:24 PM 4KB
           Re: Replacement of Cardinality (infinite middle) Ross Finlayson 31/08/2024 04:00 AM 6KB
             Re: Replacement of Cardinality (infinite middle) Jim Burns 31/08/2024 05:41 AM 4KB
               Re: Replacement of Cardinality (infinite middle) Ross Finlayson 02/09/2024 02:44 AM 8KB
                 Re: Replacement of Cardinality (infinite middle) Ross Finlayson 02/09/2024 03:46 AM 10KB
                 Re: Replacement of Cardinality (infinite middle) Jim Burns 03/09/2024 05:46 AM 5KB
                   Re: Replacement of Cardinality (infinite middle) Ross Finlayson 03/09/2024 08:25 AM 8KB
                     Re: Replacement of Cardinality (infinite middle) Jim Burns 04/09/2024 02:39 AM 3KB
                     Re: Replacement of Cardinality (infinite middle) Jim Burns 04/09/2024 03:28 AM 3KB
                     Re: Replacement of Cardinality (infinite middle) Jim Burns 04/09/2024 04:50 AM 4KB
                       Re: Replacement of Cardinality (infinite middle) Ross Finlayson 06/09/2024 03:57 AM 7KB
                         Re: Replacement of Cardinality (infinite middle) Ross Finlayson 06/09/2024 04:14 AM 8KB
                           Re: Replacement of Cardinality (infinite middle) Jim Burns 07/09/2024 03:40 AM 4KB
                             Re: Replacement of Cardinality (infinite middle) Ross Finlayson 07/09/2024 04:36 AM 6KB
                   Re: Replacement of Cardinality (infinite middle) Ross Finlayson 03/09/2024 10:47 AM 8KB
                     Re: Replacement of Cardinality (infinite middle) Mild Shock 07/09/2024 04:14 PM 2KB
Re: Replacement of Cardinality Richard Damon 30/08/2024 09:09 AM 2KB
   Re: Replacement of Cardinality WM 30/08/0024 09:08 PM 2KB
     Re: Replacement of Cardinality Richard Damon 30/08/2024 09:32 PM 2KB
     Re: Replacement of Cardinality Jim Burns 31/08/2024 12:09 AM 2KB
     Re: Replacement of Cardinality Chris M. Thomasson 31/08/2024 03:23 AM 2KB
Re: Replacement of Cardinality Richard Damon 30/08/2024 09:09 AM 2KB
   Re: Replacement of Cardinality WM 30/08/0024 09:06 PM 2KB
     Re: Replacement of Cardinality Richard Damon 30/08/2024 09:28 PM 2KB
   Re: Replacement of Cardinality WM 30/08/0024 08:53 PM 1KB
     Re: Replacement of Cardinality Jim Burns 30/08/2024 11:44 PM 3KB
Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Richard Damon 30/08/2024 09:09 AM 4KB
Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 30/08/2024 09:36 PM 4KB
   Re: This makes all Analytic(Olcott) truth computable --- truth-bearer olcott 30/08/2024 10:45 PM 5KB
     Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Python 30/08/2024 11:46 PM 2KB
     Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 31/08/2024 04:43 PM 5KB
       Re: This makes all Analytic(Olcott) truth computable --- truth-bearer olcott 31/08/2024 08:18 PM 6KB
         Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Richard Damon 31/08/2024 10:39 PM 7KB
         Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 01/09/2024 08:30 PM 6KB
           Re: This makes all Analytic(Olcott) truth computable --- truth-bearer olcott 01/09/2024 09:41 PM 8KB
             Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Richard Damon 02/09/2024 01:44 AM 9KB
             Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 02/09/2024 04:22 PM 9KB
               Re: This makes all Analytic(Olcott) truth computable --- truth-bearer olcott 02/09/2024 08:44 PM 12KB
                 Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Richard Damon 03/09/2024 12:14 AM 12KB
                 Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 03/09/2024 06:49 PM 7KB
                   Re: This makes all Analytic(Olcott) truth computable --- truth-bearer olcott 03/09/2024 08:58 PM 8KB
                     Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Richard Damon 04/09/2024 10:23 AM 8KB
                     Re: This makes all Analytic(Olcott) truth computable --- truth-bearer Mikko 05/09/2024 03:47 PM 7KB
Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock 02/09/2024 04:39 AM 2KB
   AI robots from Disney (Re: Holy Shit: AI is cheaper than Humans) Mild Shock 02/09/2024 05:19 AM 3KB
   I can't stand Mira Murati's Eyewash (Was: Holy Shit: AI is cheaper than Humans (Re: Minimal Logics in the 2020's: A Mete... Mild Shock 03/09/2024 06:00 PM 4KB
     After blue, green why not start yellow (Was: I can't stand Mira Murati's Eyewash) Mild Shock 03/09/2024 11:55 PM 2KB
       miramurati bye bye (Was: After blue, green why not start yellow) Mild Shock 26/09/2024 04:07 AM 3KB
     Safe Superintelligence (SSI): Now they are dancing Mild Shock 06/09/2024 01:50 AM 4KB
       Re: Safe Superintelligence (SSI): Now they are dancing Mild Shock 06/09/2024 05:50 AM 2KB
         Salem Aleikum: Maxwella's Equations (Was: Safe Superintelligence (SSI): Now they are dancing) Mild Shock 09/09/2024 07:19 PM 2KB
         Salem Aleikum: Maxwella's Equations (Was: Safe Superintelligence (SSI): Now they are dancing) Mild Shock 09/09/2024 07:20 PM 2KB
           non judicium, sed latrocinium (Was: Salem Aleikum: Maxwella's Equations) Mild Shock 10/09/2024 02:55 PM 3KB
           Internet was made for cats (Re: Salem Aleikum: Maxwella's Equations) Mild Shock 13/09/2024 06:58 PM 1KB
             I was there, 3000 years ago (Was: Internet was made for cats) Mild Shock 13/09/2024 06:59 PM 2KB
               Even Haitians are now voting for Trump (Re: I was there, 3000 years ago) Mild Shock 13/09/2024 07:02 PM 3KB
             supply chain attack (Re: Internet was made for cats) Mild Shock 18/09/2024 04:18 AM 1KB
               Polyfill Supply Chain Attack (Was: supply chain attack) Mild Shock 11/10/2024 03:08 PM 2KB
   USA is shitting its pants (Re: Holy Shit: AI is cheaper than Humans) Mild Shock 16/09/2024 06:22 AM 3KB
     scryer prolog is dead, BILAI instead? (Was: USA is shitting its pants) Mild Shock 18/09/2024 09:45 PM 4KB
   "Emotional AI" and "Spiritual AI" (Was: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock 03/10/2024 06:14 PM 3KB
     Oh shit, too late! (Re: "Emotional AI" and "Spiritual AI") Mild Shock 03/10/2024 06:40 PM 5KB
       Microsoft is plagiarizing my Invention [LLMs under the hood] Mild Shock 08/10/2024 10:04 PM 1KB
         Geoffrey Hinton / Nobelpreis für Physik [Re: Microsoft is plagiarizing my Invention [LLMs under the hood]) Mild Shock 08/10/2024 10:05 PM 2KB
   Highly bred Hackers: Wallowing in enlightenment (Re: Minimal Logics in the 2020's: A Meteoric Rise) Mild Shock 26/10/2024 11:46 PM 1KB
Re: Moment and Motion: hypercube distance Ross Finlayson 04/09/2024 04:27 AM 22KB
Re: Moment and Motion: hypercube distance Ross Finlayson 04/09/2024 11:25 AM 24KB
   Re: Moment and Motion: hypercube distance Ross Finlayson 10/09/2024 11:14 AM 26KB
I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth} olcott 05/09/2024 08:59 PM 3KB
Re: The Foundation of Linguistic truth is stipulated relations between finite strings olcott 13/09/2024 10:39 PM 2KB
Re: A state transition diagram proves ... GOOD PROGRESS olcott 18/10/2024 10:10 PM 5KB
   Re: A state transition diagram proves ... GOOD PROGRESS joes 18/10/2024 10:41 PM 4KB
     Re: A state transition diagram proves ... GOOD PROGRESS olcott 19/10/2024 12:39 AM 6KB
       Re: A state transition diagram proves ... GOOD PROGRESS --- I only wanted to cross post this key break through once. olcott 19/10/2024 12:44 AM 6KB
       Re: A state transition diagram proves ... GOOD PROGRESS joes 19/10/2024 01:00 AM 5KB
       Re: A state transition diagram proves ... GOOD PROGRESS Richard Damon 19/10/2024 07:19 AM 6KB
         Re: A state transition diagram proves ... GOOD PROGRESS olcott 19/10/2024 09:04 AM 5KB
           Re: A state transition diagram proves ... GOOD PROGRESS Richard Damon 19/10/2024 10:49 AM 5KB
   Re: A state transition diagram proves ... GOOD PROGRESS Richard Damon 19/10/2024 07:06 AM 8KB
     THREE DIFFERENT QUESTIONS olcott 19/10/2024 08:52 AM 4KB
       Re: THREE DIFFERENT QUESTIONS Richard Damon 19/10/2024 10:49 AM 6KB
Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L olcott 21/10/2024 05:59 AM 6KB
   Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Richard Damon 21/10/2024 11:26 AM 7KB
     Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L olcott 21/10/2024 11:58 AM 8KB
       Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Mikko 21/10/2024 05:40 PM 7KB
         Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L olcott 21/10/2024 09:31 PM 8KB
           Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Richard Damon 22/10/2024 06:46 AM 8KB
             Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L olcott 22/10/2024 07:12 AM 8KB
               Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Richard Damon 22/10/2024 10:51 AM 9KB
               Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Mikko 22/10/2024 03:27 PM 8KB
       Re: Deriving X from the finite set of FooBar preserving operations --- membership algorithm for X in L Richard Damon 21/10/2024 07:36 PM 9KB
Happy Birthday 75 Years of Artificial Intelligence Mild Shock 21/10/2024 08:32 PM 2KB
   Does ChatGPT know the difference between "k" and "kkkkkkkkkk"? Mild Shock 23/10/2024 07:17 AM 3KB
   What is it like to be a Bat? Mild Shock 24/10/2024 04:33 AM 1KB