Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: comp.theory
Subject: Re: Four Chatbots figure out on their own without prompting that
 HHH(DDD)==0
Date: Sun, 20 Jul 2025 11:11:26 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <4663b9f22ece1a49cf1cacd96fc396e59f8caf03@i2pn2.org>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 20 Jul 2025 11:11:26 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1438577"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0

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.

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