Re: ChatGPT agrees that HHH refutes the standard halting problem proof method

Liste des GroupesRevenir à s math 
Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logic sci.math
Suivi-à : comp.theory
Date : 27. Jun 2025, 18:27:51
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <103mkan$111i$1@news.muc.de>
References : 1 2 3 4 5 6 7
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

I know that DDD .... simulated by HHH cannot
possibly reach its own simulated "return" statement
final halt state because the execution trace
conclusively proves this.

Everybody else knows this, too, and nobody has said otherwise.  The
conclusion is that the simulation by HHH is incorrect.

That no one else can possibly provide a correct
execution trace that refutes this means there has
been no actual rebuttal.

Dream on.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
26 Jun 25 * Re: ChatGPT agrees that HHH refutes the standard halting problem proof method19olcott
27 Jun 25 `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method18Richard Damon
27 Jun 25  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method17olcott
27 Jun 25   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method16Richard Damon
27 Jun17:16    +* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method12olcott
27 Jun18:54    i`* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method11Richard Damon
27 Jun20:11    i `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method10olcott
27 Jun20:24    i  `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method9Richard Damon
27 Jun20:43    i   `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method8olcott
27 Jun20:55    i    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method7Richard Damon
27 Jun21:10    i     `* ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior6olcott
27 Jun22:42    i      +- Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior1Richard Damon
28 Jun02:12    i      `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior4Richard Damon
28 Jun02:20    i       `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior3olcott
28 Jun04:07    i        `* Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior2Richard Damon
28 Jun14:04    i         `- Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior1Richard Damon
27 Jun17:34    `* Re: ChatGPT agrees that HHH refutes the standard halting problem proof method3olcott
27 Jun18:27     +- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Alan Mackenzie
27 Jun18:50     `- Re: ChatGPT agrees that HHH refutes the standard halting problem proof method1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal