novaBBS - sci.lang - Re: Clarification of Linz Ĥ Description [ Are we there yet ? ] (V3)

Re: Clarification of Linz Ĥ Description [ Are we there yet ? ] (V3)

<KJqdnUBd27v3GsX8nZ2dnUU7-YnNnZ2d@giganews.com>

https://www.novabbs.com/tech/article-flat.php?id=13675&group=sci.lang#13675

copy link Newsgroups: comp.theory comp.ai.philosophy sci.lang sci.logic

Path: rocksolid2!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 02 Oct 2021 11:23:06 -0500
Subject: Re:_Clarification_of_Linz_Ĥ_Description_[_Are_we
_there_yet_?_]_(V3)
Newsgroups: comp.theory,comp.ai.philosophy,sci.lang,sci.logic
References: <dfydnaQuAsbmRs78nZ2dnUU7-UXNnZ2d@giganews.com>
<2436d983-22f8-4555-9a9f-1e9fb3044e9fn@googlegroups.com>
<9f6dnVe1rdbIpsr8nZ2dnUU7-avNnZ2d@giganews.com>
<IqH5J.94131$g81.67757@fx33.iad>
<1qmdnWxwZob91cr8nZ2dnUU7-LXNnZ2d@giganews.com> <871r54jwzc.fsf@bsb.me.uk>
<quGdnaHlLvQU68r8nZ2dnUU7-VvNnZ2d@giganews.com> <87pmsoidwg.fsf@bsb.me.uk>
<IPidnf5fTOMnFsr8nZ2dnUU7-IXNnZ2d@giganews.com> <87r1d4guf9.fsf@bsb.me.uk>
<N_-dnfpXbp0qRsr8nZ2dnUU7-RPNnZ2d@giganews.com>
<STW5J.31456$dI3.5205@fx10.iad>
<_uudnTHi8b9L9MX8nZ2dnUU7-eHNnZ2d@giganews.com> <87lf3bh31u.fsf@bsb.me.uk>
<qqidnTbsxrWq5sX8nZ2dnUU7-V-dnZ2d@giganews.com> <sj9vip$mdp$1@dont-email.me>
From: NoO...@NoWhere.com (olcott)
Date: Sat, 2 Oct 2021 11:23:05 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.14.0
MIME-Version: 1.0
In-Reply-To: <sj9vip$mdp$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 8bit
Message-ID: <KJqdnUBd27v3GsX8nZ2dnUU7-YnNnZ2d@giganews.com>
Lines: 38
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-3bfVTsB/XyEGxodjvbDRvHrUbtNRgtm9zKWkqQXMKJr6p0fhqFXkZltNIOjYGEwVCpSnlFB045USiqs!tX7QDYUkkGntZbCQQJ+/W+i1FjhRBgZM/1JQjdlHCqLYPumoq0mfdRwMMurv92fmdyYNPOvdZig=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2989

by: olcott - Sat, 2 Oct 2021 16:23 UTC

On 10/2/2021 10:58 AM, André G. Isaak wrote:
> On 2021-10-02 09:31, olcott wrote:
>
>> The problem is that when Linz refers to wM he calls it M.
>>
>> The input to H will be the description (encoded in some form) of M,
>> say wM, as well as the input w.
>>
>> There is no M in H, yet he refers to an M in H
>> q0 wM w ⊢* qn
>> if M applied to w does not halt.
>>
>> To correct this error
>> if the TM described by wM applied to w does not halt.
>
> How on earth is this an "error"?
>
> wM means the description of M.
>
> "the TM described by wM" and "M" mean exactly the same thing. What need
> is there for adding this extra verbiage?
>
> André
>
>

-----1----2-----3-----4--5-----6
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn

We need the extra verbiage only because Ben and Richard falsely believe
that the Linz notation refers to (1) halting on (2) and not (4) halting
on (5).

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Subject	Author
Re: Clarification of Linz Ĥ Description [ Are we	olcott

A nasty looking dwarf throws a knife at you.

tech / sci.lang / Re: Clarification of Linz Ĥ Description [ Are we there yet ? ] (V3)