Sujet : What I told ChatGPT is essentially identical to the first page of my paper
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 20. Oct 2024, 18:33:57
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vf3eu5$fbb3$2@dont-email.me>
User-Agent : Mozilla Thunderbird
This is the only new material that sums up the
essence of what a simulating termination analyzer is.
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern. When
HHH detects such a pattern it aborts its simulation
and returns 0.
All of the follows is simply cut-and-paste from my paper
except that I added DDD(DDD) call in main().
https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3eSimulating 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_DEverything below is verbatim cut-and-paste from my above paper.
typedef void (*ptr)();
int HHH(ptr P);
void Infinite_Recursion()
{
Infinite_Recursion();
}
void DDD()
{
HHH(DDD);
return;
}
int main()
{
HHH(Infinite_Recursion);
HHH(DDD);
DDD(DDD);
}
Every C programmer that knows that when HHH emulates the machine language of, Infinite_Recursion it must abort this emulation so that itself can terminate normally.
When this is construed as non-halting criteria then simulating termination analyzer HHH is correct to reject this input as non-halting by returning 0 to its caller.
We get the same repetitive pattern when DDD is correctly emulated by HHH. HHH emulates DDD that calls HHH(DDD) to do this again.
Do the function calls from main() return to main() ?
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Date | Sujet | # | | Auteur |
20 Oct 24 | What I told ChatGPT is essentially identical to the first page of my paper | 110 | | olcott |
20 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 109 | | Richard Damon |
20 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 108 | | olcott |
20 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 5 | | joes |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 4 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 3 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 2 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 1 | | Richard Damon |
20 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 102 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 89 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 3 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 2 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 1 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 85 | | joes |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 84 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 82 | | joes |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 81 | | olcott |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 80 | | Richard Damon |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 79 | | olcott |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 78 | | Richard Damon |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 77 | | olcott |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 76 | | Richard Damon |
22 Oct 24 | Premises cannot be shown to be false without proving that they contradict each other | 75 | | olcott |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 71 | | joes |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 70 | | olcott |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 69 | | joes |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 1 | | olcott |
22 Oct 24 | Verified facts regarding the software engineering of DDD, HHH, and HHH1 | 65 | | olcott |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 | 64 | | Richard Damon |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 | 63 | | olcott |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 | 62 | | Richard Damon |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 | 1 | | olcott |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 60 | | olcott |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 59 | | Richard Damon |
23 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 58 | | olcott |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 57 | | Richard Damon |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 14 | | olcott |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 13 | | Richard Damon |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 12 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 11 | | Richard Damon |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 10 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 9 | | Richard Damon |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 8 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 7 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 6 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 5 | | Richard Damon |
26 Oct 24 | Foundation of formal logic systems --- finite string transformation rules applied to finite strings. | 4 | | olcott |
26 Oct 24 | Every computable function can be construed as --- finite string transformation rules applied to finite strings. | 2 | | olcott |
26 Oct 24 | Re: Every computable function can be construed as --- finite string transformation rules applied to finite strings. | 1 | | Richard Damon |
26 Oct 24 | Re: Foundation of formal logic systems --- finite string transformation rules applied to finite strings. | 1 | | Richard Damon |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 42 | | olcott |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 41 | | Richard Damon |
24 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 40 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 39 | | Richard Damon |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 38 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 37 | | Richard Damon |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 36 | | olcott |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 35 | | Richard Damon |
25 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 34 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 33 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 18 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 17 | | Richard Damon |
26 Oct 24 | Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 16 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 5 | | joes |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 4 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 3 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 2 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 1 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 10 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 9 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 6 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 5 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 3 | | joes |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 2 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 1 | | Richard Damon |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 1 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 2 | | joes |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- | 1 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 14 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 13 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 12 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 11 | | olcott |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 10 | | Richard Damon |
26 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 9 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 8 | | Richard Damon |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 7 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 6 | | Richard Damon |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 5 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 1 | | joes |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 3 | | Richard Damon |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 2 | | olcott |
27 Oct 24 | Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO | 1 | | Richard Damon |
23 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 2 | | Mike Terry |
23 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 1 | | olcott |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 3 | | Richard Damon |
22 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 2 | | olcott |
23 Oct 24 | Re: Premises cannot be shown to be false without proving that they contradict each other | 1 | | Richard Damon |
22 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 1 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 10 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 9 | | Richard Damon |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 8 | | olcott |
21 Oct 24 | Re: What I told ChatGPT is essentially identical to the first page of my paper | 1 | | olcott |
21 Oct 24 | ChatGPT input is essentially page(1) of my paper -- clean update | 1 | | olcott |