Sujet : Re: ZFC solution to incorrect questions: reject them --discourse context --
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 18. Mar 2024, 07:32:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut8jku$t3b$5@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 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 3/17/2024 11:49 PM, immibis wrote:
On 18/03/24 05:40, olcott wrote:
When H1 says YES it is right.
When H says YES it is wrong.
Any halt decider is right to say YES on the input (D,D) if and only if D(D) halts.
*When H(D,D) says YES D gets stuck at line 05*
Can D correctly simulated by H terminate normally?
01 int D(ptr x) // ptr is pointer to int function
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 D(D);
12 }
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer