novaBBS - comp.ai.philosophy - ChatGPT agrees that D correctly simulated by H meets the halt status criteria

ChatGPT agrees that D correctly simulated by H meets the halt status criteria

<tr9cb3$3eo3e$1@dont-email.me>

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

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 that D correctly simulated by H meets the halt status
criteria
Date: Mon, 30 Jan 2023 15:20:34 -0600
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <tr9cb3$3eo3e$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 21:20:35 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="305b6a6f28f0c6a0eec54ac1656281c5";
logging-data="3629166"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+liAoE74luJJ6G59WUQjzO"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.6.1
Cancel-Lock: sha1:FbMSLvu+dvdjoJqH7U9emD2G5hk=
Content-Language: en-US

by: olcott - Mon, 30 Jan 2023 21:20 UTC

This result can be replicated, it is the entire dialogue.

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

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:
Yes, if H never aborts its simulation of H, then the recursive
simulation of D by H would continue indefinitely.

--
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 that D correctly simulated by H meets the halt status	olcott

Logic is a pretty flower that smells bad.

computers / comp.ai.philosophy / ChatGPT agrees that D correctly simulated by H meets the halt status criteria