Liste des Groupes | Revenir à theory |
On 6/23/2025 2:58 PM, joes wrote:Am Mon, 23 Jun 2025 12:40:43 -0500 schrieb olcott:On 6/23/2025 10:34 AM, joes wrote:Am Mon, 23 Jun 2025 09:30:07 -0500 schrieb olcott:
Sure, it simulates *into* the call, but it never returns, which isThus when HHH is simulating DDD and DDD calls HHH(DDD) the outer HHH[blah blah non sequitur]My claim is thatIf you read the 38 pages you will see how this is incorrect. ChatGPTSuch as HHH, making it not a decider (when simulated).
"understands" that any program that must be aborted at some point to
prevent its infinite execution is not a halting program.
>
Well MY claim is that HHH simulated HHH (itself) doesn't halt.
obviousYou know what, it actually IS obvious that HHH can't simulate past the
call to HHH. Thanks for coming to my Ted talk.
does simulate itself simulating DDD.
Les messages affichés proviennent d'usenet.