Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.theory sci.mathDate : 27. Jun 2025, 20:43:06
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <103ms8a$ar3e$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 6/27/2025 2:24 PM, Richard Damon wrote:
On 6/27/25 3:11 PM, olcott wrote:>>
Turing Machines can and do compute mappings from finite
string inputs.
Right, and those finite strings can be representation of other abstract things, like programs or numbers.
*ChatGPT, Gemini and Grok all agree*
DDD correctly simulated by HHH cannot possibly reach
its simulated "return" statement final halt state.
https://chatgpt.com/share/685ed9e3-260c-8011-91d0-4dee3ee08f46https://gemini.google.com/app/f2527954a959bce4https://grok.com/share/c2hhcmQtMg%3D%3D_b750d0f1-9996-4394-b0e4-f76f6c77df3d --
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
Re: ChatGPT, Gemini, Grok and Claude all agree the input to HHH(DDD) specifies non-terminating behavior