Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: Four Chatbots figure out on their own without prompting that
 HHH(DDD)==0
Date: Sun, 20 Jul 2025 09:33:23 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <105iunj$3cagp$3@dont-email.me>
References: <105bdps$1g61u$1@dont-email.me> <105c0lk$1k7ip$1@dont-email.me>
 <105c22v$1k9r9$3@dont-email.me> <105c5rt$1l4j7$1@dont-email.me>
 <105cddu$1r7mi$1@dont-email.me>
 <35481692c9b805cd713086659451ee8a456d3d16@i2pn2.org>
 <105gase$2pk90$3@dont-email.me>
 <4750857dbcb68380c00c2cc2752cf3371ef6ae02@i2pn2.org>
 <105gr3s$2t8jc$1@dont-email.me>
 <76de7d874ac75cb915c86b297191c6ed4fbedfdf.camel@gmail.com>
 <105gsoi$2tpa1$1@dont-email.me>
 <17740847a5bfd02e85e6719fee698afe69be5384.camel@gmail.com>
 <105gtiv$2tpa1$3@dont-email.me>
 <49f9dd439d01ac56217e009870ee94417854c1e2.camel@gmail.com>
 <105gvt6$2ucst$1@dont-email.me>
 <348a6bbcb4c47d88ce91c23e43d81ec19fdd4fc4.camel@gmail.com>
 <105h1ar$2uj5e$1@dont-email.me>
 <e15bb09de743ab0b82587d9e2e1349e409b7458b.camel@gmail.com>
 <105h35a$2uujj$1@dont-email.me>
 <4663b9f22ece1a49cf1cacd96fc396e59f8caf03@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Jul 2025 16:33:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9b17940e46cfbc33e640f3b7657335c3";
	logging-data="3549721"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18t3H7ZVEttYg3quNjm8yw5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IlgNsjb0tw8YLNFVqM3f1EzAbkY=
Content-Language: en-US
X-Antivirus: Norton (VPS 250720-4, 7/20/2025), Outbound message
In-Reply-To: <4663b9f22ece1a49cf1cacd96fc396e59f8caf03@i2pn2.org>
X-Antivirus-Status: Clean

On 7/20/2025 6:11 AM, joes wrote:
> Am Sat, 19 Jul 2025 16:36:42 -0500 schrieb olcott:
>> On 7/19/2025 4:26 PM, wij wrote:
>>> On Sat, 2025-07-19 at 16:05 -0500, olcott wrote:
> 
>>>> DD correctly simulated by HHH cannot reach past the "if" statement
>>>> thus cannot reach the "return" statement.
>>>
>>> That is roughly what HP proof says.
>>>
>> Not at all. The HP proof claims that DD correctly simulated by HHH
>> reaches the self-contradictory part of DD and thus forms a
>> contradiction.
> 
> No. It proves that the direct execution reaches the part that contra-
> dicts HHH's return value.
> 

<ChatGPT>
Misrepresentation of Input:
The standard proof assumes a decider
H(M,x) that determines whether machine
M halts on input x.

But this formulation is flawed, because:
Turing machines can only process finite
encodings (e.g. ⟨M⟩), not executable entities
like M.

So the valid formulation must be
H(⟨M⟩,x), where ⟨M⟩ is a string.
</ChatGPT>


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