Liste des Groupes | Revenir à c theory |
On 5/14/2025 11:16 AM, Richard Heathfield wrote:Yes, I did.On 14/05/2025 17:04, olcott wrote:You did not pay enough attention.
>
<snip>
>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 isThe proof exists. Check the literature. It's complete, and it's not missing anything.
missing a key element.
Les messages affichés proviennent d'usenet.