| Date | Sujet | # | | Auteur |
| 2 Mar 25 |     Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 21 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 20 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 19 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 18 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 17 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 16 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 15 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 14 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 13 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 12 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 11 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 10 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 9 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 8 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 7 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 6 | | Richard Damon |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 5 | | olcott |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 4 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | olcott |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | Richard Damon |
| 3 Mar 25 |  Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | Mikko |
| 4 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 7 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 6 | | olcott |
| 1 Mar 25 |  Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | Richard Damon |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Mikko |
| 4 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Mikko |
| 27 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 17 | | Richard Damon |
| 27 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 16 | | olcott |
| 27 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 15 | | Richard Damon |
| 27 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 14 | | olcott |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 13 | | Richard Damon |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 12 | | olcott |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 11 | | Richard Damon |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 10 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 9 | | Richard Damon |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 8 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | Richard Damon |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Relations between finite strings | 2 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Relations between finite strings | 1 | | Richard Damon |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 4 | | dbush |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | dbush |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | joes |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | olcott |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 26 | | Mikko |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 25 | | olcott |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | Richard Damon |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | olcott |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 21 | | Mikko |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 20 | | olcott |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 9 | | Richard Damon |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 8 | | olcott |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 6 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 5 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 4 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Mikko |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 9 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 8 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 6 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 5 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 3 | | Richard Damon |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 2 | | olcott |
| 2 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of Truth | 1 | | joes |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 3 | | Richard Damon |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 2 | | olcott |
| 23 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Richard Damon |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 14 | | Mikko |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 13 | | olcott |
| 23 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Richard Damon |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 11 | | Mikko |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 10 | | olcott |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 9 | | Mikko |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 8 | | olcott |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Richard Damon |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 6 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 5 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 4 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 3 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Richard Damon |
| 3 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Mikko |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 14 | | Mikko |
| 22 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 13 | | olcott |
| 23 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 1 | | Richard Damon |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 11 | | Mikko |
| 24 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 10 | | olcott |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 1 | | Richard Damon |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 8 | | Mikko |
| 25 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 7 | | olcott |
| 26 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 1 | | Richard Damon |
| 28 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 5 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 4 | | olcott |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 3 | | Mikko |
| 1 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 2 | | olcott |
| 4 Mar 25 | Re: Mathematical incompleteness has always been a misconception --- Ultimate Foundation of True(L,x) | 1 | | Mikko |
| 11 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Ross Finlayson |
| 9 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 3 | | olcott |
| 9 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Richard Damon |
| 10 Feb 25 | Re: Mathematical incompleteness has always been a misconception --- Tarski | 1 | | Mikko |
| 4 Feb 25 | Re: Mathematical incompleteness has always been a misconception | 1 | | Richard Damon |
| 7 Mar 25 |  The existence of dark numbers proved by the thinned out harmonic series | 1 | | WM |
| 3 Mar 25 | Salary Templates if you "Grok" ML / AI [PhDs Negotiate Salaries] (Re: Prolog Education Group clueless about the AI Boom?) | 1 | | Mild Shock |
| 2 Mar 25 | DD correctly emulated by HHH --- Kicking the straw-man deception out on its ass | 1 | | olcott |
| 25 Feb 25 | Some Progress with SWI-Prolog eForests (Re: Dead horse or wake up call?) | 1 | | Mild Shock |
| 23 Feb 25 | Ignorance in ILP circles confirmed (Was: Auto-Encoders as Prolog Fact Stores) | 1 | | Mild Shock |
| 20 Feb 25 | Chicken and egg resolution | 3 | | Julio Di Egidio |
| 20 Feb 25 | Re: Chicken and egg resolution | 1 | | Jim Burns |
| 22 Feb 25 | Re: Chicken and egg resolution | 1 | | olcott |
| 28 Jan 25 | Knock, knock, who is it? Yi-Lightning (Re: Wait till they figure out that China has also AI) | 6 | | Mild Shock |
| 28 Jan 25 | Europe has no AI, you sure? (Was: Knock, knock, who is it? Yi-Lightning) | 1 | | Mild Shock |
| 31 Jan 25 | the asteroid that kills tech dinosaurs (Re: Knock, knock, who is it? Yi-Lightning) | 2 | | Mild Shock |
| 31 Jan 25 | Some modern heros of DeepSeek (Re: the asteroid that kills tech dinosaurs) | 1 | | Mild Shock |
| 4 Feb 25 | How ELIZA 2.0 killed Wolfram Alpha (Re: Knock, knock, who is it? Yi-Lightning) | 2 | | Mild Shock |
| 8 Feb 25 | Machine Learning discovers Roman Numerals (Was: How ELIZA 2.0 killed Wolfram Alpha) | 1 | | Mild Shock |
| 8 Feb 25 | Anyone with sufficient knowledge of C knows that DD specifies non-terminating behavior to HHH | 1 | | olcott |
| 28 Nov 24 | Probably not much time left | 17 | | olcott |
| 28 Nov 24 | It seems very doubtful that I will live three more months | 16 | | olcott |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 14 | | olcott |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 13 | | olcott |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 2 | | Richard Damon |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 1 | | olcott |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 10 | | Ross Finlayson |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 9 | | olcott |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 4 | | Janis Papanagnou |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 1 | | olcott |
| 19 Dec 24 | Re: It seems very doubtful that I will live three more months | 2 | | Mad Hamish |
| 7 Feb 25 | Re: It seems very doubtful that I will live three more months | 1 | | olcott |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 4 | | Ross Finlayson |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 3 | | olcott |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months | 2 | | Mild Shock |
| 30 Nov 24 | Re: It seems very doubtful that I will live three more months (models of Omega) | 1 | | Ross Finlayson |
| 28 Nov 24 | Re: It seems very doubtful that I will live three more months | 1 | | olcott |
| 5 Feb 25 | A third line of cancer treatment reversed the growth of the right paracaval lymph node | 1 | | olcott |
| 2 Feb 25 | Chinas secret weapon pulverizes Mira Murati (Re: Wait till they figure out that China has also AI) | 1 | | Mild Shock |
| 26 Jan 25 | The singularity is at the end of the rainbow | 3 | | Mild Shock |
| 27 Jan 25 | Are immortal brains such as ChatGPT LLM the singularity? (Was: The singularity is at the end of the rainbow) | 2 | | Mild Shock |
| 27 Jan 25 | HG2G: If there was singularity there will be signs (Re: Are immortal brains such as ChatGPT LLM the singularity?) | 1 | | Mild Shock |
| 22 Jan 25 | USA is still Shitting its Pants [Artificial Intelligence] | 1 | | Mild Shock |
| 18 Jan 25 | Secret Sauce of Dana Scott and Raymond Smullyan | 3 | | Mild Shock |
| 18 Jan 25 | Philosophize not God, Philosophize the Door Knob (Was: Secret Sauce of Dana Scott and Raymond Smullyan) | 2 | | Mild Shock |
| 18 Jan 25 | Foundations of Large Language Models (Was: Philosophize not God, Philosophize the Door Knob) | 1 | | Mild Shock |
| 17 Jan 25 | What do you want to know about Trump? | 3 | | Mild Shock |
| 17 Jan 25 | Blue Monday [Cliff Arnall] (Re: What do you want to know about Trump?) | 1 | | Mild Shock |
| 17 Jan 25 | Blue Monday [Cliff Arnall] (Re: What do you want to know about Trump?) | 1 | | Mild Shock |
| 14 Dec 24 | Advent of Logic 2024: Weekend 1 | 58 | | Mild Shock |
| 14 Dec 24 | Advent of Logic 2024: Weekend 2 (Was: Advent of Logic 2024: Weekend 1) | 36 | | Mild Shock |
| 14 Dec 24 | Re: Advent of Logic 2024: Weekend 3 (Was: Advent of Logic 2024: Weekend 2) | 35 | | Mild Shock |
| 17 Dec 24 | Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 33 | | Julio Di Egidio |
| 17 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 1 | | Julio Di Egidio |
| 17 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 21 | | Mild Shock |
| 17 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 3 | | Mild Shock |
| 17 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 1 | | Mild Shock |
| 17 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 1 | | Mild Shock |
| 18 Dec 24 | Re: Proofs as programs | 17 | | Julio Di Egidio |
| 18 Dec 24 | Re: Proofs as programs | 16 | | Mild Shock |
| 18 Dec 24 | Re: Proofs as programs | 15 | | Mild Shock |
| 18 Dec 24 | Re: Proofs as programs | 14 | | Julio Di Egidio |
| 18 Dec 24 | Re: Proofs as programs | 13 | | Mild Shock |
| 18 Dec 24 | Hilbert Style proof system (Was: Proofs as programs) | 12 | | Mild Shock |
| 18 Dec 24 | Re: Proofs as programs | 11 | | Julio Di Egidio |
| 19 Dec 24 | What are Simple Types (Was: Proofs as programs) | 10 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 2 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 1 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 7 | | Julio Di Egidio |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 6 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 2 | | Julio Di Egidio |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 1 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 3 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 1 | | Mild Shock |
| 19 Dec 24 | Re: What are Simple Types (Was: Proofs as programs) | 1 | | Julio Di Egidio |
| 19 Dec 24 | Re: Proofs as programs (Was: Advent of Logic 2024: Weekend 3) | 5 | | Julio Di Egidio |
| 22 Dec 24 | Re: Proofs as programs | 4 | | Julio Di Egidio |
| 23 Dec 24 | /* A */ and /* B */ are different (Was: Proofs as programs) | 3 | | Mild Shock |
| 23 Dec 24 | The Task is called the Inhabitation Problem (Was: /* A */ and /* B */ are different) | 1 | | Mild Shock |
| 23 Dec 24 | Re: /* A */ and /* B */ are different (Was: Proofs as programs) | 1 | | Julio Di Egidio |
| 21 Dec 24 | Curry-Howard Correspondence where? (Was: Proofs as programs (Was: Advent of Logic 2024: Weekend 3)) | 5 | | Mild Shock |
| 21 Dec 24 | A Christmas Miracle (Was: Curry-Howard Correspondence where?) | 4 | | Mild Shock |
| 21 Dec 24 | Re: A Christmas Miracle (Was: Curry-Howard Correspondence where?) | 3 | | Mild Shock |
| 21 Dec 24 | Re: A Christmas Miracle (Was: Curry-Howard Correspondence where?) | 2 | | Mild Shock |
| 21 Dec 24 | Re: A Christmas Miracle (Was: Curry-Howard Correspondence where?) | 1 | | Mild Shock |
| 27 Dec 24 | 4th Family Member: Relevant Logic (Re: Advent of Logic 2024: Weekend 3) | 1 | | Mild Shock |
| 20 Dec 24 | Advent of Logic 2024: Specification and Deadline (Was: Advent of Logic 2024: Weekend 1) | 20 | | Mild Shock |
| 20 Dec 24 | Re: Advent of Logic 2024: Specification and Deadline (Was: Advent of Logic 2024: Weekend 1) | 15 | | Mild Shock |
| 20 Dec 24 | Advent of Logic 2024: Solution Weekend 2 (Was: Advent of Logic 2024: Specification and Deadline) | 1 | | Mild Shock |
| 20 Dec 24 | Repetition vs Use (Was: Advent of Logic 2024: Specification and Deadline) | 13 | | Julio Di Egidio |
| 20 Dec 24 | Re: Repetition vs Use (Was: Advent of Logic 2024: Specification and Deadline) | 12 | | Mild Shock |
| 20 Dec 24 | Re: Repetition vs Use (Was: Advent of Logic 2024: Specification and Deadline) | 11 | | Julio Di Egidio |
| 20 Dec 24 | Please be patient (Was: Repetition vs Use) | 10 | | Mild Shock |
| 20 Dec 24 | Happy Now? (Was: Please be patient) | 9 | | Mild Shock |
| 20 Dec 24 | Re: Happy Now? (Was: Please be patient) | 8 | | Julio Di Egidio |
| 21 Dec 24 | What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 7 | | Mild Shock |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 6 | | Julio Di Egidio |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 5 | | Mild Shock |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 1 | | Mild Shock |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 3 | | Julio Di Egidio |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 2 | | Mild Shock |
| 21 Dec 24 | Re: What is it, a Bird or an Airplane? (Was: Happy Now? (Was: Please be patient)) | 1 | | Julio Di Egidio |
| 21 Dec 24 | Advent of Logic 2024: Friendly Reminder (Re: Advent of Logic 2024: Specification and Deadline) | 4 | | Mild Shock |
| 24 Dec 24 | Re: Advent of Logic 2024: Friendly Reminder (Re: Advent of Logic 2024: Specification and Deadline) | 3 | | Mild Shock |
| 24 Dec 24 | Linear Logic as Natural Deduction (Was: Advent of Logic 2024: Friendly Reminder) | 2 | | Mild Shock |
| 24 Dec 24 | Re: Linear Logic as Natural Deduction (Was: Advent of Logic 2024: Friendly Reminder) | 1 | | Mild Shock |
| 17 Jan 25 | Combinatorial Simple Typed Solution (Re: Advent of Logic 2024: Weekend 1) | 1 | | Mild Shock |
| 16 Jan 25 | Memory Powering the AI Revolution | 2 | | Mild Shock |
| 16 Jan 25 | Re: Memory Powering the AI Revolution | 1 | | Mild Shock |
| 14 Jan 25 | Curry Prolog visualized [Julios Dream] | 3 | | Mild Shock |
| 14 Jan 25 | Did you compare OpenAI to Anthropic (Was: Curry Prolog visualized [Julios Dream]) | 2 | | Mild Shock |
| 14 Jan 25 | First sign of AGI: OpenAI Job listings gone (Was Did you compare OpenAI to Anthropic ) | 1 | | Mild Shock |
| 10 Jan 25 | Traditions die: Another one bites the Dust | 5 | | Mild Shock |
| 10 Jan 25 | John Sowa is close with RNT (Was: Traditions die: Another one bites the Dust) | 4 | | Mild Shock |
| 10 Jan 25 | Or ChatGPT is better in Program Verification (Re: John Sowa is close with RNT) | 3 | | Mild Shock |
| 11 Jan 25 | What is Argonne doing now? (Was: Or ChatGPT is better in Program Verification) | 2 | | Mild Shock |
| 11 Jan 25 | Lemanicus at EPFL Computer Museum [compare to NVIDIA H100 NVL] | 1 | | Mild Shock |
| 8 Jan 25 | Honoring Raymond Smullyan | 35 | | Mild Shock |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 27 | | Julio Di Egidio |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 26 | | Mild Shock |
| 8 Jan 25 | For a 100th Time Fuck Stackexchange (Was: Honoring Raymond Smullyan) | 2 | | Mild Shock |
| 8 Jan 25 | Outdated Policy Nonsense by Stackexchange Farts (Re: For a 100th Time Fuck Stackexchange) | 1 | | Mild Shock |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 23 | | Julio Di Egidio |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 22 | | Julio Di Egidio |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 1 | | Mild Shock |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 5 | | Julio Di Egidio |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 4 | | Mild Shock |
| 8 Jan 25 | Re: Honoring Raymond Smullyan | 1 | | Mild Shock |
| 9 Jan 25 | Re: Honoring Raymond Smullyan | 2 | | Julio Di Egidio |
| 9 Jan 25 | Re: Honoring Raymond Smullyan | 1 | | Mild Shock |
| 9 Jan 25 | A miraculous match? (Was: Honoring Raymond Smullyan) | 15 | | Julio Di Egidio |
| 9 Jan 25 | Re: A miraculous match? (Was: Honoring Raymond Smullyan) | 14 | | Julio Di Egidio |
| 9 Jan 25 | How to make cyclic terms (Was: A miraculous match?) | 13 | | Mild Shock |
| 9 Jan 25 | Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms) | 3 | | Mild Shock |
| 9 Jan 25 | Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms) | 2 | | Mild Shock |
| 9 Jan 25 | Re: Nakano Proposition 2 in SWI-Prolog (Was: How to make cyclic terms) | 1 | | Mild Shock |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 9 | | Julio Di Egidio |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 8 | | Mild Shock |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 7 | | Mild Shock |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 2 | | Mild Shock |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 1 | | Mild Shock |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 4 | | Julio Di Egidio |
| 9 Jan 25 | Re: How to make cyclic terms (Was: A miraculous match?) | 1 | | Mild Shock |