Re: ChatGPT refutes the key rebuttal of my work

On 10/13/24 9:28 AM, olcott wrote:

On 10/13/2024 8:19 AM, Richard Damon wrote:

On 10/13/24 8:53 AM, olcott wrote:

Although it is possible for LLM systems to lie:
https://en.wikipedia.org/wiki/Hallucination_(artificial_intelligence)
>
ChatGPT does correctly apply truth preserving operations to
the premises that it was provided regarding the behavior of
DDD and HHH. *Try to find a mistake in its reasoning*
>
*The key premises are simply*
(a) the source code for DDD

>
WHich isn't the source code for the PROGRAM DDD
>
Try to run that program just by itself.
>
It won't work, you need to include HHH (and everything it calls) so that the "source code" for DDD needs to include the definition of all of that.
>
Sorry, you are just proving you don't understand what you are talking about.
>

>
void DDD()
{
   HHH(DDD);
   return;
}
>
(b) The design of HHH as a simulating termination analyzer.

>
Which gets the wrong answer.
>

>
https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
Click on the above link to directly talk to ChatGPT about HHH
and DDD without logging in.
>
When you click on the link and try to explain how HHH must
be wrong when it reports that DDD does not terminate because
DDD does terminate it will explain your mistake to you.
>

>
You have taught Chat GPT this error as shown in this statement:
>

 I have only provided the source-code for DDD and the design of HHH.
You have not shown how any details of exactly what I told ChatGPT
are incorrect.
 

You mean like this statement:
The termination analyzer HHH is designed to detect non-terminating behavior. When HHH simulates DDD and sees this pattern of infinite recursive calls, it identifies that DDD will not terminate on its own.
But DDD does terminate on its own, as its copy of HHH, which is part of it, will abort it simulation of its input, since that is what you have shown its behavior to be, and thus DDD will return ON ITS OWN.
You need to have LIED to Chat GPT that somehow the HHH that DDD calls is NOT part of the progra\m DDD, which means you are violated the DEFINITIONS of the field.
I guess you are just admittting you are so stupid that you don't even understand what a PROGRAM is.
You seem to have just "forgotten" to define what the input to a termination analyser is, this is, that is it a description in some manner, of a PROGRAM, and that a PROGRAM includes all the code that the program uses.
In simpler words, your problem statement BEGINS with a category error, in that HHH is supposed to be given a program as its input, but it isn't.
That just shows you don't understand what you are talking about.