Liste des Groupes | Revenir à c theory |
On 5/16/2025 7:23 PM, Richard Damon wrote:Right. "its simulated" specifying which input we are talkig about.On 5/16/25 7:59 PM, olcott wrote:<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>On 5/16/2025 10:48 AM, Richard Heathfield wrote:>On 16/05/2025 16:10, olcott wrote:>
>
<snip>
>>>
void DDD()
{
HHH(DDD);
return;
}
>
Anyone that knows C can tell that when HHH does simulate
DDD correctly that it keeps getting deeper in recursive
simulation until aborted or OOM error.
Anyone who knows C knows that there isn't much HHH can do with the pointer value it's given. It can call DDD:
>
(*p)();
>
Sure when you make sure to totally ignore crucial
words in the specification of *HHH SIMULATES ITS INPUT*
then by using the strawman error on these dishonestly
changed words they are easy to rebut.
>
https://en.wikipedia.org/wiki/Straw_man
>
On the other hand when honest C programmers see
those words they will think of something like a C
interpreter written in C is doing the simulation.
>
Nope, I have explained it, but it seems you are just to stupid to understand (and if you stop here you will just prove your stupidity)
>
>
Yes, H uses its partial simulation to make the decision, and that can be from the partial simulation.
>
But the criteria about being non-halting is based at looking at the hypothetical correct simulation of this exact input (that is the meaninf of its simulated input would not halt) and if that simulation will ever reach a final state, which it does.
>
If simulating halt decider H
correctly simulates its input D until
H correctly determines that
its simulated D would never stop running unless aborted
THIS HAS ONE MEANING
*its simulated D would never stop running unless aborted*
its simulated input calls HHH in recursive emulation.But that HHH is the original HHH that WILL abort (since that is what you finally decide it does, this isn't the hypothetical one) and return 0, that "recursive simulation" is only to a finite depth, and thus WILL halt.
If this recursive emulation is not aborted then DD() never stops.
Les messages affichés proviennent d'usenet.