Liste des Groupes | Revenir à theory |
On 2024-09-08 13:58:32 +0000, olcott said:_DDD()
On 9/8/2024 4:25 AM, Mikko wrote:We know except the only "people" that do so is you.On 2024-09-07 14:00:19 +0000, olcott said:>
>On 9/7/2024 5:19 AM, Fred. Zwarts wrote:>Op 06.sep.2024 om 13:31 schreef olcott:>On 9/6/2024 4:36 AM, Fred. Zwarts wrote:>Op 05.sep.2024 om 15:48 schreef olcott:>>>
HHH MUST ABORT AFTER SOME FIXED NUMBER OF RECURSIVE EMULATIONS
AND THE OUTERMOST HHH ALWAYS SEE ONE MORE THAN THE NEXT INNER ONE.
And the outer one, when aborting after two cycles , misses the behaviour of the inner one in the next cycle, where the inner one would see the 'special condition', abort, return to DDD, which would halt as well.
That HHH misses the last part of the behaviour of the program, does not change the fact that this is the behaviour that was coded in the program
>>>
If we have an infinite chain of people each waiting for
the next one down the line to do something then that thing
is never done.
The infinite chain exists only in your dream. In fact there are only two recursions, so never more that a chain of three HHH in the simulation.
HHH is incorrect in assuming the there is an infinite chain, but this incorrect assumption makes that it aborts and halts. This applies both to the simulating and the simulated HHH.
The way it is encoded now there are only two recursions.
>
If we encode it as you suggest the outermost directly
executed HHH would wait for the first emulated HHH which
would wait for the second which would wait for third
on and on...
>
What is olcott's problem with English?
If one way is incorrect, he thinks that it suggests that another way must be correct.
I never suggested to change HHH, because there is *no* correct way to do it. Every HHH that simulates itself is incorrect. No matter what clever code it includes.
You must be a brain dead moron.
As long as HHH emulates the sequence of instructions
it was provided then HHH is correct even if it catches
your computer on fire.
That is right. The error only occurs when HHH no longer emulates the
sequence of instructions it was provided.
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
>
H can abort its simulation of D and correctly report that D
specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
The above refers to determining that *its input D*
"specifies a non-halting sequence of configurations"
When people change this to a *non-input D* they are
trying to get away with deception.
Les messages affichés proviennent d'usenet.