Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Long computations which yield zero are probably all for naught.


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?Don Christodoulou
  `* Re: DC Proof challenge: Zorn's Lemma, how formalize it?Mostowski Collapse
   `- Re: DC Proof challenge: Zorn's Lemma, how formalize it?Mostowski Collapse

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

<100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2401:b0:69f:c66:10d2 with SMTP id d1-20020a05620a240100b0069f0c6610d2mr1745754qkn.229.1650610403815;
Thu, 21 Apr 2022 23:53:23 -0700 (PDT)
X-Received: by 2002:a81:26c6:0:b0:2f4:c7b3:ad96 with SMTP id
m189-20020a8126c6000000b002f4c7b3ad96mr3455452ywm.223.1650610403590; Thu, 21
Apr 2022 23:53:23 -0700 (PDT)
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, 21 Apr 2022 23:53:23 -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: <100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Fri, 22 Apr 2022 06:53:23 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 12
 by: Mostowski Collapse - Fri, 22 Apr 2022 06:53 UTC

Now that Dan Christensen had a Aha Moment,
will we see a quantum leap in new proofs from

DC Proof? Or do we have to look at his Cantor
Bernstein Schroeder Proof, maybe its also wrong?

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?

<69ad3e3d-e3bf-40e6-83c4-2b4f811dc392n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:9243:0:b0:69b:6009:856d with SMTP id u64-20020a379243000000b0069b6009856dmr5033376qkd.274.1650707932634;
Sat, 23 Apr 2022 02:58:52 -0700 (PDT)
X-Received: by 2002:a05:6902:1549:b0:642:b223:a253 with SMTP id
r9-20020a056902154900b00642b223a253mr8359262ybu.485.1650707932442; Sat, 23
Apr 2022 02:58:52 -0700 (PDT)
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: Sat, 23 Apr 2022 02:58:52 -0700 (PDT)
In-Reply-To: <100de4f0-895b-40eb-b909-14f29d05cbc3n@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> <100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <69ad3e3d-e3bf-40e6-83c4-2b4f811dc392n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 23 Apr 2022 09:58:52 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 24
 by: Mostowski Collapse - Sat, 23 Apr 2022 09:58 UTC

The theorem is wrong, in words it says:
" then there exists bijection k: x -> y"

Using function space notation, but then it proves:
ALL(a):[a e x => k(a) e y] (k: x -> y)
http://dcproof.com/CBS.htm

But Dan Christensen is lucky, you can extract
a function k' : x -> y, from k, via:

k' = { (a,k(a)) | a e x }

Mostowski Collapse schrieb am Freitag, 22. April 2022 um 08:53:29 UTC+2:
> Now that Dan Christensen had a Aha Moment,
> will we see a quantum leap in new proofs from
>
> DC Proof? Or do we have to look at his Cantor
> Bernstein Schroeder Proof, maybe its also wrong?
> 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?

<pan$94e17$a9b71379$1e9159cc$5bfa6df0@vyzsnmmj.ig>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!tVxh4Xt85snsYyEH7UIy+Q.user.46.165.242.75.POSTED!not-for-mail
From: qbn...@vyzsnmmj.ig (Don Christodoulou)
Newsgroups: sci.math
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
Date: Sat, 23 Apr 2022 12:33:34 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <pan$94e17$a9b71379$1e9159cc$5bfa6df0@vyzsnmmj.ig>
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com>
<69ad3e3d-e3bf-40e6-83c4-2b4f811dc392n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="1309"; posting-host="tVxh4Xt85snsYyEH7UIy+Q.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: slnr/1.0.4 (x86_64)
X-Notice: Filtered by postfilter v. 0.9.2
 by: Don Christodoulou - Sat, 23 Apr 2022 12:33 UTC

Mostowski Collapse wrote:

> The theorem is wrong, in words it says:
> " then there exists bijection k: x -> y"
> Using function space notation, but then it proves:
> ALL(a):[a e x => k(a) e y] (k: x -> y)

Absolutely sure. Here's what the *russian_army* should do from the very
beginning, along the provincial region of its territory, illegally named
"ukraine".

