Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 11. May 2025, 02:26:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvoubl$3qtsi$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 5/10/2025 8:17 PM, wij wrote:
On Sat, 2025-05-10 at 17:03 -0500, olcott wrote:
On 5/10/2025 4:44 PM, wij wrote:
On Sat, 2025-05-10 at 14:29 -0500, olcott wrote:
On 5/10/2025 2:02 PM, wij wrote:
You don't know the counter example in the HP proof, your D is not the case what HP says.
Sure I do this is it! (as correctly encoded in C)
typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…