Liste des Groupes | Revenir à theory |
On 4/30/2025 10:46 AM, Richard Heathfield wrote:Only by LYING and using strawman.On 30/04/2025 16:15, olcott wrote:Because you don't pay any attention at allOn 4/29/2025 5:03 PM, Richard Heathfield wrote:>On 29/04/2025 22:38, olcott wrote:>
>
<snip>
>>>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
>
HHH is correct DD as non-halting BECAUSE THAT IS
WHAT THE INPUT TO HHH(DD) SPECIFIES.
You're going round the same loop again.
>
Either your HHH() is a universal termination analyser or it isn't.
The domain of HHH is DD.
Then it is attacking not the Halting Problem but the Olcott Problem, which is of interest to nobody but you.
>
you did not bother to notice that I have never been
attacking the Halting Problem only the conventional
Halting Problem proof.
THE IMPOSSIBLE INPUT IS REJECTED AS NON-HALTING.
Les messages affichés proviennent d'usenet.