Path: ...!local-2.nntp.ord.giganews.com!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 16 Oct 2024 01:43:49 +0000
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Subject: Re: ChatGPT explains why rebuttals of my work are incorrect
Newsgroups: comp.lang.c
References: <veco64$hk5$4@dont-email.me> <vecrqv$1bav$2@dont-email.me>
 <vedfnq$43kg$1@dont-email.me> <veef3v$93ft$1@dont-email.me>
 <veeinu$9l7s$1@dont-email.me> <20241013093342.546@kylheku.com>
 <vei1aq$11jh4$1@dont-email.me> <vek594$1c3q7$1@dont-email.me>
X-Mozilla-News-Host: news://man.com
Date: Wed, 16 Oct 2024 02:43:46 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
MIME-Version: 1.0
In-Reply-To: <vek594$1c3q7$1@dont-email.me>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <F9-dndrjC9PIh5L6nZ2dnZfqn_WdnZ2d@brightview.co.uk>
Lines: 60
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-AJx45F7LQt2saD8zKbCzXFPfkg0AxcGQTSsh6yb7kDY22OXLDEoLMmNeyqeXlGW34irS4n/VpHnbOPy!MiEXcDh7kEDdbbPBcZNKapqT4v9i1ILIEWgGniDt1xqfoBVEuoy5lMv6y+mnzIkdh4qZDRmzFQag!AYtE/eN5uXld2+UNTmozSPXcUDE=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 3224

On 14/10/2024 23:17, Chris M. Thomasson wrote:
> On 10/13/2024 7:57 PM, olcott wrote:
>> On 10/13/2024 11:34 AM, Kaz Kylheku wrote:
>>> On 2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> wrote:
>>>> On 10/12/2024 11:28 AM, Janis Papanagnou wrote:
>>>>> On 12.10.2024 11:32, Jan van den Broek wrote:
>>>>>> 2024-10-12, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> schrieb:
>>>>>>> On 10/11/2024 7:50 PM, olcott wrote:
>>>>>>
>>>>>> [Schnipp]
>>>>>>
>>>>>> As I see it, the main Halting Problem is Olcott not halting.
>>>>>
>>>>> LOL! - A very nice one. Thanks for that. :-)
>>>>
>>>> I second that. :^)
>>>
>>> You're likely thousand-seconding that. The Olcott not halting joke
>>> is many years old now, and will likely come up again.
>>>
>>>
>>
>> My cancer has gotten worse.
>>
>> *ChatGPT explains why rebuttals of my work are incorrect*
>> https://chatgpt.com/share/6709e046-4794-8011-98b7-27066fb49f3e
>>
>> I had to dumb this down from the original halting problem
>> input so that reviewers can verify that HHH is correct
>> without hardly paying any attention at all:
>>
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
>>
>> When HHH is an x86 emulation based termination analyzer
>> then each DDD emulated by any HHH that it calls never returns.
> [...]
> 
> Isn't that similar to:
> 
> void foobar()
> {
>      foobar();
> }
> 
> ? >

Similar, but different because HHH only performs a /partial/ step by step emulation of DDD - it 
stops emulating after a while and returns, so DDD() halts.  foobar() will never halt (ignoring 
physical resource constraints like running out of stack).  foobar() undergoes infinite recursive 
call.  DDD() exhibits /finite/ recursive emulation, then halts.

Mike.