Liste des Groupes | Revenir à theory |
On 6/11/2025 7:38 AM, Fred. Zwarts wrote:But the recursion isn't infinite for any of the HHH's that you claim to get the right answer.Op 10.jun.2025 om 19:25 schreef olcott:So you aren't bright enough to understand thatOn 6/10/2025 3:49 AM, Fred. Zwarts wrote:>Op 09.jun.2025 om 16:39 schreef olcott:>On 6/9/2025 5:26 AM, Fred. Zwarts wrote:>Op 09.jun.2025 om 06:04 schreef olcott:>On 6/8/2025 10:54 PM, Keith Thompson wrote:>olcott <polcott333@gmail.com> writes:>On 6/8/2025 10:31 PM, Keith Thompson wrote:>olcott <polcott333@gmail.com> writes:>void DDD()Do not imply that I support your claims.
{
HHH(DDD);
return;
}
>
The *input* to simulating termination analyzer HHH(DDD)
specifies recursive simulation that can never reach its
*simulated "return" instruction final halt state*
>
*Every rebuttal to this changes the words*
I am not implying anything. I am directly stating
that you have agreed that when DDD is correctly simulated
by HHH that it cannot possibly reach its own simulated
"return" instruction and terminate normally.
Endless recursion is endless recursion. Correctly simulated endless
recursion is endless recursion.
Great. No one else besides you and I agree that DDD
correctly simulated by HHH cannot possibly reach its
*simulated "return" instruction final halt state*
Nobody denied it. You are fighting windmills.
We all agree that your HHH fails to reach the end of the simulation of the input. An input that specifies a halting program, but HHH cannot simulate it.
>>>This has no useful or interesting>
consequences. Do you agree?
>
It is very useful because it is isomorphic to this:
(The standard Halting Problem counter-example input)
>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
>
Indeed, it shows that simulation is not the right way to try to refute the proof of the halting theorem, because a simulator will never be able to simulate itself correctly up to the end.
>
It is ridiculously stupid to require a non-terminating
input to be simulated up to its non-existent end.
>
It is even more stupid to ignore the halting part of the input (with a premature abort) and claim it is not halting.
It waiting forever is not long enough (and it is)
then your idea about "premature abort" is incorrect.
Running one more cycle is enough to see the simulated abort (unless you change the input to another input specifying another program that needs again another cycle. That other input is only in your dream. The input specified in Halt7.c is the input we discuss.
>
infinite recursion does not halt on its own.
HHH waits until it sees that its input calls the sameWhich is NOT a correct non-halting condition, and those conditional branches DO matter.
function with the same parameters twice in sequence
with no conditional branch inbetween the beginning
of DDD and its call to HHH(DDD). It does not matter
that there are conditional branch instructions in HHH
because they cannot be reached and none of them could
possibly enable DDD simulated by HHH to reach its own
"return" statement final halt state.
The outermost HHH sees this infinite recursion behaviorNo, it sees the INCORRECT pattern created by the idiot that programmed it that has shown that he believes his own lies.
pattern one whole recursive emulation before the next
inner one. Because each instance of HHH has the same
machine code unless the outmost one aborts none of them
abort. If the outermost HHH waits on the inner one then
they all wait and the abort never occurs.
Unless HHH(DDD) aborts the simulation of its inputRight, but since it does, so does the directly executed DDD (which isn't aborted by anthing, since it can't be)
DDD simulated by HHH, the directly executed DDD() and
the directly executed HHH() NEVER STOP RUNNING.
I have told you this many times and you just aren'tNo, *YOU* are the ignorant one, as has been explained, and you are using LIES as your definitions, and that DOES make you incorrect.
bright enough to understand. That you are ignorant
DOES NOT MAKE ME INCORRECT, IT MAKES YOU INCORRECT.
>>
That you do not understand that unless the outermost
HHH aborts that no HHH ever aborts is your mistake
not mine.
>
>
That you do not see that one more cycle is enough, because you keep changing the input to something you dream about but is not the actual input is your problem, not mine.
Les messages affichés proviennent d'usenet.