XPost: comp.theory
From: polcott333@gmail.com

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.

https://philpapers.org/archive/OLCSTA-3.pdf


--
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)