novaBBS - sci.math - Concise refutation of halting problem proofs V35

Concise refutation of halting problem proofs V35

<c6adnfzQfNpLqDf8nZ2dnUU7-c3NnZ2d@giganews.com>

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

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

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 03 Dec 2021 09:20:54 -0600
Date: Fri, 3 Dec 2021 09:20:54 -0600
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.3.2
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic,sci.math
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: Concise refutation of halting problem proofs V35
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <c6adnfzQfNpLqDf8nZ2dnUU7-c3NnZ2d@giganews.com>
Lines: 29
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-DZW7wPP7MWMm60Oo2RcQnz1LlEitilxyn/F5Ef4s5mMuCG8f4NSKJkLvCBmtux1SCq0/jdymErUDwH6!gW8T12+v8mXr2+Q+1z4cP2ApvXlyXHBEf1Ziq72ftGiyorzeRdZTmMAo4q8U3ihqdYZ89CxW8LPQ!0Q==
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: 2036
X-Received-Bytes: 2215

by: olcott - Fri, 3 Dec 2021 15:20 UTC

When-so-ever simulating halt decider H(X,Y) determines that the
simulated behavior of its input correctly matches a infinite behavior
pattern such that the input would never stop running unless its
simulation is aborted H correctly aborts this input and returns 0.

// Simplified Linz(1990) Ĥ and Strachey(1965) P
void P(u32 x)
{ if (H(x, x))
HERE: goto HERE;
}

This correctly eliminates the pathological feedback loop between the
halt decider and its input that otherwise make input like the above
input impossible for H(P,P) to decide.

Halting problem undecidability and infinitely nested simulation V2

https://www.researchgate.net/publication/356105750_Halting_problem_undecidability_and_infinitely_nested_simulation_V2

--
Copyright 2021 Pete Olcott

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

Re: Concise refutation of halting problem proofs V35

<sodncn$1hp1$1@gioia.aioe.org>

copy mid

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

copy link Newsgroups: sci.math

Path: i2pn2.org!i2pn.org!aioe.org!Lenw9N2TgqlbGNOh+3DBoA.user.46.165.242.75.POSTED!not-for-mail
From: bbc...@uioas.ar (Harif Kuloo)
Newsgroups: sci.math
Subject: Re: Concise refutation of halting problem proofs V35
Date: Fri, 3 Dec 2021 18:24:23 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <sodncn$1hp1$1@gioia.aioe.org>
References: <c6adnfzQfNpLqDf8nZ2dnUU7-c3NnZ2d@giganews.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="50977"; posting-host="Lenw9N2TgqlbGNOh+3DBoA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Opera Mail/12.11 (MacIntel)
X-Notice: Filtered by postfilter v. 0.9.2

by: Harif Kuloo - Fri, 3 Dec 2021 18:24 UTC

olcott wrote:

> When-so-ever simulating halt decider H(X,Y) determines that the
> simulated behavior of its input correctly matches a infinite behavior
> pattern such that the input would never stop running unless its
> simulation is aborted H correctly aborts this input and returns 0.

“The COVID-19 Vaccines DO NOT Prevent Transmission of the Disease” –
Judge Doughty’s Ruling Destroys Biden’s Vax Mandates

VMS must die!

tech / sci.math / Concise refutation of halting problem proofs V35

tech / sci.math / Concise refutation of halting problem proofs V35

Subject	Author
Concise refutation of halting problem proofs V35	olcott
Re: Concise refutation of halting problem proofs V35	Harif Kuloo