Deutsch English Français Italiano |
<ushn65$2b2v0$3@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: immibis <news@immibis.com> Newsgroups: comp.theory,sci.logic Subject: Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement-- Date: Sat, 9 Mar 2024 14:11:33 +0100 Organization: A noiseless patient Spider Lines: 21 Message-ID: <ushn65$2b2v0$3@dont-email.me> 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> <usas0v$11q96$2@i2pn2.org> <usavq1$m7mn$1@dont-email.me> <usb01q$m897$1@dont-email.me> <usb0q0$m7mn$5@dont-email.me> <usb8d4$nksq$1@dont-email.me> <usb9e9$nkt8$4@dont-email.me> <usck1s$13k1e$2@dont-email.me> <uscs49$15f45$1@dont-email.me> <usdq1r$1be15$3@dont-email.me> <usdrjq$1bkg1$2@dont-email.me> <usdteu$15q44$1@i2pn2.org> <use0nb$1ga79$1@dont-email.me> <use249$15q44$6@i2pn2.org> <use899$1hhbj$1@dont-email.me> <usea2m$167tc$4@i2pn2.org> <useb9n$1i1ob$1@dont-email.me> <usecb8$167tc$5@i2pn2.org> <useep5$1ie34$3@dont-email.me> <usefpn$167kp$3@i2pn2.org> <usfhmm$1qkfn$3@dont-email.me> <usfjin$1r7ap$1@dont-email.me> <usfkf5$1rdpp$3@dont-email.me> <usfn4o$1rvel$1@dont-email.me> <usfnne$1s1nb$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 9 Mar 2024 13:11:33 -0000 (UTC) Injection-Info: dont-email.me; posting-host="ebd212445c811809099967b94be0604e"; logging-data="2460640"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+oWApNZpNaIHWKAUXcATA9" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:kl4bKmA4/X82FIFStM+TzhePl30= In-Reply-To: <usfnne$1s1nb$3@dont-email.me> Content-Language: en-US Bytes: 2770 On 8/03/24 20:08, olcott wrote: > On 3/8/2024 12:58 PM, immibis wrote: >> On 8/03/24 19:12, olcott wrote: >>> >>> Unless it is an extra parameter it has no basis for doing this. >>> If it is an extra parameter then it is no longer the Linz proof. >>> >> >> So it's impossible to make a Turing machine that writes 12345 onto its >> tape unless 12345 is a parameter? > > That is a valid point. > It is impossible to get me to talk about that until > we first have full closure that the Linz H correctly > determines the halt status of the Linz Ĥ ⟨Ĥ⟩ when run > in the Olcott master UTM. > When run in the Olcott master UTM as Olcott machines, the Linz proof does not work because it is designed for Turing machines. A different proof works.