Deutsch English Français Italiano |
<65ad41aa$0$6454$426a74cc@news.free.fr> 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: immibis <news@immibis.com> Newsgroups: comp.theory,sci.logic Subject: Re: Proof that H(D,D) meets its abort criteria --self-evident truth-- Date: Mon, 18 Mar 2024 05:50:14 +0100 Organization: A noiseless patient Spider Lines: 5 Message-ID: <ut8h66$m2e$6@dont-email.me> References: <ut1sgk$2buev$2@dont-email.me> <ut27l8$1vtvj$17@i2pn2.org> <ut283n$2e06s$9@dont-email.me> <ut2ava$1vtvi$14@i2pn2.org> <ut2dml$2ffu8$3@dont-email.me> <ut2h1a$1vtvj$24@i2pn2.org> <ut2iqa$2gkoj$1@dont-email.me> <ut2ler$1vtvj$28@i2pn2.org> <ut32q0$2n0uu$2@dont-email.me> <ut33k7$218kg$2@i2pn2.org> <ut34k2$2n0uu$6@dont-email.me> <ut377b$218kh$3@i2pn2.org> <ut4dt4$2v4ce$1@dont-email.me> <ut5d34$23hsb$8@i2pn2.org> <ut5env$35hhq$2@dont-email.me> <ut5lbn$23hsb$14@i2pn2.org> <ut5lub$3aia1$1@dont-email.me> <ut5pn8$23hsb$17@i2pn2.org> <ut5qld$3bau4$4@dont-email.me> <ut5rhp$23hsc$23@i2pn2.org> <ut5sbq$3bm5k$1@dont-email.me> <ut5tcl$23hsb$19@i2pn2.org> <ut5tlk$3bq8h$2@dont-email.me> <ut5um7$23hsc$25@i2pn2.org> <ut6q6q$3hh79$3@dont-email.me> <ut79og$3knkh$6@dont-email.me> <ut7u85$3peut$3@dont-email.me> <ut899e$27bqa$4@i2pn2.org> <ut8bji$3vipc$3@dont-email.me> <ut8cju$27bqa$8@i2pn2.org> <ut8e9k$8nr$1@dont-email.me> <ut8gic$27bqb$9@i2pn2.org> <ut8go9$l2l$2@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 04:50:14 -0000 (UTC) Injection-Info: dont-email.me; posting-host="550da80ad25050bf295550eabf52cd27"; logging-data="22606"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/8Yw3YayUCQACeWdffKsMU" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:A+F1D9vfXUjsKAo6Wz1WijWL9LI= In-Reply-To: <ut8go9$l2l$2@dont-email.me> Content-Language: en-US Bytes: 2119 On 18/03/24 05:42, olcott wrote: > Do you understand that each H(D,D) must either abort or fail to abort? > Do you understand that D(D) halts?