Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Everything should be made as simple as possible, but not simpler. -- Albert Einstein


tech / sci.math / Re: DC Proof challenge: Zorn's Lemma, how formalize it?

SubjectAuthor
* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Mostowski Collapse
+- Re: DC Proof challenge: Zorn's Lemma, how formalize it?Mostowski Collapse
`* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Dan Christensen
 +- Re: DC Proof challenge: Zorn's Lemma, how formalize it?Mostowski Collapse
 `* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Claud Obinata
  `* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Dan Christensen
   +* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Vic Futabatei
   |`- Re: DC Proof challenge: Zorn's Lemma, how formalize it?Dan Christensen
   `- Re: DC Proof challenge: Zorn's Lemma, how formalize it?Jacy Kagabu

1
Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5fd4:0:b0:2f3:f0d7:757a with SMTP id k20-20020ac85fd4000000b002f3f0d7757amr11781289qta.557.1653170995377;
Sat, 21 May 2022 15:09:55 -0700 (PDT)
X-Received: by 2002:a05:6902:1143:b0:64f:9ab6:691e with SMTP id
p3-20020a056902114300b0064f9ab6691emr3076015ybu.480.1653170995155; Sat, 21
May 2022 15:09:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 21 May 2022 15:09:54 -0700 (PDT)
In-Reply-To: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@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: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 22:09:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2101
 by: Mostowski Collapse - Sat, 21 May 2022 22:09 UTC

The foremost duty of every mathematician, name your
structures carefully. Do not call something N, if it
is not N. Like here:

https://dcproof.com/EvenNextOdd.htm

Maybe use D instead? D = The Dan-O-Matik structure,
who knows maybe 50 years from now people will
talk about, lilke people talk about Abelian Groups, etc..

Then one of the offended formulas reads:

ALL(a):[a e d => [a < 0 => ~Odd(a)]]

Which makes it even more clear why its not provable.

P.S.: Unfortunately the Dan-O-Matik structure is
not an Abelian Group, no associativity is stated
for example. But N is a associative, but not

an additive group:

https://en.wikipedia.org/wiki/Group_%28mathematics%29#Definition

Mostowski Collapse schrieb am Mittwoch, 23. September 2020 um 13:16:22 UTC+2:
> So whats the plan for proving Zorn's Lemma
> in DC Proof? Translate FOL to DC Proof?
>
> How do you think a FOL ZFC theorem is
> to be realized in DC Proof?

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<ee969596-7927-4287-af5a-7ea8c0fe25f3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1210:b0:2f3:da26:3778 with SMTP id y16-20020a05622a121000b002f3da263778mr12307088qtx.173.1653172171319;
Sat, 21 May 2022 15:29:31 -0700 (PDT)
X-Received: by 2002:a81:1787:0:b0:2fe:fafa:6242 with SMTP id
129-20020a811787000000b002fefafa6242mr16726348ywx.103.1653172171061; Sat, 21
May 2022 15:29:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 21 May 2022 15:29:30 -0700 (PDT)
In-Reply-To: <2f64fb6e-d470-436d-99d8-fdcd693af919n@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: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com> <2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ee969596-7927-4287-af5a-7ea8c0fe25f3n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 22:29:31 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sat, 21 May 2022 22:29 UTC

I mean the next step in Euclids masterpiece is to prove the
following, namely, for brevity written without a e d and b e d:

ALL(a):ALL(b):[Even(a) & Even(b) => Even(a+b)]
ALL(a):ALL(b):[Even(a) & Odd(b) => Odd(a+b)]
ALL(a):ALL(b):[Odd(a) & Even(b) => Odd(a+b)]
ALL(a):ALL(b):[Odd(a) & Odd(b) => Even(a+b)]

Not sure whether this can be proved in a Dan-O-Matik structure,
without associativity? The simple proofs use associativity:

Proof:
(n+n)+(m+m) = (n+m)+(n+m)
(n+n)+(m+m+1) = (n+m)+(n+m)+1
(n+n+1)+(m+m) = (n+m)+(n+m)+1
(n+n+1)+(m+m+1) = (n+m+1)+(n+m+1)

Mostowski Collapse schrieb am Sonntag, 22. Mai 2022 um 00:10:01 UTC+2:
> The foremost duty of every mathematician, name your
> structures carefully. Do not call something N, if it
> is not N. Like here:
>
> https://dcproof.com/EvenNextOdd.htm
>
> Maybe use D instead? D = The Dan-O-Matik structure,
> who knows maybe 50 years from now people will
> talk about, lilke people talk about Abelian Groups, etc..
>
> Then one of the offended formulas reads:
>
> ALL(a):[a e d => [a < 0 => ~Odd(a)]]
>
> Which makes it even more clear why its not provable.
>
> P.S.: Unfortunately the Dan-O-Matik structure is
> not an Abelian Group, no associativity is stated
> for example. But N is a associative, but not
>
> an additive group:
>
> https://en.wikipedia.org/wiki/Group_%28mathematics%29#Definition
> Mostowski Collapse schrieb am Mittwoch, 23. September 2020 um 13:16:22 UTC+2:
> > So whats the plan for proving Zorn's Lemma
> > in DC Proof? Translate FOL to DC Proof?
> >
> > How do you think a FOL ZFC theorem is
> > to be realized in DC Proof?

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4208:0:b0:461:d262:7842 with SMTP id k8-20020ad44208000000b00461d2627842mr12980773qvp.113.1653190724230;
Sat, 21 May 2022 20:38:44 -0700 (PDT)
X-Received: by 2002:a81:994:0:b0:2ff:224e:1809 with SMTP id
142-20020a810994000000b002ff224e1809mr17745499ywj.368.1653190724086; Sat, 21
May 2022 20:38:44 -0700 (PDT)
Path: i2pn2.org!rocksolid2!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 21 May 2022 20:38:43 -0700 (PDT)
In-Reply-To: <2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=216.154.35.2; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 216.154.35.2
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com> <2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 22 May 2022 03:38:44 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2233
 by: Dan Christensen - Sun, 22 May 2022 03:38 UTC

On Saturday, May 21, 2022 at 6:10:01 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> The foremost duty of every mathematician, name your
> structures carefully. Do not call something N, if it
> is not N. Like here:
>
> https://dcproof.com/EvenNextOdd.htm
>

n is correctly described here as the set of natural numbers.

Geez, yer dumb, Jan Burse! You really must learn some math!

> Maybe use D instead? D = The Dan-O-Matik structure,
> who knows maybe 50 years from now people will
> talk about, lilke people talk about Abelian Groups, etc..
>
> Then one of the offended formulas reads:
>
> ALL(a):[a e d => [a < 0 => ~Odd(a)]]
>

Should be: ALL(a):[a e n => [a < 0 => ~Odd(a)]]

where n is the set of natural numbers.

BTW it is vacuously true. Maybe you didn't know, but there are no natural numbers less than 0. Sorry, your "dark elements" don't count.

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<ae14728a-81b4-401d-9bf6-552a85fa573en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:258e:b0:680:f33c:dbcd with SMTP id x14-20020a05620a258e00b00680f33cdbcdmr11299794qko.542.1653208357821;
Sun, 22 May 2022 01:32:37 -0700 (PDT)
X-Received: by 2002:a25:56c3:0:b0:64d:f026:e048 with SMTP id
k186-20020a2556c3000000b0064df026e048mr17050056ybb.628.1653208357660; Sun, 22
May 2022 01:32:37 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 22 May 2022 01:32:37 -0700 (PDT)
In-Reply-To: <4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@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: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com> <4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ae14728a-81b4-401d-9bf6-552a85fa573en@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 22 May 2022 08:32:37 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2792
 by: Mostowski Collapse - Sun, 22 May 2022 08:32 UTC

If only your axioms would exactly capture n. But this is not
what they do. You cannot prove from your nonsense axioms:

ALL(a):ALL(b):[a e n & b e n => [Even(a) & Even(b) => Even(a+b)]]
ALL(a):ALL(b):[a e n & b e n => [Even(a) & Odd(b) => Odd(a+b)]]
ALL(a):ALL(b):[a e n & b e n => [Odd(a) & Even(b) => Odd(a+b)]]
ALL(a):ALL(b):[a e n & b e n => [Odd(a) & Odd(b) => Even(a+b)]]

Dan Christensen schrieb am Sonntag, 22. Mai 2022 um 05:38:49 UTC+2:
> On Saturday, May 21, 2022 at 6:10:01 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > The foremost duty of every mathematician, name your
> > structures carefully. Do not call something N, if it
> > is not N. Like here:
> >
> > https://dcproof.com/EvenNextOdd.htm
> >
> n is correctly described here as the set of natural numbers.
>
> Geez, yer dumb, Jan Burse! You really must learn some math!
> > Maybe use D instead? D = The Dan-O-Matik structure,
> > who knows maybe 50 years from now people will
> > talk about, lilke people talk about Abelian Groups, etc..
> >
> > Then one of the offended formulas reads:
> >
> > ALL(a):[a e d => [a < 0 => ~Odd(a)]]
> >
> Should be: ALL(a):[a e n => [a < 0 => ~Odd(a)]]
>
> where n is the set of natural numbers.
>
> BTW it is vacuously true. Maybe you didn't know, but there are no natural numbers less than 0. Sorry, your "dark elements" don't count.
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<t6egqm$mca$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!tVxh4Xt85snsYyEH7UIy+Q.user.46.165.242.75.POSTED!not-for-mail
From: tla...@cbatnnta.nn (Claud Obinata)
Newsgroups: sci.math
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
Date: Sun, 22 May 2022 23:26:15 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6egqm$mca$1@gioia.aioe.org>
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
<4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="22922"; posting-host="tVxh4Xt85snsYyEH7UIy+Q.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Chrome/82.0.3496.87 Mobile Safari/632.24
X-Notice: Filtered by postfilter v. 0.9.2
X-Face: %M2uS\s$_cMkwrVXsoYpa=RzNOi}3/GbD&c.e}z;F~"{{l<do%vYi&]lPL"XZp/;
3=qv=I?_"{yovIab@hhLCJ;X;Y#S#Y=y+i!=QO7Sdj}z^!56+-Th,F3J1|1!{o_l'nYv(mu
]u5aO9)w`6,)0'{LIt^{SA'X{A7qhie<!V,Y|{*t@,ogMz<<W%;(}8WnN?Vme8&/R+tS'L^
HBHq\{A;Rs>%Ju8PC:1_XATjWPC?;smn"%+^M9F"9GQrho`4`#o[j{GfKJnvx6f+,3oq$7
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEUkKC6VosmX
iIRhbYSqrdV2WD/AgXDAqbHTt4bU2dDUb3TaAAACTUlEQVQ4jWXTQU/bMBQHcA+
U7boOJq7UyETcSlk1caNbJMTNpHoR50p2s9uEOkKuSITHtQeov+3+juM006xWit
7Pz8/PicUojkqRWHxpHyV+ogsfVilpIaYyzotQ3UvERfI/SCXEUAIcdQkYe+Mh3
FSp1BRkOoAb965o0aXsj3fgakUxIaZ4OLrfECWUdLDXw72UpJJ8r10rEUkP01RJ
RbTwHSZEYryDnCgnmBaEKbctzEejmVS5hOiZTvBAeQvZfD6bYh7qaMSk1Ho/QHY
wuyAl2ZfJ5anfXAR9TEIusYbMl6UROsJncUJ0uiSyprDcoKWYIeh7/WYK5mcquL
Em1viZ6NRtm5IRBJRPiw7mEzF1W2Z+ZT9KPulhktfcDT9BdoD9pm3w1W1fHRbs4
ZoCsENCU9pPEWqTl3EpwrhFLPM1HiwhhMZLNkIW+kMH2YP1hyjal0WVUukOyuNE
JVvS+rR8tMuqB8Os0ThWvLNcmh4qy/a5sNZDw6Xt4QjTnhrAR35C3l0A/5U8MiY
2jHPE2RZ23cIFPnBAadCA9Z00HUg5BjAWYhNgFWCUZYdVwxa9479tmFdZLJ5dpz
4D5f2pNwPIrtkakPEv6x84wwsla0PKyw4OLgEQn1BytY7wY1K/WVv4/aJVXscMv
PN64z+dot1uBHkxE6J2yiDu1+JVB8Lfl9r98Z371ptQOwuXqHYb21ZgXp4P4cw5
idPzcCzyAVw6t1G5b+TlN+7t4RDcCS5BQb+uRJAA3wAbXD/K3VV719cdnAPcV1y
QlwDI+Qu9vTEXmPYv+gAAAABJRU5ErkJggg==
 by: Claud Obinata - Sun, 22 May 2022 23:26 UTC

Dan Christensen wrote:

> On Saturday, May 21, 2022 at 6:10:01 PM UTC-4, Mostowski Collapse (Jan
> Burse) wrote:
>> The foremost duty of every mathematician, name your structures
>> carefully. Do not call something N, if it is not N. Like here:
>>
> n is correctly described here as the set of natural numbers.
> Geez, yer dumb, Jan Burse! You really must learn some math!

you two guys don't undrestand _proofs_. Here is how to do it.

Kherson is Russia. The state symbols of Ukraine are being removed in
Kherson https://www.bitchute.com/video/ZREP7kAtHbbh/

Homosexual transhumanist wanker Yuval Noah explains the enslavement
procedure https://seed171.bitchute.com/t3cRCAEbQKjM/h9D0UN6pY5RR.mp4

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<40a1804a-82fb-4767-b320-675dde57237bn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5a49:0:b0:2f9:3533:99c2 with SMTP id o9-20020ac85a49000000b002f9353399c2mr2230084qta.382.1653263375466;
Sun, 22 May 2022 16:49:35 -0700 (PDT)
X-Received: by 2002:a25:d7d3:0:b0:64d:79c5:69f3 with SMTP id
o202-20020a25d7d3000000b0064d79c569f3mr18701914ybg.465.1653263375280; Sun, 22
May 2022 16:49:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 22 May 2022 16:49:35 -0700 (PDT)
In-Reply-To: <t6egqm$mca$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com> <4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
<t6egqm$mca$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <40a1804a-82fb-4767-b320-675dde57237bn@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 22 May 2022 23:49:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2346
 by: Dan Christensen - Sun, 22 May 2022 23:49 UTC

On Sunday, May 22, 2022 at 7:26:30 PM UTC-4, Claud Obinata wrote:
> Dan Christensen wrote:
>
> > On Saturday, May 21, 2022 at 6:10:01 PM UTC-4, Mostowski Collapse (Jan
> > Burse) wrote:
> >> The foremost duty of every mathematician, name your structures
> >> carefully. Do not call something N, if it is not N. Like here:
> >>
> > n is correctly described here as the set of natural numbers.
> > Geez, yer dumb, Jan Burse! You really must learn some math!
> you two guys don't undrestand _proofs_. Here is how to do it.
>
> Kherson is Russia. The state symbols of Ukraine are being removed in
> Kherson https://www.bitchute.com/video/ZREP7kAtHbbh/
>
> Homosexual transhumanist wanker Yuval Noah explains the enslavement
> procedure https://seed171.bitchute.com...

You are forgetting that fundamental axiom:

WAR OF AGRESSION = NAZI

Nothing on bitchute will save your sorry ass, Nazi boy. The corpses you leave behind will be the only evidence required to convict you and your Fuhrer at the coming Nuremberg War Crimes Tribunal II.

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<t6g034$1bjv$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!mLipwYpzeQOxl5Glx+csOw.user.46.165.242.75.POSTED!not-for-mail
From: efv...@btitafat.av (Vic Futabatei)
Newsgroups: sci.math
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
Date: Mon, 23 May 2022 12:52:53 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6g034$1bjv$1@gioia.aioe.org>
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
<4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
<t6egqm$mca$1@gioia.aioe.org>
<40a1804a-82fb-4767-b320-675dde57237bn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="44671"; posting-host="mLipwYpzeQOxl5Glx+csOw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Evolution/2.32.3 (Windows NT 5.1; rv:52.0)
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEXu3dGXZ18b
FRbRfHNnJRZDJSJpTEzVq67t1LjvAAACXklEQVQ4jV3TPZPbIBAGYDKZiWpOtl wf
Y65XcEytBNGbE+qxEWml4XL8/bwgfyUUHswjxO5qIfbfoXp7rM9b58jTImPW am9p
YM5tH2AAvIAL4xRIKCM/D2AZ2jZelh2h6wiGjT6foeyRJpkSSetYDHeCeq V6cz7F
tNzhk3V4LIlNbxgXKd7hhdcyEULixrJ9fuQG5zdRoGoHwwuQCr9zZKcV yKK83RUo
Y2GXK1STnp7gD6tFmst0OzS//oN1etg3pwd8Z9TX644Dd+MDXljwWp JIqfzgQT/A
MEfdbo5UxoMNXt6gMrxR+jJHhPYJ2D3grVGqI4uvZey1/32DL+xV CFEjOyerXqnL
A95xniSVkHM1Dcrd4Jt5R9Xk+tqtegJ7SSQ+wXyFD3ORKQNyTB MAdSsfdjIOh+cz
5ir2yoYm5C4xzJoO7ETdYqMFnBlZ+8l0DaSeYy3uYHLXmBN1 ub6ABaAnAMt9Zl7l
EYKSxAXvyMBW2NcoIKliSocb5M4cLL8IKnKw6cCtCjdQln UIN0Oc2BU4zlZo0Bp5
IJFjz7im3gBsAXRoAY+/VzB2AGALKhtbvDXvyFHZFbiu ZW7rng1hBb4CG7Rr3Eap
AqaAWgEft6ZPUG5LTkbpWrSYj55uCow+AxidgB24bm 5Twg0hhzL4DpWiQQ1B6eYn
Mh91wAXb64BMWhq8CkrRCRB00L0dA6UiAgJIuQbg NeZ2dADRNmVdaUpwiwPC60d8
QCEauoLShI9eUyTcRdqKdkNDU2AgNiCfDF+xTj chNKoM4porVGgg6h8gf2TIrR6l
aAtorHd/AU0WFuwCXFjYAAAAAElFTkSuQmCC
X-Notice: Filtered by postfilter v. 0.9.2
X-Face: %M2uS\s$_cMkwrVXsoYpa=RzNOi}3/GbD&c.e}z;F~"{{l<do%vYi&]lPL"XZp/;
3=qv=I?_"{yovIab@hhLCJ;X;Y#S#Y=y+i!=QO7Sdj}z^!56+-Th,F3J1|1!{o_l'nYv(mu
]u5aO9)w`6,)0'{LIt^{SA'X{A7qhie<!V,Y|{*t@,ogMz<<W%;(}8WnN?Vme8&/R+tS'L^
HBHq\{A;Rs>%Ju8PC:1_XATjWPC?;smn"%+^M9F"9GQrho`4`#o[j{GfKJnvx6f+,3oq$7
 by: Vic Futabatei - Mon, 23 May 2022 12:52 UTC

Dan Christensen wrote:

>> you two guys don't undrestand _proofs_. Here is how to do it.
>> Kherson is Russia. The state symbols of Ukraine are being removed in
>> Kherson https://www.bitchute.com/video/ZREP7kAtHbbh/
>> Homosexual transhumanist wanker Yuval Noah explains the enslavement
>> procedure https://seed171.bitchute.com...
>
> You are forgetting that fundamental axiom:WAR OF AGRESSION = NAZI
> Nothing on bitchute will save your sorry ass, Nazi boy. The corpses you
> leave behind will be the only evidence required to convict you and your
> Fuhrer at the coming Nuremberg War Crimes Tribunal II.

How on earth can a double negation ever become an axiom, you unemployable uneducated cretin. The war crimes are committed by you, the nazis, with _proofs_ etc you don't want out for people to see. Hanging facilities and guillotines are implemented, embedded into the system, waiting for you, repugnant, deplorable nazis. You are a shame for your country and for the planet you happen to be born on.

Mariupol Freed from the Zelensky’s Satanist Nazis (video). Putin Conquers the Military Target
https://www.veteranstoday.com/2022/05/22/mariupol-freed-by-the-zelensky-nazis-satanists-putin-conquers-the-target-and-shows-the-true-face-of-the-kiev-partisans-video/
Russian Army shows the True Face of the Kiev Partisans

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<551b1467-60cb-4b30-8e50-2ee8fe44619en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7d46:0:b0:2f3:dd89:5557 with SMTP id h6-20020ac87d46000000b002f3dd895557mr16180457qtb.567.1653313079725;
Mon, 23 May 2022 06:37:59 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr21242064ybs.543.1653313079580; Mon, 23
May 2022 06:37:59 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Mon, 23 May 2022 06:37:59 -0700 (PDT)
In-Reply-To: <t6g034$1bjv$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com> <4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
<t6egqm$mca$1@gioia.aioe.org> <40a1804a-82fb-4767-b320-675dde57237bn@googlegroups.com>
<t6g034$1bjv$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <551b1467-60cb-4b30-8e50-2ee8fe44619en@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Mon, 23 May 2022 13:37:59 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2290
 by: Dan Christensen - Mon, 23 May 2022 13:37 UTC

On Monday, May 23, 2022 at 8:53:05 AM UTC-4, Vic Futabatei wrote:
> Dan Christensen wrote:
>
> >> you two guys don't undrestand _proofs_. Here is how to do it.
> >> Kherson is Russia. The state symbols of Ukraine are being removed in
> >> Kherson https://www.bitchute.com/video/ZREP7kAtHbbh/
> >> Homosexual transhumanist wanker Yuval Noah explains the enslavement
> >> procedure https://seed171.bitchute.com...
> >
> > You are forgetting that fundamental axiom:WAR OF AGRESSION = NAZI

> > Nothing on bitchute will save your sorry ass, Nazi boy. The corpses you
> > leave behind will be the only evidence required to convict you and your
> > Fuhrer at the coming Nuremberg War Crimes Tribunal II.

> How on earth can a double negation ever become an axiom, you unemployable uneducated cretin.

Your fatuous analysis only serves to reinforce your criminal intent, Nazi Boy. Time is running out.

Re: DC Proof challenge: Zorn's Lemma, how formalize it?

<t6g2tb$1bjv$2@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!mLipwYpzeQOxl5Glx+csOw.user.46.165.242.75.POSTED!not-for-mail
From: aba...@kaauukja.kc (Jacy Kagabu)
Newsgroups: sci.math
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
Date: Mon, 23 May 2022 13:41:00 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6g2tb$1bjv$2@gioia.aioe.org>
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<2f64fb6e-d470-436d-99d8-fdcd693af919n@googlegroups.com>
<4aee1895-cdaa-4613-a5b1-efc2bfffdc14n@googlegroups.com>
<t6egqm$mca$1@gioia.aioe.org>
<40a1804a-82fb-4767-b320-675dde57237bn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="44671"; posting-host="mLipwYpzeQOxl5Glx+csOw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:60.0) Gecko/20100101
Firefox/60.0 SeaMonkey/2.53.7.1
X-Notice: Filtered by postfilter v. 0.9.2
X-Face: %M2uS\s$_cMkwrVXsoYpa=RzNOi}3/GbD&c.e}z;F~"{{l<do%vYi&]lPL"XZp/;
3=qv=I?_"{yovIab@hhLCJ;X;Y#S#Y=y+i!=QO7Sdj}z^!56+-Th,F3J1|1!{o_l'nYv(mu
]u5aO9)w`6,)0'{LIt^{SA'X{A7qhie<!V,Y|{*t@,ogMz<<W%;(}8WnN?Vme8&/R+tS'L^
HBHq\{A;Rs>%Ju8PC:1_XATjWPC?;smn"%+^M9F"9GQrho`4`#o[j{GfKJnvx6f+,3oq$7
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEW0g4DquY78
/fm3sY3d19xiUUmrbkEiHyXEeeYYAAACf0lEQVQ4jX3SO2/bMBAA4FNosSsPcj2
3irvToeyufhDtStQ9aqWRklkDGAz/fo+ynRbpQxvv0z34gP4fH/wflvu/wz2AeU
sVlgBEx/2fsOU40d20trdUuCZwylSzJRpusK1haj3/uqZMOT9cYU3kQGh66JdUS
snj+QJLznZzi3HWfyoT5Avc0+jn1mJ77L+OJRON5WGCLeXGMixy/zlBWqm23E2g
6RkrqLynBvlbjN8qLPXYcCW7U+XO4+8gMy/sDnX54acMdYGPklwMCG18Awc5gu5
IaAZZQcHTjwvUlqsVytKs6aRGCrGp0FVQ2OA6i5b8InqQE6gNgVlhB20WOoBSjY
JZBa1js0OL2Hqjp3ER5hdouceOIXXbKa5uoE6461BFwC/cikvJ6UhAY+A1KN72B
xkWQYL8PkGHwOnNwmF3n6RXANLtK3B1btLFR1TLUwxto2K9f5CoWscn93LCRX/i
/xEi8bz1AmSL+M5X2ChAlRyJfQ9xJZPxsXiB71174tz0aIzdQzQyDRsaE+CiFJ5
AeiO02EPSKQ12E1NQqpQXkCTAgBngEVIY7HYTksL6RshpY2bWQFAyzO1BhyQbDh
cSYjhYwyBi4BvvQIZQMjgtNBcYDhAiRdvvkF9OKqUVRghjB2t5N/R07q3li/Olg
DDcwlpT4WUsM3solIDHFTyTHg6D5fH4JedhW8jzVM4ZqE14KoxjfcojQ8cAAAIE
Twn6AiWn2tyNz5zBbQwkegVfwXFcaCOArlBSE0o5O+4NRnDGK3jgszpDBdA8XIq
XONdieHb1BKcMeLqB5H2cqfa4NL/Gi5ehZjCYesBAr1DHrWDqd/hVidJxzMcWxC
TiJ9kF9DySO6L3AAAAAElFTkSuQmCC
 by: Jacy Kagabu - Mon, 23 May 2022 13:41 UTC

Dan Christensen wrote:

> Nothing on bitchute will save your sorry ass, Nazi boy. The corpses you
> leave behind will be the only evidence required to convict you and your
> Fuhrer at the coming Nuremberg War Crimes Tribunal II.

Since you like bitchute, here comes *war_crimes* filmed and *_published_*
through bitchute. Enjoy. You nonsensical blathering nazi.

The Ukrainian military decided to hide the tanks in the residential
sector, but this did not help them.
https://www.brighteon.com/8255db6f-84fe-4fd2-97a7-da48dcfd30cc

Homosexual transhumanist wanker Yuval Noah explains the enslavement
procedure https://seed171.bitchute.com/t3cRCAEbQKjM/h9D0UN6pY5RR.mp4

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor