Sujet : Re: What I told ChatGPT is essentially identical to the first page of my paper
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 21. Oct 2024, 16:17:49
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a9302e42f51777b34f4a7c695247ea98f0f060ad@i2pn2.org>
References : 1 2 3 4 5 6 7
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Mon, 21 Oct 2024 08:41:11 -0500 schrieb olcott:
On 10/21/2024 3:39 AM, joes wrote:
Am Sun, 20 Oct 2024 17:36:25 -0500 schrieb olcott:
On 10/20/2024 4:41 PM, Richard Damon wrote:
On 10/20/24 4:23 PM, olcott wrote:
On 10/20/2024 2:13 PM, Richard Damon wrote:
On 10/20/24 1:33 PM, olcott wrote:
Note, I DID tell that to Chat GPT, and it agrees that DDD, when the
criteria is what does DDD actually do, which is what the question
MUST be about to be about the Termination or Halting problem, then
DDD WILL HALT since HHH(DDD) will return 0 to it.
No one ever bother to notice that (a) A decider cannot have its actual
self as its input.
lolwut? A decider is a normal program, and it should be handled like
every other input.
(b) In the case of the pathological input DDD to emulating termination
analyzer HHH the behavior of the directly executed DDD (not an input
to HHH) is different than the behavior of DDD that is an input to HHH.
DDD *is* the input to HHH.
The executed DDD calls HHH() and this call returns. The emulated DDD
calls HHH(DDD) and this call cannot possibly return.
But whyyy doesn't HHH abort?
You can click on the link and cut-and-paste the question to see the
whole answer in compete detail.
I am not interested in arguing with a chatbot. Make the points yourself.
1. **Nature of `DDD()`**:
- `DDD()` simply calls `HHH(DDD)`. It does not perform any additional
operations that could create a loop or prevent it from returning.
- If `HHH` returns (whether by aborting or completing its simulation),
`DDD()` can return to its caller.
2. **Behavior of `HHH`**:
- If `HHH` is able to simulate `DDD()` and return, it should report
that `DDD()` terminates. If `HHH` aborts due to detecting non-termination,
it does not reflect the actual execution of `DDD()`; it leads to a
conclusion that may not align with the true behavior.
3. **Contradiction in Results**:
- If `HHH` claims that `DDD()` does not halt, but in reality, `DDD()`
can terminate once `HHH` returns, then `HHH` is providing an incorrect
analysis.
- The contradiction lies in the ability of `HHH` to detect non-
termination theoretically while simultaneously allowing `DDD()` to halt in
practical execution.
### Conclusion:
Given the nature of `DDD()` and how `HHH` operates, it becomes clear that
`HHH` cannot consistently provide a correct answer about whether `DDD()`
halts. The dynamics of calling and returning create a scenario where the
outcomes conflict. Thus, `HHH` is fundamentally flawed in its role as a
termination analyzer for functions like `DDD()`.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.
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 |