C function HHH correctly reports that DDD never terminates --- boiled down to two sentences

Liste des GroupesRevenir à cl c  
Sujet : C function HHH correctly reports that DDD never terminates --- boiled down to two sentences
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.c
Date : 13. Oct 2024, 02:03:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vef685$ci5v$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 10/11/2024 9:50 PM, olcott wrote:
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
 
void DDD()
{
   HHH(DDD);
   return;
}
When HHH is an x86 emulation based termination analyzer
then each DDD emulated by any HHH that it calls never returns.
Each of the directly executed HHH emulator/analyzers that returns
0 correctly reports the above non-terminating behavior of its input.
Fully operational code is here.
https://github.com/plolcott/x86utm/blob/master/Halt7.c
--
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 by rebuttal of the halting problem proofs is correct47olcott
12 Oct 24 +* Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct41Chris M. Thomasson
12 Oct 24 i`* Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct40Jan van den Broek
12 Oct 24 i `* Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct39Janis Papanagnou
12 Oct 24 i  `* Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct38Chris M. Thomasson
13 Oct 24 i   `* Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct37Kaz Kylheku
14 Oct 24 i    `* ChatGPT explains why rebuttals of my work are incorrect36olcott
15 Oct 24 i     +* Re: ChatGPT explains why rebuttals of my work are incorrect14Chris M. Thomasson
15 Oct 24 i     i+- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
16 Oct 24 i     i+* Re: ChatGPT explains why rebuttals of my work are incorrect10Mike Terry
16 Oct 24 i     ii+* Re: ChatGPT explains why rebuttals of my work are incorrect6Chris M. Thomasson
19 Oct 24 i     iii`* Re: ChatGPT explains why rebuttals of my work are incorrect5Mike Terry
19 Oct 24 i     iii +- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
20 Oct 24 i     iii +* Re: ChatGPT explains why rebuttals of my work are incorrect2Chris M. Thomasson
21 Oct 24 i     iii i`- ChatGPT 4.0 soundly refutes this key rebuttal of my work1olcott
20 Oct 24 i     iii `- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
19 Oct 24 i     ii`* Re: ChatGPT explains why rebuttals of my work are incorrect3olcott
19 Oct 24 i     ii `* Re: ChatGPT explains why rebuttals of my work are incorrect2Chris M. Thomasson
19 Oct 24 i     ii  `- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
19 Oct 24 i     i+- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
21 Oct 24 i     i`- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
15 Oct 24 i     +* Re: ChatGPT explains why rebuttals of my work are incorrect17tTh
15 Oct 24 i     i+* Re: ChatGPT explains why rebuttals of my work are incorrect13Chris M. Thomasson
15 Oct 24 i     ii`* Re: ChatGPT explains why rebuttals of my work are incorrect12Mike Terry
15 Oct 24 i     ii +* Re: ChatGPT explains why rebuttals of my work are incorrect9Chris M. Thomasson
15 Oct 24 i     ii i+* Re: ChatGPT explains why rebuttals of my work are incorrect7Mike Terry
15 Oct 24 i     ii ii+- Re: ChatGPT explains why rebuttals of my work are incorrect1Mike Terry
15 Oct 24 i     ii ii`* Re: ChatGPT explains why rebuttals of my work are incorrect5Chris M. Thomasson
15 Oct 24 i     ii ii +- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
16 Oct 24 i     ii ii `* Re: ChatGPT explains why rebuttals of my work are incorrect3Mike Terry
16 Oct 24 i     ii ii  +- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
19 Oct 24 i     ii ii  `- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
19 Oct 24 i     ii i`- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
19 Oct 24 i     ii `* Re: ChatGPT explains why rebuttals of my work are incorrect2olcott
19 Oct 24 i     ii  `- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
17 Oct 24 i     i+* Re: ChatGPT explains why rebuttals of my work are incorrect2Bonita Montero
19 Oct 24 i     ii`- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
19 Oct 24 i     i`- Re: ChatGPT explains why rebuttals of my work are incorrect1olcott
15 Oct 24 i     `* Re: ChatGPT explains why rebuttals of my work are incorrect4Chris M. Thomasson
15 Oct 24 i      +- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
19 Oct 24 i      `* Re: ChatGPT explains why rebuttals of my work are incorrect2olcott
19 Oct 24 i       `- Re: ChatGPT explains why rebuttals of my work are incorrect1Chris M. Thomasson
12 Oct 24 +- Re: ChatGPT explains why by rebuttal of the halting problem proofs is correct1Chris M. Thomasson
13 Oct 24 `* C function HHH correctly reports that DDD never terminates --- boiled down to two sentences4olcott
13 Oct 24  `* Re: C function HHH correctly reports that DDD never terminates --- boiled down to two sentences3tTh
13 Oct 24   `* Re: C function HHH correctly reports that DDD never terminates --- boiled down to two sentences2olcott
15 Oct 24    `- Re: C function HHH correctly reports that DDD never terminates --- boiled down to two sentences1Chris M. Thomasson

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal