Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---

Liste des GroupesRevenir à c theory 
Sujet : Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 ---
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 26. Oct 2024, 18:35:14
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <vfj98i$3iq0i$6@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sat, 26 Oct 2024 11:25:39 -0500 schrieb olcott:
On 10/26/2024 10:52 AM, Richard Damon wrote:
On 10/26/24 11:44 AM, olcott wrote:
On 10/26/2024 10:35 AM, Richard Damon wrote:
>
Right, and either it follows the rules of the x86 language and NEVER
stop, or it disobeys the requirements of the x86 language to stop its
emulaiton and return.
>
In other words after all of these years you still don't get this:
    "simulating halt decider H correctly simulates its input D
    until"
Repetition to help your ADD see what it keeps missing. Repetition to
help your ADD see what it keeps missing. Repetition to help your ADD
see what it keeps missing.
 
But it fails to meet the requirements, because your logic presumes that
HHH will never abort.
 
Not at all. In the hypothetical case where HHH never aborts then DDD
never stops running.
Why hypothetical? The HHH that *this* DDD here calls does abort.

--
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 paper111olcott
20 Oct 24 `* Re: What I told ChatGPT is essentially identical to the first page of my paper110Richard Damon
20 Oct 24  `* Re: What I told ChatGPT is essentially identical to the first page of my paper109olcott
20 Oct 24   +* Re: What I told ChatGPT is essentially identical to the first page of my paper5joes
20 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 paper103Richard Damon
20 Oct 24    +* Re: What I told ChatGPT is essentially identical to the first page of my paper90olcott
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 paper86joes
21 Oct 24    i `* Re: What I told ChatGPT is essentially identical to the first page of my paper85olcott
21 Oct 24    i  +* Re: What I told ChatGPT is essentially identical to the first page of my paper83joes
21 Oct 24    i  i`* Re: What I told ChatGPT is essentially identical to the first page of my paper82olcott
21 Oct 24    i  i `* Re: What I told ChatGPT is essentially identical to the first page of my paper81Richard Damon
21 Oct 24    i  i  `* Re: What I told ChatGPT is essentially identical to the first page of my paper80olcott
22 Oct 24    i  i   `* Re: What I told ChatGPT is essentially identical to the first page of my paper79Richard Damon
22 Oct 24    i  i    `* Re: What I told ChatGPT is essentially identical to the first page of my paper78olcott
22 Oct 24    i  i     `* Re: What I told ChatGPT is essentially identical to the first page of my paper77Richard Damon
22 Oct 24    i  i      `* Premises cannot be shown to be false without proving that they contradict each other76olcott
22 Oct 24    i  i       +* Re: Premises cannot be shown to be false without proving that they contradict each other72joes
22 Oct 24    i  i       i`* Re: Premises cannot be shown to be false without proving that they contradict each other71olcott
22 Oct 24    i  i       i `* Re: Premises cannot be shown to be false without proving that they contradict each other70joes
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 HHH166olcott
23 Oct 24    i  i       i  i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH165Richard Damon
23 Oct 24    i  i       i  i `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH164olcott
23 Oct 24    i  i       i  i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH163Richard 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 --- TYPO61olcott
23 Oct 24    i  i       i  i    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO60Richard Damon
23 Oct 24    i  i       i  i     `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO59olcott
24 Oct 24    i  i       i  i      `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO58Richard 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
25 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 --- TYPO43olcott
24 Oct 24    i  i       i  i        `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO42Richard Damon
24 Oct 24    i  i       i  i         `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO41olcott
25 Oct 24    i  i       i  i          `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO40Richard Damon
25 Oct 24    i  i       i  i           `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO39olcott
25 Oct 24    i  i       i  i            `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO38Richard Damon
25 Oct 24    i  i       i  i             `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO37olcott
25 Oct 24    i  i       i  i              `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO36Richard Damon
25 Oct 24    i  i       i  i               `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO35olcott
25 Oct 24    i  i       i  i                `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO34Richard 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                 i`* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO13olcott
26 Oct 24    i  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                 i  `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO11olcott
26 Oct 24    i  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                 i    `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO9olcott
27 Oct 24    i  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                 i      `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO7olcott
27 Oct 24    i  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                 i        `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO5olcott
27 Oct 24    i  i       i  i                 i         +- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO1joes
27 Oct 24    i  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                 i          `* Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO2olcott
27 Oct 24    i  i       i  i                 i           `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO1Richard Damon
26 Oct 24    i  i       i  i                 `- Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO1olcott
22 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
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 paper10olcott
21 Oct 24    i`* Re: What I told ChatGPT is essentially identical to the first page of my paper9Richard Damon
20 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