The halting problem as defined is a category error
Re: The halting problem as defined is a category error
Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error --- Flibble is correct Re: The halting problem as defined is a category error --- Flibble is correct Re: The halting problem as defined is a category error --- Flibble is correct
Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0 Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: Respect [was: The halting problem as defined is a category error] Re: The halting problem as defined is a category error --- Flibble is correct Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error -- Flibble is correct Re: The halting problem as defined is a category error -- Flibble is correct Re: The halting problem as defined is a category error -- Flibble is correct Re: The halting problem as defined is a category error -- Flibble is correct Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error Re: The halting problem as defined is a category error 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 Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof Re: Title: A Structural Analysis of the Standard Halting Problem Proof
Fathers of Bisimulation: Robin Milner (1934–2010) 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