Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.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 09:04:03 -0600
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <ushtp3$2cerl$1@dont-email.me>
References: <us8shn$7g2d$1@dont-email.me> <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>
 <ushn65$2b2v0$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 15:04:03 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98";
	logging-data="2505589"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19uHu2I+WgDhKAyKL7GNkqb"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AkjTezDm7UXwQ8ZFwG2ihJvo/Zs=
Content-Language: en-US
In-Reply-To: <ushn65$2b2v0$3@dont-email.me>
Bytes: 3131

On 3/9/2024 7:11 AM, immibis wrote:
> 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.

Because Olcott machines are more powerful than Turing Machines they can 
correctly determine the halt status of this input: H ⟨Ĥ⟩ ⟨Ĥ⟩ <H>.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer