Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: ChatGPT refutes the key rebuttal of my work
Date: Wed, 16 Oct 2024 19:23:36 +0300
Organization: -
Lines: 53
Message-ID: <veopa8$2ameu$1@dont-email.me>
References: <vegfro$lk27$9@dont-email.me> <veimqs$14que$1@dont-email.me> <veipf3$15764$1@dont-email.me> <36ecdefcca730806c7bd9ec03e326fac1a9c8464@i2pn2.org> <vejcoj$1879f$1@dont-email.me> <vel9ct$1l118$1@dont-email.me> <velorl$1n3gb$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 16 Oct 2024 18:23:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c2b64c8d9d5f91cba6202ffc6fb76962";
	logging-data="2447838"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/MtYvN6vtE5DC0MGLcTZq8"
User-Agent: Unison/2.2
Cancel-Lock: sha1:pEAZl1iwY4e3kNJfYH6K4SwB6YA=
Bytes: 2941

On 2024-10-15 12:57:25 +0000, olcott said:

> On 10/15/2024 3:33 AM, Mikko wrote:
>> On 2024-10-14 15:18:43 +0000, olcott said:
>> 
>>> On 10/14/2024 7:06 AM, joes wrote:
>>>> Am Mon, 14 Oct 2024 04:49:22 -0500 schrieb olcott:
>>>>> 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.
>>>> It is nonsensical for HHH not to report that DDD terminates.
>>>> 
>>> The explanation is quite good. I will take what you said
>>> to mean that it was over your head or didn't bother to
>>> look at it.
>>> 
>>> You never confirmed that you even know what infinite
>>> recursion is.
>> 
>> Could you confirm that you know whether there is an infinite recursion
>> in DDD?
>> 
> 
> Recursive emulation is isomorphic to recursion.
> 
> The following is to be understood only within my
> stipulative definitions of terms provided in my first
> reply to you today.
> 
> Recursive emulation that does not have a termination
> condition within the c function under test is infinite.
> 
> This refers to my stipulative definition of terms
> provided in my first reply to you. To the best of my
> knowledge these definitions are also industry standard.

This can be interpreted as an overly verbose 'No'.

-- 
Mikko