On 10/20/2025 4:18 AM, Mikko wrote:You ass. If a program is running forever, its doing something... You cannot just abort it?On 2025-10-19 16:18:38 +0000, olcott said:In the case of HHH(DD) even the directly executed DD()
>On 10/19/2025 3:57 AM, Mikko wrote:>On 2025-10-18 11:04:45 +0000, olcott said:>
>On 10/18/2025 4:40 AM, Mikko wrote:>On 2025-10-09 17:27:39 +0000, olcott said:>>>
*Ben already agreed that I met that particular reading*
But Sipser hasn't agreed.
It told me that I could quote his agreement.
That only covers the specific words. He didn't agree to any interpretaion
of the words that deviates from his understanding of them, nor to any
inferences from those words.
<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>
What Sipser did not agree was that even if the direct execution of D
halts if not aborted it is still possible that H correctly determines
that its simulated D would never stop running unless aborted.
>
does not halt unless HHH(DD) unless HHH aborts the
simulation of its input.
The Halting Problem is a Category Error
https://philpapers.org/archive/OLCTHP-3.pdf
Les messages affichés proviennent d'usenet.