Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: ZFC solution to incorrect questions: reject them --discourse
 context --
Date: Mon, 18 Mar 2024 00:32:14 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <ut8jku$t3b$5@dont-email.me>
References: <usq5uq$e4sh$1@dont-email.me> <ut027d$1tcdv$1@dont-email.me>
 <ut06ub$1tev8$3@i2pn2.org> <ut079j$1u3jv$7@dont-email.me>
 <ut18pr$27u86$2@dont-email.me> <ut1mn9$2afad$7@dont-email.me>
 <ut24je$1vtvi$6@i2pn2.org> <ut25ro$2e06s$1@dont-email.me>
 <ut26nf$1vtvj$10@i2pn2.org> <ut276t$2e06s$6@dont-email.me>
 <ut28ab$1vtvj$18@i2pn2.org> <ut28qp$2e06s$12@dont-email.me>
 <ut2bf3$1vtvi$15@i2pn2.org> <ut2bs2$2f6aj$2@dont-email.me>
 <ut2h69$1vtvi$18@i2pn2.org> <ut2j5t$2gkoj$2@dont-email.me>
 <ut2k2h$1vtvj$26@i2pn2.org> <ut2kv3$2grvf$2@dont-email.me>
 <ut32se$2n598$3@dont-email.me> <ut3514$2n0uu$7@dont-email.me>
 <ut36tn$2notf$1@dont-email.me> <ut3a9n$2nm61$5@dont-email.me>
 <ut4eb8$23135$1@i2pn2.org> <ut4em7$2v4ce$3@dont-email.me>
 <ut4om5$23hsb$1@i2pn2.org> <ut4ps6$31jue$1@dont-email.me>
 <ut728u$3jbb8$1@dont-email.me> <ut78bh$3jbbs$7@dont-email.me>
 <ut7i9i$272r8$1@i2pn2.org> <ut7uof$3peut$5@dont-email.me>
 <ut81n9$3qb6d$2@dont-email.me> <ut8gkj$l2l$1@dont-email.me>
 <ut8h5g$m2e$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 18 Mar 2024 05:32:14 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="17ec9398ed80e19bde6326f5400a6c92";
	logging-data="29803"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/BA5tQHr52a8bO8lWJvh9t"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vRUzSZRlTCU/zVSI7cJ7lw0/Geo=
Content-Language: en-US
In-Reply-To: <ut8h5g$m2e$5@dont-email.me>
Bytes: 2693

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; Genius
hits a target no one else can see." Arthur Schopenhauer