Re: An unbiased analysis by ChatGPT of HHH(DDD) --- for Mackenzie & Bacarisse
Ben agreed that the Sipser approved criteria has been met --- Ben's objection finally addressed Re: Olcott is provable correct (Mike fails to pay attention)
Looks like sorting of rational trees needs an existential type (Re: Prolog totally missed the AI Boom) LLMs / Autoencoders could profit for Bisimulation Quotienting (Was: Looks like sorting of rational trees needs an existential type)
Are you Geh? From bi-simulation to bi-similarity (Re: LLMs / Autoencoders could profit for Bisimulation Quotienting) Quite vibrant logic history one can experience right now! (Was: Are you Geh? From bi-simulation to bi-similarity) Gian-Carlo Rota’s legacy and modern AI (Re: Would Poincaré miss the AI Boom?) Analogy as a Core of Intelligence (Human & Artificial) (Was: Gian-Carlo Rota’s legacy and modern AI) Alain Colmerauer Analogy : Rational Terms / Rational Numbers (Re: Analogy as a Core of Intelligence (Human & Artificial)) FYI: Peter Aczel Memorial Conference [10th September 2025] (Was: Alain Colmerauer Analogy : Rational Terms / Rational Numbers)
s/Coq/Rocq not found (Was: FYI: Peter Aczel Memorial Conference [10th September 2025])
Wonder Years are Over: Next Step Mars (Re: s/Coq/Rocq not found) Some of the legacy of Alain Colmerauer (Was: FYI: Peter Aczel Memorial Conference [10th September 2025]) How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR Re: Halting Problem Proof ERROR How to formalize dependent setoid morphisms? Julio: How to sort rational trees in Prolog? (Was: How to formalize dependent setoid morphisms? The headache an eGovernment might get from Prolog Wait till they find out about compare/3 (Re: The headache an eGovernment might get from Prolog) Humans are just overwhelmed by computers (Re: Wait till they find out about compare/3) Fishy 🐟 in Scryer Prolog and SWI-Prolog (Was: Humans are just overwhelmed by computers) So we are essentially all using Trojan Horses 🐎 daily? (Re: Fishy 🐟 in Scryer Prolog and SWI-Prolog) SWI-Prolog as a Test Bed for Copilots (Re: Humans are just overwhelmed by computers) Mathematics currently hates Computer Science because of AI (Was: SWI-Prolog as a Test Bed for Copilots) How Microtubules Cause Life After Death Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller --- Flibble is proved correct Re: My reviewers think that halt deciders must report on the behavior of their caller --- Flibble is proved correct Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: My reviewers think that halt deciders must report on the behavior of their caller Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof André G. Isaak still has not noticed his mistake Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof L∃∀n prover does embrace AI Fusion (Was: Semantic Indexing: Scaling Proofs as Programs) Coq/Rocq and how to completely break it Re: Coq/Rocq and how to completely break it Maybe AGI should take over proving (Was: Coq/Rocq and how to completely break it) Having 2544 issues is probably a bad sign (Was: Maybe AGI should take over proving) The Signal Collapse gives us System Uncertainty (Was: Having 2544 issues is probably a bad sign) Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader? Re: Simple enough for every reader?