novaBBS - comp.theory - Re: Halting problem proofs refuted on the basis of software engineering (Simplified so that most anyone here can validate it)

Re: Halting problem proofs refuted on the basis of software engineering (Simplified so that most anyone here can validate it)

<ttKdnS0ziu-CVUz_nZ2dnUU7_8zNnZ2d@giganews.com>

copy mid

https://www.novabbs.com/devel/article-flat.php?id=35702&group=comp.theory#35702

copy link Newsgroups: comp.lang.c++ comp.theory
Followup: comp.lang.c++

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 15 Jul 2022 15:03:43 -0500
Date: Fri, 15 Jul 2022 15:03:42 -0500
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.11.0
Subject: Re: Halting problem proofs refuted on the basis of software
engineering (Simplified so that most anyone here can validate it)
Content-Language: en-US
Newsgroups: comp.lang.c++,comp.theory
References: <FcSdnWH56LrW8U3_nZ2dnUU7_8zNnZ2d@giganews.com>
<20220715170340.00001838@reddwarf.jmc.corp>
<aZudnWdIoajRAEz_nZ2dnUU7_8zNnZ2d@giganews.com>
<20220715180822.000061f6@reddwarf.jmc.corp>
<20220715182802.0000170e@reddwarf.jmc.corp>
<2KidnQBTRtnJO0z_nZ2dnUU7_83NnZ2d@giganews.com>
<20220715184619.00003607@reddwarf.jmc.corp>
<KbSdncHSDus_N0z_nZ2dnUU7_83NnZ2d@giganews.com>
<20220715190440.00001376@reddwarf.jmc.corp>
<qLGdnfQQtoHfMkz_nZ2dnUU7_83NnZ2d@giganews.com>
<XqqdnZWta5oKL0z_nZ2dnUU7_8zNnZ2d@giganews.com>
<20220715194148.00005b14@reddwarf.jmc.corp>
<y6qdnTUA2dGqJ0z_nZ2dnUU7_83NnZ2d@giganews.com>
<d8011969-f074-434b-ade1-dc040c42dcfen@googlegroups.com>
<20220715202328.00006942@reddwarf.jmc.corp>
<50c5706c-1ef1-4dbe-bfd2-ab2291d21934n@googlegroups.com>
<20220715202711.0000351b@reddwarf.jmc.corp>
<07200acb-eef3-4fe0-b7a3-7b21539fe959n@googlegroups.com>
<20220715204141.00006e0a@reddwarf.jmc.corp>
<1a3335cc-f3a8-4e20-a682-16101d7d0a44n@googlegroups.com>
Followup-To: comp.lang.c++
From: NoO...@NoWhere.com (olcott)
In-Reply-To: <1a3335cc-f3a8-4e20-a682-16101d7d0a44n@googlegroups.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ttKdnS0ziu-CVUz_nZ2dnUU7_8zNnZ2d@giganews.com>
Lines: 30
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-MJZd8DZ6o/GjYSX+koT39QTNLnKj9vSkApIMtK5/SXSwnE4kPPLS7AK0XerC8yb+8ytpMllnSqN8Lzx!vJ1J/IUSbEfKXL2zHD7oUvGMT8xI5LYKDz+QAgvY4du1FBWL+LaXL+fS7kVjenz4+z+pM982M/Lt!2A==
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: 3696

by: olcott - Fri, 15 Jul 2022 20:03 UTC

On 7/15/2022 2:53 PM, Skep Dick wrote:
> On Friday, 15 July 2022 at 21:41:57 UTC+2, Mr Flibble wrote:
>> However H and P are not equivalent: H is a "special" function known to
>> the simulator.
> Which is a configuration entirely not in the spirit of the halting problem.
>
> We know that there are particular solutions to the halting problem.
> We know that more powerful models of computations (Turing machines with Oracles) can solve the halting problem for less powerful models of computation (Turing machines without Oracles).
>
> But the halting problem is explicit about seeking a general solution.
>
> No model of computation can solve the halting problem for computational systems of equal power.
>

I am not solving the halting problem that would require that I present
an omniscient (all knowing) computer program.

I have correctly refuted the conventional halting problem proofs by
showing how a Turing a computable function would correctly determine the
halt status of the previously "impossible" pathological inputs.

*Halting problem proofs refuted on the basis of software engineering*
https://www.researchgate.net/publication/361701808_Halting_problem_proofs_refuted_on_the_basis_of_software_engineering

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

Subject	Author
Halting problem proofs refuted on the basis of software	olcott

No amount of genius can overcome a preoccupation with detail.

devel / comp.theory / Re: Halting problem proofs refuted on the basis of software engineering (Simplified so that most anyone here can validate it)