XPost: comp.theory
From: polcott333@gmail.com
On 10/27/2025 7:41 PM, Kaz Kylheku wrote:
> On 2025-10-28, olcott wrote:
>> On 10/27/2025 7:23 PM, Kaz Kylheku wrote:
>>> On 2025-10-27, olcott wrote:
>>>> On 10/27/2025 3:48 PM, Kaz Kylheku wrote:
>>>>> On 2025-10-27, dbush wrote:
>>>>>>> I am only referring to these fifteen lines
>>>>>>>
>>>>>>> A straight forward sequence of steps that any
>>>>>>> C programmer can easily determine:
>>>>>>>
>>>>>>> int D()
>>>>>>> {
>>>>>>> int Halt_Status = H(D);
>>>>>>> if (Halt_Status)
>>>>>>> HERE: goto HERE;
>>>>>>> return Halt_Status;
>>>>>>> }
>>>>>>>
>>>>>>
>>>>>> Then you have nothing as this is incomplete and cannot be run.
>>>>
>>>> This proves the general idea regardless of the
>>>> implementation details of any specific instance.
>>>
>>> OK, so you are saying you no longer have a viable, discussion-worthy
>>> instance?
>>>
>>> Oopsies, if so!
>>>
>>
>> Sure I do, you just know that this is so dead
>> obviously correct that you keep erasing it
>>
>> HHH(DD) simulates DD that calls HHH(DD) to do this
>> again and again until HHH figures out what is up.
>
> And then HHH returns a result to DD, and DD shows that it is wrong.
Finally a breakthrough. Once we establish this breakthrough
we can get on to the next step that addresses your objection.
int D()
{
int Halt_Status = H(D);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
H simulates D
that calls H(D) to simulate D
that calls H(D) to simulate D
that calls H(D) to simulate D
that calls H(D) to simulate D
that calls H(D) to simulate D
until H sees this repeating pattern.
Once you acknowledge that this is true we can get
on to the next point that addresses your objection.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
