Re: ChatGPT refutes the key rebuttal of my work

Am Mon, 14 Oct 2024 10:38:00 -0500 schrieb olcott:

On 10/14/2024 6:21 AM, Richard Damon wrote:

On 10/14/24 5:49 AM, olcott wrote:

On 10/14/2024 4:04 AM, Mikko wrote:

On 2024-10-13 12:53:12 +0000, olcott said:
>

Although it is possible for LLM systems to lie:
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*

No reasoning shown.

https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
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.

No, it admits that DDD does halt, but that HHH must be correct to say
it doesn't, ... because of the lies you told it.

It proves that it has a much deeper understanding than anything that I
told it.

Its reasoning is based on the incorrect presumption that the HHH that
DDD calls is not part of the program DDD,

(1) DDD never has been a program it is a C function.
(2) HHH does correctly emulated itself emulating DDD
     this <is> a contiguous sequence of computation.

A program is a C function called from main(). This corresponds to the
behaviour of the actual execution.

because you have broken the definition of a program.

I am not the one saying that a C function <is> a program.
You should not be so sloppy in your use of terminology.
DDD emulated by HHH including HHH emulating itself emulating DDD is a
contiguous sequence of computation.
It is not and never has been a program. I think of DDD and HHH as
virtual machines.

--
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.