Deutsch English Français Italiano |
<usd6aa$150h1$2@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder6.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory,sci.logic Subject: Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement-- Date: Thu, 7 Mar 2024 11:59:05 -0800 Organization: i2pn2 (i2pn.org) Message-ID: <usd6aa$150h1$2@i2pn2.org> References: <us8shn$7g2d$1@dont-email.me> <us92f0$uvql$4@i2pn2.org> <us931e$8gmr$1@dont-email.me> <usa4rk$10ek4$3@i2pn2.org> <usa5to$gp0j$1@dont-email.me> <usa8lp$10ek5$5@i2pn2.org> <usa9o9$ho7b$1@dont-email.me> <usag21$118jg$1@i2pn2.org> <usanbu$klu7$1@dont-email.me> <usavv8$m3rv$5@dont-email.me> <usb0fh$m7mn$4@dont-email.me> <usbb7s$12dn0$1@i2pn2.org> <usbbtq$rneq$2@dont-email.me> <usbfjn$12dmv$7@i2pn2.org> <usbm60$tg2q$2@dont-email.me> <usbnb6$12dmv$16@i2pn2.org> <usbpb4$u2pm$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 7 Mar 2024 19:59:06 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1212961"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: <usbpb4$u2pm$1@dont-email.me> Content-Language: en-US Bytes: 2254 Lines: 20 On 3/6/24 11:11 PM, olcott wrote: > On 3/7/2024 12:37 AM, Richard Damon wrote: >> On 3/6/24 10:17 PM, olcott wrote: >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts >>> Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt >>> >>> The design of Olcott Machines makes quite easy for Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ >>> to get its abort criteria. >>> >> >> Which doesn't match the Halting Problem requirements, > > It does match the Halting Problem requirements, when > they are implemented indirectly as "abort criteria". > Which is a different criteria, so you are just admitting that you are using a strawman desception and thus INTENTIONALLY LYING. Somehow you think lies are ok if they help you prove your false statements.