You take out their *_lying_propaganda_machine_* from the very beginning.
Very simple, very easy thing to do. How the hell, so many generals over
there, not knowing the basics in math and physics, about the
*_lying_propaganda_machine_*, of which you have to take it out, a way or
another.

the nazi "defense" criminal organization NATO BOMBINGS IN YUGOSLAVIA - WAR
CRIMES https://www.bitchute.com/video/z5nN1KEyZ2mM/

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

<82d4bbff-5aa3-4ae8-b9a7-453817eb4887n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7f4a:0:b0:2f3:5736:58a9 with SMTP id g10-20020ac87f4a000000b002f3573658a9mr9275753qtk.635.1650814867633;
Sun, 24 Apr 2022 08:41:07 -0700 (PDT)
X-Received: by 2002:a81:5085:0:b0:2f4:d6fb:f76f with SMTP id
e127-20020a815085000000b002f4d6fbf76fmr14094203ywb.190.1650814867435; Sun, 24
Apr 2022 08:41:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!border1.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: Sun, 24 Apr 2022 08:41:07 -0700 (PDT)
In-Reply-To: <pan$94e17$a9b71379$1e9159cc$5bfa6df0@vyzsnmmj.ig>
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>
<100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com> <69ad3e3d-e3bf-40e6-83c4-2b4f811dc392n@googlegroups.com>
<pan$94e17$a9b71379$1e9159cc$5bfa6df0@vyzsnmmj.ig>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <82d4bbff-5aa3-4ae8-b9a7-453817eb4887n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 24 Apr 2022 15:41:07 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 10
 by: Mostowski Collapse - Sun, 24 Apr 2022 15:41 UTC

Here is a theorem that discriminates the two kingdoms
set and classes. For sets f with Fritz application we can prove:

/* provable */
ALL(f):EXIST(y):ALL(a):[f(a) e y]

For classes F we cannot prove:

/* not provable */
ALL(F):EXIST(y):ALL(a):[F(a) e y]

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

<e0db7f65-2155-4034-aaee-41ebe8806fd1n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:d47:b0:456:4672:d6e5 with SMTP id 7-20020a0562140d4700b004564672d6e5mr6611524qvr.22.1651089981665;
Wed, 27 Apr 2022 13:06:21 -0700 (PDT)
X-Received: by 2002:a81:1cd5:0:b0:2f4:c3fc:2174 with SMTP id
c204-20020a811cd5000000b002f4c3fc2174mr29784795ywc.512.1651089981486; Wed, 27
Apr 2022 13:06:21 -0700 (PDT)
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: Wed, 27 Apr 2022 13:06:21 -0700 (PDT)
In-Reply-To: <82d4bbff-5aa3-4ae8-b9a7-453817eb4887n@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>
<100de4f0-895b-40eb-b909-14f29d05cbc3n@googlegroups.com> <69ad3e3d-e3bf-40e6-83c4-2b4f811dc392n@googlegroups.com>
<pan$94e17$a9b71379$1e9159cc$5bfa6df0@vyzsnmmj.ig> <82d4bbff-5aa3-4ae8-b9a7-453817eb4887n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e0db7f65-2155-4034-aaee-41ebe8806fd1n@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 27 Apr 2022 20:06:21 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 19
 by: Mostowski Collapse - Wed, 27 Apr 2022 20:06 UTC

Its getting worse and worse, Dan-O-Matik doesn't
understand the Fritz definitions. No wonder he
thinks the theorem is a bug. Hilarious!

Fritz Feldhase schrieb am Dienstag, 19. April 2022 um 05:34:26 UTC+2:
> img(f) := {y e UUf : Ex(<x, y> e f)}
> f(x) := U{y e UUf : <x, y> e f} "the value of f at x"
https://groups.google.com/g/sci.logic/c/ciw2EB2-4LE/m/3AYJ0sOTBwAJ

Mostowski Collapse schrieb am Sonntag, 24. April 2022 um 17:41:13 UTC+2:
> Here is a theorem that discriminates the two kingdoms
> set and classes. For sets f with Fritz application we can prove:
>
> /* provable */
> ALL(f):EXIST(y):ALL(a):[f(a) e y]
>
> For classes F we cannot prove:
>
> /* not provable */
> ALL(F):EXIST(y):ALL(a):[F(a) e y]

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor