Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers
Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) An Affine Logic Example: Łukasiewicz Logic Re: An Affine Logic Example: Łukasiewicz Logic 4-valued Counter Example (Was: An Affine Logic Example: Łukasiewicz Logic)
What does Pluto in Aquarius mean? [2023–2044] Ilya Sutskever: The Next Oppenheimer What does "o1" mean in recent Models (Was: Ilya Sutskever: The Next Oppenheimer) trustpilot review of stack overflow [Jekejeke Phishing] Prime SO weed smokers: journeym, Shadow, who else? (Re: trustpilot review of stack overflow [Jekejeke Phishing] Top ten film list for the SO titanic sinking (Was: Prime SO weed smokers: journeym, Shadow, who else?) Weed Smokers are also Assisnation Killers (Was: Prime SO weed smokers: journeym, Shadow, who else?) This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) Re: This first time anyone In the entire history of the halting problem derived a correct return value for HHH(DD) The essence of my halting problem work Re: The essence of my halting problem work A Timeless Confluence [Term Rewriting] Still on negative translation for substructural logics Re: Still on negative translation for substructural logics intuitionistic vs. classical implication in Prolog code (Was: Still on negative translation for substructural logics) Re: intuitionistic vs. classical implication in Prolog code (Was: Still on negative translation for substructural logics) Girards Exponentiation after Dragalins Implication (Was: intuitionistic vs. classical implication in Prolog code) Does Jens Ottens Int-Prover also do the Repeat? (Was: Girards Exponentiation after Dragalins Implication) Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: intuitionistic vs. classical implication in Prolog code Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics The solver does not terminate (Was: Still on negative translation for substructural logics) Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Re: The solver does not terminate Seventy-Five Problems for Testing Automatic Theorem Provers (Was: Fuck the nazi-retards) Re: Seventy-Five Problems for Testing Automatic Theorem Provers (Was: Fuck the nazi-retards) Re: Seventy-Five Problems for Testing Automatic Theorem Provers Re: Seventy-Five Problems for Testing Automatic Theorem Provers Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Re: Still on negative translation for substructural logics Counter Example by Troelstra & Schwichtenberg (Was: Still on negative translation for substructural logics) Re: Counter Example by Troelstra & Schwichtenberg (Was: Still on negative translation for substructural logics) Affine Logic, what Properties does it have? (Was: Counter Example by Troelstra & Schwichtenberg) Re: Affine Logic, what Properties does it have? (Was: Counter Example by Troelstra & Schwichtenberg) leanTap wasn't a good idea Re: leanTap wasn't a good idea How to prove this theorem with intuitionistic natural deduction? Re: How to prove this theorem with intuitionistic natural deduction? Re: How to prove this theorem with intuitionistic natural deduction? can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: Negative translation for propositional linear (or affine) logic? Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?) I am busy with other stuff (Was: can λ-prolog do it?) Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?) Deep Ecology and Artificial Intelligence Re: Deep Ecology and Artificial Intelligence Re: Deep Ecology and Artificial Intelligence Re: Deep Ecology and Artificial Intelligence Happy Birthday 75 Years of Artificial Intelligence Does ChatGPT know the difference between "k" and "kkkkkkkkkk"? What is it like to be a Bat? Zero Tokens comming out of me (Re: Deep Ecology and Artificial Intelligence) Low-Code Penetration Prediction (Re: Zero Tokens comming out of me) Waste of EU money / bread and butter of statistics (Re: Deep Ecology and Artificial Intelligence) Re: Waste of EU money / bread and butter of statistics (Re: Deep Ecology and Artificial Intelligence) FYI: New Journal NAI (Re: Deep Ecology and Artificial Intelligence) The Bee Clock Model (Re: FYI: New Journal NAI) Im memoriam Doug Lenant (1950 - 2023) (Re: Deep Ecology and Artificial Intelligence "superhumaness" excels "stackoverflow reputation" (Re: Im memoriam Doug Lenant (1950 - 2023)) para-governemental institution of violence (Was: "superhumaness" excels "stackoverflow reputation") Good Bye Stack-Overflow Re: Good Bye Stack-Overflow Re: Good Bye Stack-Overflow Re: Good Bye Stack-Overflow Re: Good Bye Stack-Overflow they shoot themselves into the foot (Re: Good Bye Stack-Overflow) Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow) Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow) Re: they shoot themselves into the foot (Re: Good Bye Stack-Overflow) A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question --- PROGRESS Re: A different perspective on undecidability --- incorrect question --- PROGRESS Re: A different perspective on undecidability --- incorrect question --- PROGRESS Re: A different perspective on undecidability --- incorrect question --- PROGRESS Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question Re: A different perspective on undecidability --- incorrect question