Sujet : Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 14. May 2025, 19:25:50
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ab00c1f0559543dc9ce55a0277ba72a6b99ba673@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 14 May 2025 11:43:32 -0500 schrieb olcott:
On 5/14/2025 11:16 AM, Richard Heathfield wrote:
On 14/05/2025 17:04, olcott wrote:
The HP proofs require an input D that can actually do the opposite of
whatever value that H returns. Such an input cannot possibly exist.
Agreed. That is precisely what Turing proved.
The proof itself cannot exist because it is missing a key element.
No, you were right: D cannot exist without H.
-- 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.