Path: ...!news.mixmin.net!aioe.org!/GRMamn3ov7sGOWkEuxPQw.user.46.165.242.91.POSTED!not-for-mail
From: olcott <none-ya@beez-waxes.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Michael Sipser of MIT validates the notion of a simulating halt
 decider
Date: Thu, 13 Oct 2022 11:46:22 -0500
Organization: Aioe.org NNTP Server
Message-ID: <ti9fd0$1unl$1@gioia.aioe.org>
References: <ti6l95$1h8qt$1@dont-email.me>
 <bffc5471-51c7-488d-aa6c-c42df024a8e0n@googlegroups.com>
 <ti76i2$1imqj$2@dont-email.me>
 <a32d66db-240d-497d-8f9a-f9d0867088c2n@googlegroups.com>
 <ti7fnd$4dn$1@gioia.aioe.org> <20221013171707.000007d3@reddwarf.jmc.corp>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="64245"; posting-host="/GRMamn3ov7sGOWkEuxPQw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.3.3
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Bytes: 4084
Lines: 70

On 10/13/2022 11:17 AM, Mr Flibble wrote:
> On Wed, 12 Oct 2022 17:39:41 -0500
> olcott <none-ya@beez-waxes.com> wrote:
> 
>> On 10/12/2022 5:23 PM, dklei...@gmail.com wrote:
>>> On Wednesday, October 12, 2022 at 1:03:17 PM UTC-7, olcott wrote:
>>>> On 10/12/2022 2:32 PM, dklei...@gmail.com wrote:
>>>>> On Wednesday, October 12, 2022 at 8:08:23 AM UTC-7, olcott wrote:
>>>>>   
>>>>>> Professor Michael Sipser of MIT said that this verbatim
>>>>>> paragraph looks correct:
>>>>>>
>>>>>> If H does correctly determine that its correct simulation
>>>>>> of D would never stop running unless aborted, would it be
>>>>>> correct for H to abort this simulation and report that D
>>>>>> specifies a non-halting sequence of configurations?
>>>>>>   
>>>>> You are attempting to use the argument from authority.
>>>>
>>>> Argument from authority, also authoritative argument and appeal to
>>>> authority, is an inductive reasoning argument that often takes the
>>>> form of a statistical syllogism. Although certain classes of
>>>> argument from authority can constitute strong inductive arguments,
>>>> the appeal to authority is often applied fallaciously. Fallacious
>>>> examples of using the appeal include: ⁕cases where the authority
>>>> is not a subject-matter expert
>>>> https://www.definitions.net/definition/argument+from+authority
>>>>> That's a loser. My opinion is just as good as Sipser's.
>>>>
>>>> And likewise your opinion about brain surgery is just as good as
>>>> the opinion of the world's best brain surgeons ???
>>>>   
>>> My opinion about brain surgery is just as good as Sipser's.
>>>      
>>
>> Probably yet your opinion** about the theory of computation is
>> probably not even in the ballpark of carrying the same weight as the
>> opinion of Professor Sipser.
>>
>> ** and everyone else here: Ben, Andre, Mike, Kaz
> 
> Appeal to authority is a logical fallacy.  Prove your argument is sound
> using facts and logic in your own words.
> 
> /Flibble
> 

I have already shown that and appeal to the authority of a qualified 
expert in the field is inductively sound.

MIT Professor Michael Sipser has agreed that the following verbatim 
paragraph is correct (he has not agreed to anything else in this paper):

If simulating halt decider H correctly simulates its input D until H 
correctly determines that its simulated D would never stop running 
unless aborted then H can abort its simulation of D and correctly report 
that D specifies a non-halting sequence of configurations.

When one accepts this definition of a simulating halt decider then my 
code shows that H correctly determines the halt status of D.

When one rejects that definition of a simulating halt decider then my 
proof loses its required basis.

-- 
Copyright 2022 Pete Olcott

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