Sujet : Re: ChatGPT agrees that HHH refutes the standard halting problem proof method
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 30. Jun 2025, 03:39:10
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a60543ff9feb748df80b32970c67bb8c7ab13d89@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 6/29/25 3:51 PM, Mr Flibble wrote:
On Sun, 29 Jun 2025 15:00:35 -0400, Richard Damon wrote:
Remember, the simulator must be simulating the INPUT, and thus to go
past the call HHH instruction, the code must be part of the input, and
the input needs to be a constant.
No. If HHH is simulating DDD then HHH can detect a call to itself being
passed DDD within DDD and can assert at that point that the input is non-
halting.
/Flibble
And thus isn't simu;ating THE INPUT, and that the input isn't a PROGRAM.
Also, what if DDD is using a copy of HHH, as per the proof program, which might have variations in the code.
Sorry, just shows you don't understand the problem.
…