Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Computer programmers do it byte by byte.


devel / comp.theory / Re: On infinitely recursive proofs (reprise)

SubjectAuthor
* On infinitely recursive proofs (reprise)Mr Flibble
`- On infinitely recursive proofs (reprise)Richard Damon

1
On infinitely recursive proofs (reprise)

<20220419112002.000028a8@reddwarf.jmc.corp>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!2.eu.feeder.erje.net!feeder.erje.net!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx04.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc.corp (Mr Flibble)
Newsgroups: comp.theory
Subject: On infinitely recursive proofs (reprise)
Message-ID: <20220419112002.000028a8@reddwarf.jmc.corp>
Organization: Jupiter Mining Corporation
X-Newsreader: Claws Mail 4.1.0 (GTK 3.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 11
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Tue, 19 Apr 2022 10:20:04 UTC
Date: Tue, 19 Apr 2022 11:20:02 +0100
X-Received-Bytes: 1055
 by: Mr Flibble - Tue, 19 Apr 2022 10:20 UTC

Infinitely recursive proofs (such as proofs to the halting problem) are
invalid. Such invalid proofs don't require refutation: they require
dismissal on the grounds that they are invalid.

For the reason why there is no need to formally refute an invalid proof
see https://en.wikipedia.org/wiki/Not_even_wrong

For this reason the Halting Problem is still an open problem.

/Flibble

Re: On infinitely recursive proofs (reprise)

<o0x7K.857792$aT3.45036@fx09.iad>

 copy mid

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

 copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!feeder.usenetexpress.com!tr2.eu1.usenetexpress.com!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!nntp.speedium.network!feeder01!81.171.65.13.MISMATCH!peer01.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!fx09.iad.POSTED!not-for-mail
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.8.0
Subject: Re: On infinitely recursive proofs (reprise)
Content-Language: en-US
Newsgroups: comp.theory
References: <20220419112002.000028a8@reddwarf.jmc.corp>
From: Rich...@Damon-Family.org (Richard Damon)
In-Reply-To: <20220419112002.000028a8@reddwarf.jmc.corp>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 24
Message-ID: <o0x7K.857792$aT3.45036@fx09.iad>
X-Complaints-To: abuse@easynews.com
Organization: Forte - www.forteinc.com
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will be unable to process your complaint properly.
Date: Tue, 19 Apr 2022 07:27:15 -0400
X-Received-Bytes: 1732
 by: Richard Damon - Tue, 19 Apr 2022 11:27 UTC

On 4/19/22 6:20 AM, Mr Flibble wrote:
> Infinitely recursive proofs (such as proofs to the halting problem) are
> invalid. Such invalid proofs don't require refutation: they require
> dismissal on the grounds that they are invalid.
>
> For the reason why there is no need to formally refute an invalid proof
> see https://en.wikipedia.org/wiki/Not_even_wrong
>
> For this reason the Halting Problem is still an open problem.
>
> /Flibble
>

WRONG.

There is no basis to make such a claim.

In fact, your claim falls into the catagory of 'not even wrong'.

And, the Halting problem proof only creates an 'infinite' proof when the
decide fails to even meet the basic requirement to decide because it
attempts to solve the problem with a method that is as bad a simulation.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor