Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How to get ChatGPT to agree that there is a category error in the
 traditional Halting Problem proofs
Date: Mon, 23 Jun 2025 16:17:45 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <103cg9r$1gvif$1@dont-email.me>
References: <T0i6Q.1946513$4AM6.1717601@fx17.ams4>
 <d3i6Q.1946514$4AM6.1767560@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 23 Jun 2025 23:17:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="aba4fd94e23f35feda5a08373e14adce";
	logging-data="1605199"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/V0PoeDg7y6SMTi8hJ5Vpy"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2nr/LKVp4x31G6oyMPUBF6KJS/U=
In-Reply-To: <d3i6Q.1946514$4AM6.1767560@fx17.ams4>
Content-Language: en-US
X-Antivirus: Norton (VPS 250623-4, 6/23/2025), Outbound message
X-Antivirus-Status: Clean

On 6/23/2025 2:38 PM, Mr Flibble wrote:
> On Mon, 23 Jun 2025 19:36:19 +0000, Mr Flibble wrote:
> 
>> The following ChatGPT session is a new session (i.e. no context history)
>> and contains what I think are the minimum number of steps to get the AI
>> to agree that there is a category error at the heart of the traditional
>> halting problem proofs:
>>
>> https://chatgpt.com/c/6859aa1c-f01c-800b-9f55-9066addeeb59
>>
>> Note: the initial prompt is an argument between between Olcott and Damon
>> in the comp.theory Usenet group.
>>
>> /Flibble
> 
> Sorry, correct URL shared:
> 
> https://chatgpt.com/share/6859ad21-f5cc-800b-bf0a-767d9a0cf916

*I started with the above link and explained more details*

ChatGPT understanding that I am correct and Richard is wrong
https://chatgpt.com/share/6859c379-e920-8011-8b43-7cf5ba9e6065



-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer