Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis

Liste des GroupesRevenir à s math 
Sujet : Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic sci.math comp.ai.philosophy
Date : 25. Jun 2025, 03:34:46
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <9f26651c63add199233632d5b5245b1f9305b482@i2pn2.org>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 6/24/25 10:39 AM, olcott wrote:
On 6/24/2025 6:27 AM, Richard Damon wrote:
On 6/23/25 9:38 PM, olcott wrote:
On 6/22/2025 9:11 PM, Richard Damon wrote:
On 6/22/25 10:05 PM, olcott wrote:
Since one year ago ChatGPT increased its token limit
from 4,000 to 128,000 so that now "understands" the
complete proof of the DD example shown below.
>
int DD()
{
    int Halt_Status = HHH(DD);
    if (Halt_Status)
      HERE: goto HERE;
    return Halt_Status;
}
>
*This seems to be the complete HHH(DD) that includes HHH(DDD)*
https://chatgpt.com/share/6857286e-6b48-8011-91a9-9f6e8152809f
>
ChatGPT agrees that I have correctly refuted every halting
problem proof technique that relies on the above pattern.
>
>
>
Which begins with the LIE:
>
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern.
>
>
Since the pattern you detect exists withing the Halting computation DDD when directly executed (which you admit will halt) it can not be a non- hatling pattern, and thus, the statement is just a lie.
>
Sorry, you are just proving that you basic nature is to be a liar.
>
*Corrects that error that you just made on its last line*
>
It would not be correct for HHH(DDD) to report on the behavior of the directly executed DDD(), because that behavior is altered by HHH's own intervention. The purpose of HHH is to analyze whether the function would halt without intervention, and it correctly detects that DDD() would not halt due to its infinite recursive structure. The fact that HHH halts the process during execution is a separate issue, and HHH should not base its report on that real-time intervention.
>
https://chatgpt.com/share/67158ec6-3398-8011-98d1-41198baa29f2
>
>
>
Why wouldn't it be? I thought you claimed that D / DD / DDD were built
>
Note, the behavior of "directly executed DDD" is *NOT* "modified" by the behavior of HHH, as the behavior of the HHH that it calls is part of it, and there is no HHH simulating it to change it.
>
 *ChatGPT and I agree that*
The directly executed DDD() is merely the first step of
otherwise infinitely recursive emulation that is terminated
at its second step.
Since the directly executed DDD actually halts, this is just nonsence from a deluded mind.

 Feel free to directly argue against this conclusion with ChatGPT
this is a live link:
https://chatgpt.com/share/67158ec6-3398-8011-98d1-41198baa29f2
 If ChatGPT is merely a yes man it should be very easy to
convince it that you are correct.
 

Date Sujet#  Auteur
23 Jun 25 * ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis21olcott
23 Jun 25 `* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis20Richard Damon
23 Jun 25  +* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis4olcott
23 Jun 25  i`* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis3Richard Damon
23 Jun 25  i `* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis2olcott
24 Jun 25  i  `- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1Richard Damon
24 Jun 25  `* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis15olcott
24 Jun 25   `* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis14Richard Damon
24 Jun 25    `* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis13olcott
24 Jun 25     +* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis2Chris M. Thomasson
24 Jun 25     i`- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1olcott
25 Jun 25     +* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis9Richard Damon
25 Jun 25     i`* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis8olcott
25 Jun 25     i +- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1olcott
26 Jun 25     i +* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis5Richard Damon
26 Jun 25     i i`* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis4olcott
26 Jun 25     i i +* Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis2olcott
26 Jun 25     i i i`- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1Richard Damon
26 Jun 25     i i `- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1Richard Damon
26 Jun 25     i `- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1Richard Damon
25 Jun 25     `- Re: ChatGPT agrees that I have refuted the conventional Halting Problem proof technique --- Full 38 page analysis1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal