self studying logic
Re: self studying logic primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2] 25-30% is insane, Neural Network Branch Prediction? (Re: primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2])
NPUs (Neural Processing Units) are the new normal (Re: 25-30% is insane, Neural Network Branch Prediction?)
Ask Phind: AI inflection point right now [End 2025] (Re: NPUs (Neural Processing Units) are the new normal)
Eat Tteokbokki before SkyNet kills you [$100 ChatGPT] (Re: Ask Phind: AI inflection point right now [End 2025]) Give Julio Di Egidio the bloody money [3 RMB¥ MiniMind] (Was: Eat Tteokbokki before SkyNet kills you [$100 ChatGPT]) The Love Affair: OpenAI and AMD (Re: NPUs (Neural Processing Units) are the new normal) The NPU in your Browser [WebNN by W3C] (Re: NPUs (Neural Processing Units) are the new normal) Fuzzy Alert: Boris the Loris on the Dancefloor (Re: The NPU in your Browser [WebNN by W3C]) Superintelligence or community? [The Almend Paradox] (Re: Fuzzy Alert: Boris the Loris on the Dancefloor (Re: The NPU in your Browser [WebNN by W3C]) No more Almend Paradox [China has enough] (Re: Superintelligence or community? [The Almend Paradox] (Re: Fuzzy Alert: Boris the Loris on the Dancefloor) Communities betrayed by GitHub [The Matrix is booting] (Re: No more Almend Paradox [China has enough]) The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Gödel's G := (F ⊬ G) Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re: What expressions of language are logically certain? Re TOE Re: Re TOE 😂 "Plog-like" - that should be the official term! How deep seek went bonkers (Re: 😂 "Plog-like" - that should be the official term!) Declarative farts versus MSI Claw AI+, who would win? (Re: 😂 "Plog-like" - that should be the official term!) Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction] (Re: Declarative farts versus MSI Claw AI+, who would win?) The intelligent Cloud, Fog and Edge is evolving (Re: Gameified AI Engineers brains blown out [Kurzweil's 2045 Prediction]) More Dreams: LLM + Chess = LRM (Re: The intelligent Cloud, Fog and Edge is evolving) Not for Boris the Loris and Julio the Nazi Retared (Re: More Dreams: LLM + Chess = LRM) The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Re: The true nature of Undecidability Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 --- NST "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: "there will still be a nested simulation tower" Kaz Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: Never any actual rebuttal to HHH(DD)==0 Since 10/13/2022 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Re: This only has one correct meaning and proves that HHH(DD)==0 Bacarisse is proven wrong about H(D)==0 --- The Halting Problem is Incoherent Re: XXXXX is proven wrong about H(D)==0 --- The Halting Problem is a Category Error Re: XXXXX is proven wrong about H(D)==0 --- The Halting Problem is a Category Error
HHH(DD) figured out by ChatGPT, Claude AI, Grok and Gemini Proof that the input to HHH(DD) specifies non-halting behavior HHH(DD) correctly rejects its input because of (a) Prolog missed a Billion Dollar Business Model [DGX Spark] Prolog has become the Useful Fool [Magic Square of 10 x 10] (Re: Prolog missed a Billion Dollar Business Model [DGX Spark]) New Challenges: Resilient ML Systems [Pushing the Frontier] (Re: Prolog has become the Useful Fool [Magic Square of 10 x 10]) The Halting Problem is a Category Error Re: The Halting Problem is a Category Error RDFs revenge on the AI Boom [GraphMERT] Re: RDFs revenge on the AI Boom [GraphMERT] --- This is the same idea as my basic facts Do we only see moated Models? [Aider LLM Leaderboards] (Was: RDFs revenge on the AI Boom [GraphMERT]) Farwell to Martin Kays Translator's Amanuensis [Generative AI] (Was: Do we only see moated Models? [Aider LLM Leaderboards]) Boris the Loris deeply shoked by Fuzzy Logic [Prompt Engineering is Dead] (Re: Farwell to Martin Kays Translator's Amanuensis [Generative AI] ) Re: RDFs revenge on the AI Boom [GraphMERT] --- Bridge to LLM reliability The Halting Problem is a Category Error Re: The Halting Problem is a Category Error My two specifications are equivalent HHH(DD)==0 is correct The halting problem is either incoherent or the proof wrong The halting problem is either incoherent or the proof wrong Ben Bacarisse is named because he was the best reviewer on this point How Saul Kripke provided the foundation for a consistent and correct truth predicate Re: How Saul Kripke provided the foundation for a consistent and correct truth predicate Semantic Properties of Finite String Inputs measured by ChatGPT 5.0 The Halting Problem is Incoherent The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory The Halting Problem is Incoherent Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Re: The Halting Problem is Incoherent Re: The halting problem is self-contradictory Re: The halting problem is self-contradictory Google Gemini '25 on "F-Continuum A-Theory" Re: Google Gemini '25 on "F-Continuum A-Theory" Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD() Re: Banach–Tarski paradox Halting problem proof converted to Liar Paradox --- never resolves to a truth value Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem Re: Defeating the Tarski Undefinability Theorem