Liste des Groupes | Revenir à theory |
On Tue, 30 Jul 2024 16:13:55 -0500, olcott <polcott333@gmail.com>It is not supposed to be a general solution to the halting problem.
wrote:
On 7/30/2024 4:07 PM, joes wrote:Which means that it works in some cases, not all casesAm Tue, 30 Jul 2024 15:05:54 -0500 schrieb olcott:>On 7/30/2024 1:48 PM, Fred. Zwarts wrote:>Op 30.jul.2024 om 17:14 schreef olcott:On 7/30/2024 9:51 AM, Fred. Zwarts wrote:Op 30.jul.2024 om 16:21 schreef olcott:On 7/30/2024 1:52 AM, Mikko wrote:On 2024-07-29 14:07:53 +0000, olcott said:>
>HHH(Infinite_Recursion) and HHH(DDD) show the same non-haltingHard to believe as their behaviour is so different and you don't
behavior pattern in their derived execution traces of their
inputs.
say what pattern the see.
*Its all in the part that you erased*But the abort is not commented out in the running code!I proved otherwise. When the abort code is commented out then it keepsExcept that the prediction for the second one is wrong. The simulationWe all see the differences between these two.>
They both correctly predict behavior that must be aborted to prevent
the infinite execution of the simulating halt decider.
>
of an aborting and halting function, like HHH, does not need to be
aborted.
repeating again and again, thus conclusively proving that is must be
aborted or HHH never halts.
>
I modified the original code by commenting out
the abort and it does endlessly repeat just like
HHH correctly predicted.
Which means it doesn't work universally
So it's not a general solution to the halting problem
Les messages affichés proviennent d'usenet.