Deutsch English Français Italiano |
<ut8jku$t3b$5@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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