Re: What I told ChatGPT is essentially identical to the first page of my paper

Liste des GroupesRevenir à theory 
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.theory
Date : 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 paper110olcott
20 Oct 24 `* Re: What I told ChatGPT is essentially identical to the first page of my paper109Richard Damon
20 Oct 24  `* Re: What I told ChatGPT is essentially identical to the first page of my paper108olcott
20 Oct 24   +* Re: What I told ChatGPT is essentially identical to the first page of my paper5joes
21 Oct 24   i`* Re: What I told ChatGPT is essentially identical to the first page of my paper4olcott
21 Oct 24   i `* Re: What I told ChatGPT is essentially identical to the first page of my paper3Richard Damon
21 Oct 24   i  `* Re: What I told ChatGPT is essentially identical to the first page of my paper2olcott
21 Oct 24   i   `- Re: What I told ChatGPT is essentially identical to the first page of my paper1Richard Damon
20 Oct 24   `* Re: What I told ChatGPT is essentially identical to the first page of my paper102Richard Damon
21 Oct 24    +* Re: What I told ChatGPT is essentially identical to the first page of my paper89olcott
21 Oct 24    i+* Re: What I told ChatGPT is essentially identical to the first page of my paper3Richard Damon
21 Oct 24    ii`* Re: What I told ChatGPT is essentially identical to the first page of my paper2olcott
21 Oct 24    ii `- Re: What I told ChatGPT is essentially identical to the first page of my paper1Richard Damon
21 Oct 24    i`* Re: What I told ChatGPT is essentially identical to the first page of my paper85joes
21 Oct 24    i `* Re: What I told ChatGPT is essentially identical to the first page of my paper84olcott
21 Oct 24    i  +* Re: What I told ChatGPT is essentially identical to the first page of my paper82joes
21 Oct 24    i  i`* Re: What I told ChatGPT is essentially identical to the first page of my paper81olcott
22 Oct 24    i  i `* Re: What I told ChatGPT is essentially identical to the first page of my paper80Richard Damon
22 Oct 24    i  i  `* Re: What I told ChatGPT is essentially identical to the first page of my paper79olcott
22 Oct 24    i  i   `* Re: What I told ChatGPT is essentially identical to the first page of my paper78Richard Damon
22 Oct 24    i  i    `* Re: What I told ChatGPT is essentially identical to the first page of my paper77olcott
22 Oct 24    i  i     `* Re: What I told ChatGPT is essentially identical to the first page of my paper76Richard Damon
22 Oct 24    i  i      `* Premises cannot be shown to be false without proving that they contradict each other75olcott
22 Oct 24    i  i       +* Re: Premises cannot be shown to be false without proving that they contradict each other71joes
22 Oct 24    i  i       i`* Re: Premises cannot be shown to be false without proving that they contradict each other70olcott
22 Oct 24    i  i       i `* Re: Premises cannot be shown to be false without proving that they contradict each other69joes
22 Oct 24    i  i       i  +- Re: Premises cannot be shown to be false without proving that they contradict each other1olcott
22 Oct 24    i  i       i  +* Verified facts regarding the software engineering of DDD, HHH, and HHH165olcott
23 Oct 24    i  i       i  i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH164Richard Damon
23 Oct 24    i  i       i  i `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH163olcott
23 Oct 24    i  i       i  i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH162Richard Damon
23 Oct 24    i  i       i  i   +- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH11olcott
23 Oct 24    i  i       i  i   `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO60olcott
23 Oct 24    i  i       i  i    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO59Richard Damon
23 Oct 24    i  i       i  i     `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO58olcott
24 Oct 24    i  i       i  i      `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO57Richard Damon
24 Oct 24    i  i       i  i       +* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO14olcott
24 Oct 24    i  i       i  i       i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO13Richard Damon
24 Oct 24    i  i       i  i       i `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO12olcott
25 Oct 24    i  i       i  i       i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO11Richard Damon
25 Oct 24    i  i       i  i       i   `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO10olcott
25 Oct 24    i  i       i  i       i    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO9Richard Damon
25 Oct 24    i  i       i  i       i     `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO8olcott
25 Oct 24    i  i       i  i       i      `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO7Richard Damon
26 Oct 24    i  i       i  i       i       `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO6olcott
26 Oct 24    i  i       i  i       i        `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO5Richard Damon
26 Oct 24    i  i       i  i       i         `* Foundation of formal logic systems --- finite string transformation rules applied to finite strings.4olcott
26 Oct 24    i  i       i  i       i          +* Every computable function can be construed as --- finite string transformation rules applied to finite strings.2olcott
26 Oct 24    i  i       i  i       i          i`- Re: Every computable function can be construed as --- finite string transformation rules applied to finite strings.1Richard Damon
26 Oct 24    i  i       i  i       i          `- Re: Foundation of formal logic systems --- finite string transformation rules applied to finite strings.1Richard Damon
24 Oct 24    i  i       i  i       `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO42olcott
24 Oct 24    i  i       i  i        `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO41Richard Damon
24 Oct 24    i  i       i  i         `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO40olcott
25 Oct 24    i  i       i  i          `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO39Richard Damon
25 Oct 24    i  i       i  i           `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO38olcott
25 Oct 24    i  i       i  i            `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO37Richard Damon
25 Oct 24    i  i       i  i             `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO36olcott
25 Oct 24    i  i       i  i              `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO35Richard Damon
25 Oct 24    i  i       i  i               `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO34olcott
26 Oct 24    i  i       i  i                `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO33Richard Damon
26 Oct 24    i  i       i  i                 +* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO18olcott
26 Oct 24    i  i       i  i                 i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO17Richard Damon
26 Oct 24    i  i       i  i                 i `* Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---16olcott
26 Oct 24    i  i       i  i                 i  +* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---5joes
26 Oct 24    i  i       i  i                 i  i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---4olcott
26 Oct 24    i  i       i  i                 i  i `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---3Richard Damon
26 Oct 24    i  i       i  i                 i  i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---2olcott
27 Oct 24    i  i       i  i                 i  i   `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---1Richard Damon
26 Oct 24    i  i       i  i                 i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---10Richard Damon
26 Oct 24    i  i       i  i                 i   `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---9olcott
26 Oct 24    i  i       i  i                 i    +* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---6Richard Damon
26 Oct 24    i  i       i  i                 i    i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---5olcott
26 Oct 24    i  i       i  i                 i    i +* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---3joes
26 Oct 24    i  i       i  i                 i    i i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---2olcott
27 Oct 24    i  i       i  i                 i    i i `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---1Richard Damon
27 Oct 24    i  i       i  i                 i    i `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---1Richard Damon
26 Oct 24    i  i       i  i                 i    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---2joes
26 Oct 24    i  i       i  i                 i     `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---1olcott
26 Oct 24    i  i       i  i                 `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO14Richard Damon
26 Oct 24    i  i       i  i                  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO13olcott
26 Oct 24    i  i       i  i                   `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO12Richard Damon
26 Oct 24    i  i       i  i                    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO11olcott
26 Oct 24    i  i       i  i                     `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO10Richard Damon
26 Oct 24    i  i       i  i                      `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO9olcott
27 Oct 24    i  i       i  i                       `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO8Richard Damon
27 Oct 24    i  i       i  i                        `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO7olcott
27 Oct 24    i  i       i  i                         `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO6Richard Damon
27 Oct 24    i  i       i  i                          `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO5olcott
27 Oct 24    i  i       i  i                           +- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO1joes
27 Oct 24    i  i       i  i                           `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO3Richard Damon
27 Oct 24    i  i       i  i                            `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO2olcott
27 Oct 24    i  i       i  i                             `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO1Richard Damon
23 Oct 24    i  i       i  `* Re: Premises cannot be shown to be false without proving that they contradict each other2Mike Terry
23 Oct 24    i  i       i   `- Re: Premises cannot be shown to be false without proving that they contradict each other1olcott
22 Oct 24    i  i       `* Re: Premises cannot be shown to be false without proving that they contradict each other3Richard Damon
22 Oct 24    i  i        `* Re: Premises cannot be shown to be false without proving that they contradict each other2olcott
23 Oct 24    i  i         `- Re: Premises cannot be shown to be false without proving that they contradict each other1Richard Damon
22 Oct 24    i  `- Re: What I told ChatGPT is essentially identical to the first page of my paper1Richard Damon
21 Oct 24    +* Re: What I told ChatGPT is essentially identical to the first page of my paper10olcott
21 Oct 24    i`* Re: What I told ChatGPT is essentially identical to the first page of my paper9Richard Damon
21 Oct 24    i `* Re: What I told ChatGPT is essentially identical to the first page of my paper8olcott
21 Oct 24    +- Re: What I told ChatGPT is essentially identical to the first page of my paper1olcott
21 Oct 24    `- ChatGPT input is essentially page(1) of my paper -- clean update1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal