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

Liste des GroupesRevenir à theory 
Sujet : Re: Verified facts regarding the software engineering of DDD, HHH, and HHH1 --- TYPO
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 24. Oct 2024, 02:51:21
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vfc96p$2b6h0$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 10/23/2024 6:16 PM, Richard Damon wrote:
On 10/23/24 8:33 AM, olcott wrote:
On 10/23/2024 6:12 AM, Richard Damon wrote:
On 10/23/24 12:04 AM, olcott wrote:
On 10/22/2024 10:47 PM, Richard Damon wrote:
On 10/22/24 11:25 PM, olcott wrote:
On 10/22/2024 10:02 PM, Richard Damon wrote:
On 10/22/24 11:57 AM, olcott wrote:
On 10/22/2024 10:18 AM, joes wrote:
Am Tue, 22 Oct 2024 08:47:39 -0500 schrieb olcott:
On 10/22/2024 4:50 AM, joes wrote:
Am Mon, 21 Oct 2024 22:04:49 -0500 schrieb olcott:
On 10/21/2024 9:42 PM, Richard Damon wrote:
On 10/21/24 7:08 PM, olcott wrote:
On 10/21/2024 6:05 PM, Richard Damon wrote:
On 10/21/24 6:48 PM, olcott wrote:
On 10/21/2024 5:34 PM, Richard Damon wrote:
On 10/21/24 12:29 PM, olcott wrote:
On 10/21/2024 10:17 AM, joes wrote:
Am Mon, 21 Oct 2024 08:41:11 -0500 schrieb olcott:
On 10/21/2024 3:39 AM, joes wrote:
>
Did ChatGPT generate that?
If it did then I need *ALL the input that caused it to generate
that*
It's not like it will deterministically regenerate the same output.
>
No, someone using some REAL INTELEGENCE, as opposed to a program
using "artificial intelegence" that had been loaded with false
premises and other lies.
I specifically asked it to verify that its key assumption is
correct and it did.
No, it said that given what you told it (which was a lie)
I asked it if what it was told was a lie and it explained how what
it was told is correct.
"naw, I wasn't lied to, they said they were saying the truth" sure
buddy.
>
Because Chat GPT doesn't care about lying.
ChatGPT computes the truth and you can't actually show otherwise.
HAHAHAHAHA there isn't anything about truth in there, prove me wrong
>
Because what you are asking for is nonsense.
Of course an AI that has been programmed with lies might repeat the
lies.
When it is told the actual definition, after being told your lies,
and asked if your conclusion could be right, it said No.
Thus, it seems by your logic, you have to admit defeat, as the AI,
after being told your lies, still was able to come up with the
correct answer, that DDD will halt, and that HHH is just incorrect to
say it doesn't.
I believe that the "output" Joes provided was fake on the basis that
she did not provide the input to derive that output and did not use
the required basis that was on the link.
I definitely typed something out in the style of an LLM instead of my
own words /s
>
If you want me to pay more attention to what you say, you first need
to return the favor, and at least TRY to find an error in what I say,
and be based on more than just that you think that can't be right.
But you can't do that, as you don't actually know any facts about the
field that you can point to qualified references.
You cannot show that my premises are actually false.
To show that they are false would at least require showing that they
contradict each other.
Accepting your premises makes the problem uninteresting.
That seems to indicate that you are admitting that you cheated when you
discussed this with ChatGPT. You gave it a faulty basis and then argued
against that.
Just no. Do you believe that I didn't write this myself after all?
>
They also conventional within the context of software engineering. That
software engineering conventions seem incompatible with computer science
conventions may refute the latter.
lol
>
The a halt decider must report on the behavior that itself is contained
within seems to be an incorrect convention.
Just because you don't like the undecidability of the halting problem?
>
u32 HHH1(ptr P)  // line 721
u32 HHH(ptr P)   // line 801
The above two functions have identical C code except for their name.
>
The input to HHH1(DDD) halts. The input to HHH(DDD) does not halt. This
conclusively proves that the pathological relationship between DDD and
HHH makes a difference in the behavior of DDD.
That makes no sense. DDD halts or doesn't either way. HHH and HHH1 may
give different answers, but then exactly one of them must be wrong.
Do they both call HHH? How does their execution differ?
>
>
void DDD()
{
   HHH(DDD);
   return;
}
>
*It is a verified fact that*
>
(a) Both HHH1 and HHH emulate DDD according to the
semantics of the x86 language.
>
But HHH only does so INCOMPLETELY.
>
>
(b) HHH and HHH1 have verbatim identical c source
code, except for their differing names.
>
So? the fact the give different results just proves that they must have a "hidden input" thta gives them that different behavior, so they can't be actually deciders.
>
HHH1 either references itself with the name HHH1, instead of the name HHH, so has DIFFERENT source code, or your code uses assembly to extract the address that it is running at, making that address a "hidden input" to the code.
>
So, you just proved that you never meet your basic requirements, and everything is just a lie.
>
>
(c) DDD emulated by HHH has different behavior than
DDD emulated by HHH1.
>
No, just less of it because HHH aborts its emulation.
>
Aborted emulation doesn't provide final behavior.
>
>
(d) Each DDD *correctly_emulated_by* any HHH that
this DDD calls cannot possibly return no matter
what this HHH does.
>
>
No, it can not be emulated by that HHH to that point, but that doesn't mean that the behavior of program DDD doesn't get there.
>
Halt Deciding / Termination Analysis is about the behavior of the program described, and thus all you are showing is that you aren't working on either of those problems, but have just been lying.
>
>
Note, your argument is using a equivocation on the term "correctly emulated" as you are trying to claim a correct emulation by just a partial emulation, but also trying to claim a result that only comes from COMPLETE emulation, that of determining final behavior.
>
This again, just prove that you whole proof is based on lies.
>
I didn't hardly glance at any of that.
*This verified fact is a key element of my point*
>
When HHH1(DDD) emulates DDD this DDD reaches its final state.
When HHH(DDD) emulates DDD this DDD cannot possibly reach its
final state.
>
>
But HHH aborts its emulation, and to that point saw EXACTLY the same sequence of steps that HHH1 saw (or you have lied about them being identical and pure funcitons).
>
>
*That double talk dodges the point that I made*
>
>
What "Double talk"?
>
Your whole logic is just double talk.
>
You confuse your made up fanstay for reality and lock yourself into your insanity.
>
DDD emulated by HHH cannot possibly reach
its final state no matter WTF that HHH does.
>
There is your Equivocation again!
>
"Reaching Final State" is a property of the execution of complete emulation of a program.
>
So, since when we look at that for a DDD that calls an HHH that returns an answer, we find it reaches such a final state, your claim is just a blantant lie. Not just an honest mistake, as you have been told repeatedly the answer, but in your total stupidity reject the truth to keep your lies.
>
>
DDD emulated by HHH according to the semantics of the
x86 language cannot possibly reach its own "return"
instruction  matter WTF that HHH does.
 Then your logic is just inconsistant as HHH can not be folling the semantic of the x86 language and then do "WTF".
 
We have already been through this too many times.
I just found out that ChatGPT also has ADD. When
you hit 4000 words of input and output it starts
forgetting things. Maybe you are this same way?
It is freaking amazing that when you stay within
this 4000 word limit its reasoning is superb.
You seem to be having a hard time understanding the
above 24 words.
You can't seem to understand a correct emulation of
zero to infinity steps by each element of an an infinite
set of HHH emulators results in zero instances of DDD
reaching its own "return" instruction.
ChatGPT does completely understand this.
--
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
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