Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH

On 5/14/2025 8:34 PM, olcott wrote:

On 5/14/2025 7:32 PM, dbush wrote:

>
Anyone else reading "its simulated D" would read it as "the direct execution of algorithm D which H is simulating"

 Liar.
 

I'll let you respond to yourself:
On 10/12/2024 8:35 PM, olcott wrote:
 > That your rebuttals are pure bluster utterly bereft of any
 > supporting reasoning is clear to all having sufficient
 > technical understanding.
And that's how I read it, because that's the only interpretation that's compatible with the requirements:
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly