Sujet : Re: Four Chatbots figure out on their own without prompting that HHH(DDD)==0
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 20. Jul 2025, 12:11:26
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <4663b9f22ece1a49cf1cacd96fc396e59f8caf03@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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.
…