Message-ID:

Disobedience: The silver lining to the cloud of servitude. -- Ambrose Bierce

computers / comp.ai.philosophy / ChatGPT agrees with me again and this result can be replicated ---> H(D,D) never halts

ChatGPT agrees with me again and this result can be replicated ---> H(D,D) never halts

<tr93rn$3d994$1@dont-email.me>

https://www.novabbs.com/computers/article-flat.php?id=10541&group=comp.ai.philosophy#10541

copy link Newsgroups: comp.theory comp.ai.philosophy sci.logic sci.math

Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Subject: ChatGPT agrees with me again and this result can be replicated --->
H(D,D) never halts
Date: Mon, 30 Jan 2023 12:55:51 -0600
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <tr93rn$3d994$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 30 Jan 2023 18:55:52 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="305b6a6f28f0c6a0eec54ac1656281c5";
logging-data="3581220"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19sUrOg3dqcyu7RC6dBsEmc"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.6.1
Cancel-Lock: sha1:ZYehpIG25GPcUcvn8tR7L1bSlM0=
Content-Language: en-US

by: olcott - Mon, 30 Jan 2023 18:55 UTC

olcott:
int D(int (*x)())
{ int Halt_Status = H(x, x);
return Halt_Status;
}

int main()
{ H(D,D);
}

H continues to simulate D until D reaches its return instruction.

Does D correctly simulated by H continue to call H in recursive
simulation if H never aborts its simulation of H?

ChatGPT:
No, the code would result in an infinite recursion, as H continuously
simulates D, which in turn continuously calls H. This would cause a
stack overflow error as the call stack grows infinitely.

--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Subject	Author
ChatGPT agrees with me again and this result can be replicated --->	olcott