Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

<Skyhook> Where is 'bavaria' proper? I thought it was austria. -- Seen on #Linux


computers / comp.ai.philosophy / Re: On recursion and infinite recursion (reprise #3)

SubjectAuthor
* Re: On recursion and infinite recursion (reprise #3)olcott
`- Re: On recursion and infinite recursion (reprise #3)olcott

1
Subject: Re: On recursion and infinite recursion (reprise #3)
From: olcott
Newsgroups: comp.theory, comp.ai.philosophy, sci.logic
Followup: comp.theory
Organization: A noiseless patient Spider
Date: Thu, 5 May 2022 18:58 UTC
References: 1
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic
Subject: Re: On recursion and infinite recursion (reprise #3)
Followup-To: comp.theory
Date: Thu, 5 May 2022 13:58:00 -0500
Organization: A noiseless patient Spider
Lines: 32
Message-ID: <t516nq$1u4$1@dont-email.me>
References: <20220505175034.0000253c@reddwarf.jmc>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 5 May 2022 18:58:02 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="919615384a8d329db60bdf86eb51f131";
logging-data="1988"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+JBBxM4dAlpL+7XkPeULC7"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.9.0
Cancel-Lock: sha1:uNFYrjJZJaAdNjXQLivKjzF50Ak=
In-Reply-To: <20220505175034.0000253c@reddwarf.jmc>
Content-Language: en-US
View all headers
On 5/5/2022 11:50 AM, Mr Flibble wrote:
This post is mostly for the benefit of Richard Damon who likes to play
word games.

The primary halting problem theorem proof [Turing, 1936] (upon which
other currently extant halting problem proofs are derived) is invalid
due to an invalid "impossible program" [Strachey, 1965] that arises not
from a function call-like infinite recursion but from a category error
in the form of an invalid (erroneous) infinite recursion present in the
proof [Wikipedia, 2022].

The categories involved in the category error are the decider and that
which is being decided.  Currently extant  attempts to conflate the
decider with that which is being decided are infinitely recursive and
thus invalid.

/Flibble


Proof of this is that the halting theorem has the exactly same self-contradictory pattern as the Liar Paradox.

For any program f that might determine if programs halt, a "pathological" program g, called with some input, can pass its own source and its input to f and then specifically do the opposite of what f predicts g will do.

https://en.wikipedia.org/wiki/Halting_problem

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


Subject: Re: On recursion and infinite recursion (reprise #3)
From: olcott
Newsgroups: comp.theory, comp.ai.philosophy, sci.logic
Followup: comp.theory
Organization: A noiseless patient Spider
Date: Fri, 6 May 2022 01:59 UTC
References: 1 2 3 4 5
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,comp.ai.philosophy,sci.logic
Subject: Re: On recursion and infinite recursion (reprise #3)
Followup-To: comp.theory
Date: Thu, 5 May 2022 20:59:51 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <t51vep$gnk$1@dont-email.me>
References: <20220505175034.0000253c@reddwarf.jmc>
<t516nq$1u4$1@dont-email.me> <87ee17ois3.fsf@bsb.me.uk>
<t51ia8$t3s$2@dont-email.me> <871qx7mo5e.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 6 May 2022 01:59:53 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="fa499fb4eb95ee5c956e821cecab3aa5";
logging-data="17140"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1800ByEVCsHZOHIO/IQqkaz"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.9.0
Cancel-Lock: sha1:v6IjHvdQY8wEcl9tSYsHS561mHU=
In-Reply-To: <871qx7mo5e.fsf@bsb.me.uk>
Content-Language: en-US
View all headers
On 5/5/2022 8:43 PM, Ben wrote:
olcott <polcott2@gmail.com> writes:

On 5/5/2022 2:56 PM, Ben wrote:
olcott <polcott2@gmail.com> writes:

Proof of this is that the halting theorem has the exactly same
self-contradictory pattern as the Liar Paradox.

For any program f that might determine if programs halt, a
"pathological" program g, called with some input, can pass its own
source and its input to f and then specifically do the opposite of
what f predicts g will do.
https://en.wikipedia.org/wiki/Halting_problem
So finally you agree that no single TM can decide TM halting???  How
long has it taken you to get to this point?

H1(P,P)==true is empirically proven to be correct
H(P,P)==false is empirically proven to be correct

You keep trying to get away with a halt decider that computes the
mapping from non-inputs even when you know this is incorrect.

Any conclusion I can form this is unkind.  You are either dishonest and
are intentionally misrepresenting what other people write, or you are so
lost that even after 18 years you don't know what that halting problem
is.


I am not trying to be unkind. When people happily disagree with verified facts I construe that as playing head games for sadistic pleasure. Those people really need a strong (at least metaphorical) slap in the face.

It is a proven fact that H(P,P) and H1(P,P) do correctly compute the mapping from their input parameters to the halt status specified by these inputs.

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


1
rocksolid light 0.7.2
clearneti2ptor