Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

No line available at 300 baud.

devel / comp.theory / The nature of correct proofs

SubjectAuthor
* 99% sure wij is Olcott sockpuppetMr Flibble
`* 99% sure wij is Olcott sockpuppetolcott
 `* 99% sure wij is Olcott sockpuppetAlan Mackenzie
  `* 99% sure wij is Olcott sockpuppetolcott
   `* 99% sure wij is Olcott sockpuppetAlan Mackenzie
    `- The nature of correct proofsolcott

1
99% sure wij is Olcott sockpuppet

<20210716230150.00006961@reddwarf.jmc>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!aioe.org!feeder1.feed.usenet.farm!feed.usenet.farm!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx08.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc (Mr Flibble)
Newsgroups: comp.theory
Subject: 99% sure wij is Olcott sockpuppet
Message-ID: <20210716230150.00006961@reddwarf.jmc>
Organization: Jupiter Mining Corp
X-Newsreader: Claws Mail 3.17.8 (GTK+ 2.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 5
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 16 Jul 2021 22:01:49 UTC
Date: Fri, 16 Jul 2021 23:01:50 +0100
X-Received-Bytes: 654
 by: Mr Flibble - Fri, 16 Jul 2021 22:01 UTC

99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
certain discussions.

/Flibble

Re: 99% sure wij is Olcott sockpuppet

<ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 16 Jul 2021 17:10:32 -0500
Subject: Re: 99% sure wij is Olcott sockpuppet
Newsgroups: comp.theory
References: <20210716230150.00006961@reddwarf.jmc>
From: NoO...@NoWhere.com (olcott)
Date: Fri, 16 Jul 2021 17:10:32 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.12.0
MIME-Version: 1.0
In-Reply-To: <20210716230150.00006961@reddwarf.jmc>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com>
Lines: 16
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-xhNaFIoqtftdBfw+U+Xs0z4MqT0Qo7aMgzT3ovkrY1zZqfTRlo7p8inUOB3p5cGYOhGGuVwO7kp22wK!yQuyPOCsTla9il7DfrHB+ZAwiu3u0MFiokCLRSuyrGHcGspim7oTOq82WlKtjIgdW/VovTS0Pzo9
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: 1684
 by: olcott - Fri, 16 Jul 2021 22:10 UTC

On 7/16/2021 5:01 PM, Mr Flibble wrote:
> 99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
> certain discussions.
>
> /Flibble
>

It is very easy to see that they have asked questions that I would never
ask when you have Thunderbird and can see all the question that they
ever asked. I will repond to one of their questions so you can see.

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: 99% sure wij is Olcott sockpuppet

<scuf2m$1q6c$3@news.muc.de>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news-peer.in.tum.de!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: acm...@muc.de (Alan Mackenzie)
Newsgroups: comp.theory
Subject: Re: 99% sure wij is Olcott sockpuppet
Date: Sat, 17 Jul 2021 11:31:34 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <scuf2m$1q6c$3@news.muc.de>
References: <20210716230150.00006961@reddwarf.jmc> <ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com>
Injection-Date: Sat, 17 Jul 2021 11:31:34 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
logging-data="59596"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.4.5-20201224 ("Glen Albyn") (FreeBSD/12.2-RELEASE-p7 (amd64))
 by: Alan Mackenzie - Sat, 17 Jul 2021 11:31 UTC

olcott <NoOne@nowhere.com> wrote:
> On 7/16/2021 5:01 PM, Mr Flibble wrote:
>> 99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
>> certain discussions.

>> /Flibble

> It is very easy to see that they have asked questions that I would never
> ask when you have Thunderbird and can see all the question that they
> ever asked. I will repond to one of their questions so you can see.

Why don't you just unambiguously confirm or deny that you are wij, like
I asked you to in another thread?

> --
> Copyright 2021 Pete Olcott

> "Great spirits have always encountered violent opposition from mediocre
> minds." Einstein

--
Alan Mackenzie (Nuremberg, Germany).

Re: 99% sure wij is Olcott sockpuppet

<OYGdnV6lV6b8dG_9nZ2dnUU7-dednZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!4.us.feeder.erje.net!2.eu.feeder.erje.net!feeder.erje.net!feeder1.feed.usenet.farm!feed.usenet.farm!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 17 Jul 2021 09:29:53 -0500
Subject: Re: 99% sure wij is Olcott sockpuppet
Newsgroups: comp.theory
References: <20210716230150.00006961@reddwarf.jmc> <ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com> <scuf2m$1q6c$3@news.muc.de>
From: NoO...@NoWhere.com (olcott)
Date: Sat, 17 Jul 2021 09:29:55 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.12.0
MIME-Version: 1.0
In-Reply-To: <scuf2m$1q6c$3@news.muc.de>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <OYGdnV6lV6b8dG_9nZ2dnUU7-dednZ2d@giganews.com>
Lines: 39
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-uccC+uvRpBbpePxYZ5iDO3Y264HMNe/+CKP6551mFcsMJU23iV9cj2VoNwA3vYpOUTLHjuxM1BBpCWe!fJ1Su77FTW8yXydiBgYZ80x1AQBmVzwvdEmZCAqZ69jlOuHAst+hzvaQlSBAc+9LcOxZ3jlNI0sP
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: 2459
 by: olcott - Sat, 17 Jul 2021 14:29 UTC

On 7/17/2021 6:31 AM, Alan Mackenzie wrote:
> olcott <NoOne@nowhere.com> wrote:
>> On 7/16/2021 5:01 PM, Mr Flibble wrote:
>>> 99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
>>> certain discussions.
>
>>> /Flibble
>
>
>> It is very easy to see that they have asked questions that I would never
>> ask when you have Thunderbird and can see all the question that they
>> ever asked. I will repond to one of their questions so you can see.
>
> Why don't you just unambiguously confirm or deny that you are wij, like
> I asked you to in another thread?
>

I am not wij. you could have answered this question yourself by looking
at the questions that wij asks.

That you ask question like this proves that you are a damn jackass that
has the primary tactic of the dishonest dodge.

The longer you distract attention away from the point the longer it
takes for you to be proven wrong.

>> --
>> Copyright 2021 Pete Olcott
>
>> "Great spirits have always encountered violent opposition from mediocre
>> minds." Einstein
>

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

Re: 99% sure wij is Olcott sockpuppet

<scuq50$1q6c$10@news.muc.de>

  copy mid

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

  copy link   Newsgroups: comp.theory
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news-peer.in.tum.de!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: acm...@muc.de (Alan Mackenzie)
Newsgroups: comp.theory
Subject: Re: 99% sure wij is Olcott sockpuppet
Date: Sat, 17 Jul 2021 14:40:32 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <scuq50$1q6c$10@news.muc.de>
References: <20210716230150.00006961@reddwarf.jmc> <ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com> <scuf2m$1q6c$3@news.muc.de> <OYGdnV6lV6b8dG_9nZ2dnUU7-dednZ2d@giganews.com>
Injection-Date: Sat, 17 Jul 2021 14:40:32 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
logging-data="59596"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.4.5-20201224 ("Glen Albyn") (FreeBSD/12.2-RELEASE-p7 (amd64))
 by: Alan Mackenzie - Sat, 17 Jul 2021 14:40 UTC

olcott <NoOne@nowhere.com> wrote:
> On 7/17/2021 6:31 AM, Alan Mackenzie wrote:
>> olcott <NoOne@nowhere.com> wrote:
>>> On 7/16/2021 5:01 PM, Mr Flibble wrote:
>>>> 99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
>>>> certain discussions.

>>>> /Flibble

>>> It is very easy to see that they have asked questions that I would never
>>> ask when you have Thunderbird and can see all the question that they
>>> ever asked. I will repond to one of their questions so you can see.

>> Why don't you just unambiguously confirm or deny that you are wij, like
>> I asked you to in another thread?

> I am not wij.

Thanks for clearing that up.

> you could have answered this question yourself by looking at the
> questions that wij asks.

> That you ask question like this proves that you are a damn jackass that
> has the primary tactic of the dishonest dodge.

You got out of the wrong side of bed today, or something?

> The longer you distract attention away from the point the longer it
> takes for you to be proven wrong.

You can't prove me wrong. As I pointed out last night, you don't even
understand what "prove" means.

> --
> Copyright 2021 Pete Olcott

> "Great spirits have always encountered violent opposition from mediocre
> minds." Einstein

--
Alan Mackenzie (Nuremberg, Germany).

The nature of correct proofs

<N6ydnWEjqItnlG79nZ2dnUU7-d_NnZ2d@giganews.com>

  copy mid

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

  copy link   Newsgroups: comp.theory comp.ai.philosophy comp.software-eng sci.math.symbolic
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.snarked.org!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: Sat, 17 Jul 2021 11:48:57 -0500
Subject: The nature of correct proofs
Newsgroups: comp.theory,comp.ai.philosophy,comp.software-eng,sci.math.symbolic
References: <20210716230150.00006961@reddwarf.jmc>
<ou6dnU_2GrNFnm_9nZ2dnUU7-WGdnZ2d@giganews.com> <scuf2m$1q6c$3@news.muc.de>
<OYGdnV6lV6b8dG_9nZ2dnUU7-dednZ2d@giganews.com> <scuq50$1q6c$10@news.muc.de>
From: NoO...@NoWhere.com (olcott)
Date: Sat, 17 Jul 2021 11:48:59 -0500
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.12.0
MIME-Version: 1.0
In-Reply-To: <scuq50$1q6c$10@news.muc.de>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <N6ydnWEjqItnlG79nZ2dnUU7-d_NnZ2d@giganews.com>
Lines: 63
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-ZVx6Gel1/RZaVf9HEVfV1PGdHm5MEZ+ck4wkJBPndpjJO15uyKkMIXjuv22fIe5jBqoazz/zhlHTmF8!Veqr7DfAtoKoLJyITW5b1L0yfeD64xxWwTI15VjBzgoekO4ISdW9nHAsVu6gF2JafZ4jr1S0CwHl
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: 3420
 by: olcott - Sat, 17 Jul 2021 16:48 UTC

On 7/17/2021 9:40 AM, Alan Mackenzie wrote:
> olcott <NoOne@nowhere.com> wrote:
>> On 7/17/2021 6:31 AM, Alan Mackenzie wrote:
>>> olcott <NoOne@nowhere.com> wrote:
>>>> On 7/16/2021 5:01 PM, Mr Flibble wrote:
>>>>> 99% sure wij is Olcott sockpuppet, perhaps used by Olcott to progress
>>>>> certain discussions.
>
>>>>> /Flibble
>
>
>>>> It is very easy to see that they have asked questions that I would never
>>>> ask when you have Thunderbird and can see all the question that they
>>>> ever asked. I will repond to one of their questions so you can see.
>
>>> Why don't you just unambiguously confirm or deny that you are wij, like
>>> I asked you to in another thread?
>
>
>> I am not wij.
>
> Thanks for clearing that up.
>
>> you could have answered this question yourself by looking at the
>> questions that wij asks.
>
>> That you ask question like this proves that you are a damn jackass that
>> has the primary tactic of the dishonest dodge.
>
> You got out of the wrong side of bed today, or something?
>
>> The longer you distract attention away from the point the longer it
>> takes for you to be proven wrong.
>
> You can't prove me wrong. As I pointed out last night, you don't even
> understand what "prove" means.
>

The only model of proof that can be relied on as correct is when a proof
begins with verifiably true premises and only applies truth preserving
operations.

That the principle of explosion allows lies to be converted into
entailment is an error because it forgoes the mandatory requirement of
truth preserving operations.
https://en.wikipedia.org/wiki/Principle_of_explosion

Relevance logic seems to correct this error:
https://en.wikipedia.org/wiki/Relevance_logic

>> --
>> Copyright 2021 Pete Olcott
>
>> "Great spirits have always encountered violent opposition from mediocre
>> minds." Einstein
>

--
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre
minds." Einstein

devel / comp.theory / The nature of correct proofs

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor