On 10/23/2025 4:33 AM, Mikko wrote:DD halts wanyway. That has been tested.On 2025-10-22 12:32:48 +0000, olcott said:Crucial to the fact that DD halts.
On 10/22/2025 4:04 AM, Mikko wrote:Irrelevant to the fact that DD halts.On 2025-10-21 23:54:33 +0000, olcott said:No Turing machine can compute any mapping from
On 10/21/2025 4:53 AM, Mikko wrote:You have posted traces that unambigously show that DD() halts. And anyoneOn 2025-10-20 17:03:55 +0000, olcott said:That DD() halts depends on HHH(DD) rejecting its input.
On 10/20/2025 4:18 AM, Mikko wrote:There is no "unless" about it. DD halts.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:What Sipser did not agree was that even if the direct execution of DOn 2025-10-18 11:04:45 +0000, olcott said:<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
On 10/18/2025 4:40 AM, Mikko wrote:That only covers the specific words. He didn't agree to any interpretaionOn 2025-10-09 17:27:39 +0000, olcott said:It told me that I could quote his agreement.*Ben already agreed that I met that particular reading*But Sipser hasn't agreed.
of the words that deviates from his understanding of them, nor to any
inferences from those words.
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>
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.
can get from GirHub everything needed to check that DD() halts.
non-inputs. The DD() caller of HHH(DD)
*IS NOT AN ARGUMENT TO DD*
That the halting problem requires HHH to reportThe halting problem asks for a method to determine about every
on the behavior of its caller instead of the behavior
that its actual input actually specifies is a category
error on the part of the halting problem.
computation whether it halts. No exeptions.
--
Mikko
Les messages affichés proviennent d'usenet.