Re: HP counter-example INPUT cannot possibly exist

Liste des GroupesRevenir à theory 
Sujet : Re: HP counter-example INPUT cannot possibly exist
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 26. Jun 2025, 07:24:52
Autres entêtes
Organisation : -
Message-ID : <103ip3k$3agc6$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Unison/2.2
On 2025-06-25 14:04:47 +0000, olcott said:

On 6/25/2025 2:57 AM, Fred. Zwarts wrote:
Op 24.jun.2025 om 16:48 schreef olcott:
 *This is the question that HHH(DDD) correctly answers*
Can DDD correctly simulated by any termination analyzer
HHH that can possibly exist reach its own "return" statement
final halt state?
 Since any first year CS student can see that DDD
simulated by HHH cannot possibly reach its own
"return" statement final halt state, then everyone
not seeing this has proven to have insufficient
technical competence to evaluate my work.
 
 Why repeating the obvious? Everyone here understands that HHH fails to reach the end of the simulation, where other simulators have no problem to reach the end of exactly the same input.
 ChatGPT totally understands that HHH(DDD) correctly
determines that DDD does not halt.
    *The Function DDD() In Principle*
    The core issue is that DDD() is recursively calling
    itself through HHH(DDD), which would lead to infinite
    recursion if allowed to continue. HHH detects this
    pattern and predicts that DDD() would not halt on its own.
     Therefore, HHH correctly reports that DDD() does not
    halt, even though in the actual execution, it halts
    because HHH steps in and prevents the infinite recursion.
 *ChatGPT analysis of HHH(DDD)*
https://chatgpt.com/share/67158ec6-3398-8011-98d1-41198baa29f2
To agree that the wrong answer is correct shows lack of understanding.
--
Mikko

Date Sujet#  Auteur
10 Jun 25 * Re: "big fat ignorant liar"46Richard Damon
10 Jun 25 `* Re: "big fat ignorant liar"45olcott
10 Jun 25  `* Re: "big fat ignorant liar"44Richard Damon
10 Jun 25   `* Re: "big fat ignorant liar"43olcott
10 Jun 25    +- Re: "big fat ignorant liar"1Richard Damon
11 Jun 25    `* Re: "big fat ignorant liar"41Mikko
11 Jun 25     `* Re: "big fat ignorant liar"40olcott
11 Jun 25      +- Re: "big fat ignorant liar"1Richard Damon
12 Jun 25      `* Re: "big fat ignorant liar"38Mikko
12 Jun 25       `* Re: "big fat ignorant liar"37olcott
12 Jun 25        +- Re: "big fat ignorant liar"1Richard Damon
13 Jun 25        `* Re: "big fat ignorant liar"35Mikko
13 Jun 25         `* Re: "big fat ignorant liar"34olcott
15 Jun 25          `* Re: "big fat ignorant liar"33Mikko
15 Jun 25           `* Re: "big fat ignorant liar"32olcott
16 Jun 25            `* Re: "big fat ignorant liar"31Mikko
18 Jun 25             `* HP counter-example INPUT cannot possibly exist30olcott
18 Jun 25              +* Re: HP counter-example INPUT cannot possibly exist16joes
18 Jun 25              i`* Re: HP counter-example INPUT cannot possibly exist15olcott
19 Jun 25              i `* Re: HP counter-example INPUT cannot possibly exist14Mikko
20 Jun 25              i  `* Re: HP counter-example INPUT cannot possibly exist13olcott
21 Jun 25              i   `* Re: HP counter-example INPUT cannot possibly exist12Mikko
21 Jun 25              i    `* Re: HP counter-example INPUT cannot possibly exist11olcott
22 Jun 25              i     `* Re: HP counter-example INPUT cannot possibly exist10Mikko
22 Jun 25              i      `* Re: HP counter-example INPUT cannot possibly exist9olcott
23 Jun 25              i       `* Re: HP counter-example INPUT cannot possibly exist8Mikko
23 Jun 25              i        `* Re: HP counter-example INPUT cannot possibly exist7olcott
24 Jun 25              i         `* Re: HP counter-example INPUT cannot possibly exist6Mikko
24 Jun 25              i          `* Re: HP counter-example INPUT cannot possibly exist5olcott
25 Jun 25              i           `* Re: HP counter-example INPUT cannot possibly exist4Fred. Zwarts
25 Jun 25              i            `* Re: HP counter-example INPUT cannot possibly exist3olcott
26 Jun 25              i             +- Re: HP counter-example INPUT cannot possibly exist1Mikko
26 Jun 25              i             `- Re: HP counter-example INPUT cannot possibly exist1Fred. Zwarts
19 Jun 25              `* Re: HP counter-example INPUT cannot possibly exist13Mikko
20 Jun 25               `* Re: HP counter-example INPUT cannot possibly exist12olcott
20 Jun 25                +* Re: HP counter-example INPUT cannot possibly exist2joes
20 Jun 25                i`- Re: HP counter-example INPUT cannot possibly exist1olcott
21 Jun 25                `* Re: HP counter-example INPUT cannot possibly exist9Mikko
21 Jun 25                 `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof8olcott
22 Jun 25                  `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof7Mikko
22 Jun 25                   `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof6olcott
23 Jun 25                    `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof5Mikko
23 Jun 25                     `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof4olcott
24 Jun 25                      `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof3Mikko
24 Jun 25                       `* Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof2olcott
25 Jun 25                        `- Re: HP counter-example INPUT cannot possibly exist --- Peter Linz HP Proof1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal