ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts

Liste des GroupesRevenir à theory 
Sujet : ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 12. Oct 2024, 03:46:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vecntr$hk5$1@dont-email.me>
User-Agent : Mozilla Thunderbird
https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
This link is live for the world. You can click on it
and try to convince ChatGPT that HHH is wrong to reject
DDD because the executed DDD does halt.
It will explain your mistake in clear simple language.
*The paper that this refers to*
Simulating Termination Analyzer H is Not Fooled by Pathological Input D
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
12 Oct 24 * ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts4olcott
12 Oct 24 `* Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts3Richard Damon
12 Oct 24  `* Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts2olcott
12 Oct 24   `- Re: ChatGPT explains why HHH(DDD) correctly rejects its input even though the executed DDD() halts1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal