Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Don't hit the keys so hard, it hurts.

tech / sci.math / Re: DC Proof gay shit for brains only?

SubjectAuthor
* Re: DC Proof gay shit for brains only?Mostowski Collapse
+- Re: DC Proof gay shit for brains only?Jess Bucy
`- Re: DC Proof gay shit for brains only?Mostowski Collapse

1
Re: DC Proof gay shit for brains only?

<10b4999d-36e0-4525-b5f5-55514b6ea02an@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:ad0c:: with SMTP id f12mr674307qkm.278.1642089491301;
Thu, 13 Jan 2022 07:58:11 -0800 (PST)
X-Received: by 2002:a25:2350:: with SMTP id j77mr2482663ybj.515.1642089491133;
Thu, 13 Jan 2022 07:58:11 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 13 Jan 2022 07:58:10 -0800 (PST)
In-Reply-To: <55d008b6-5b0a-4993-82e7-441a0e3e9853n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <55d008b6-5b0a-4993-82e7-441a0e3e9853n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <10b4999d-36e0-4525-b5f5-55514b6ea02an@googlegroups.com>
Subject: Re: DC Proof gay shit for brains only?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 13 Jan 2022 15:58:11 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 14
 by: Mostowski Collapse - Thu, 13 Jan 2022 15:58 UTC

Your Dedekind -> Peano proof doesn't work anymore.
Its the same problem like in this proof, where
this step doesn't work anymore:

> This is the proof that worked in dcproof2.exe, but
> does not work anymore in dcproof5.exe:
> [...]
> 8 ~Field(constr(a))
> U Spec, 6, 7
https://groups.google.com/g/sci.math/c/SOIECV0E-Dc/m/LGiS4I8UAwAJ

Because there is no constr(a) e S.

The new error message is:
'constr(a)' must be an element of a set

Re: DC Proof gay shit for brains only?

<srpkp1$6uq$2@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!fkJrutEvcNwcTSxlLU5LOw.user.46.165.242.75.POSTED!not-for-mail
From: ert...@cvb.vb (Jess Bucy)
Newsgroups: sci.math
Subject: Re: DC Proof gay shit for brains only?
Date: Thu, 13 Jan 2022 16:42:10 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <srpkp1$6uq$2@gioia.aioe.org>
References: <55d008b6-5b0a-4993-82e7-441a0e3e9853n@googlegroups.com>
<10b4999d-36e0-4525-b5f5-55514b6ea02an@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="7130"; posting-host="fkJrutEvcNwcTSxlLU5LOw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: tin/1.9.3 (Mac OS 10.10.5)
X-Notice: Filtered by postfilter v. 0.9.2
 by: Jess Bucy - Thu, 13 Jan 2022 16:42 UTC

Mostowski Collapse wrote:

> Your Dedekind -> Peano proof doesn't work anymore.
> Its the same problem like in this proof, where this step doesn't work
> anymore:

to understand more, why these capitalist *public_servants* governments
around the globe, are *corrupt* to the core, starting 06:34.

🔥🔥 BREAKING: DR. ARIYANA LOVE - EPSTEIN & MAXWELL ARE ISRAELI SPIES,
PLANNED BIOWEAPON SHOTS https://www.bitchute.com/video/5cfmmTSVNCAJ/

Re: DC Proof gay shit for brains only?

<be7d09e9-e8b9-4ad4-b813-3b7f0869d7e9n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:554:: with SMTP id m20mr5430409qtx.382.1642108102709;
Thu, 13 Jan 2022 13:08:22 -0800 (PST)
X-Received: by 2002:a25:3b83:: with SMTP id i125mr8960342yba.544.1642108102551;
Thu, 13 Jan 2022 13:08:22 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 13 Jan 2022 13:08:22 -0800 (PST)
In-Reply-To: <10b4999d-36e0-4525-b5f5-55514b6ea02an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <55d008b6-5b0a-4993-82e7-441a0e3e9853n@googlegroups.com> <10b4999d-36e0-4525-b5f5-55514b6ea02an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <be7d09e9-e8b9-4ad4-b813-3b7f0869d7e9n@googlegroups.com>
Subject: Re: DC Proof gay shit for brains only?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 13 Jan 2022 21:08:22 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 28
 by: Mostowski Collapse - Thu, 13 Jan 2022 21:08 UTC

Why does youtube recommend:

Horse kicks tree, farts on dogs then runs away.
https://www.youtube.com/watch?v=KCzwyFHSMdY

Reminds me of Dan-O-Matiks Peano proof.
Open DC Proof, enter some nonsense, and
put it as HTML on a web page, and run away.

Its not an EXIST(n):Peano(n) proof!

LoL

Mostowski Collapse schrieb am Donnerstag, 13. Januar 2022 um 16:58:17 UTC+1:
> Your Dedekind -> Peano proof doesn't work anymore.
> Its the same problem like in this proof, where
> this step doesn't work anymore:
>
> > This is the proof that worked in dcproof2.exe, but
> > does not work anymore in dcproof5.exe:
> > [...]
> > 8 ~Field(constr(a))
> > U Spec, 6, 7
> https://groups.google.com/g/sci.math/c/SOIECV0E-Dc/m/LGiS4I8UAwAJ
>
> Because there is no constr(a) e S.
>
> The new error message is:
> 'constr(a)' must be an element of a set

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor