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.mathSuivi-à : comp.theoryDate : 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).
…