XPost: comp.theory
From: dbush.mobile@gmail.com
On 10/27/2025 8:48 PM, olcott wrote:
> 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.
>
And reports on the following non-input:
int D()
{
int Halt_Status = UTM(D);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
