Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

<Stealth> How do I bind a computer to an NIS server? <Joey> Use a rope? -- Seen on #Debian


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

SubjectAuthor
o Re: DC Proof challenge: Zorn's Lemma, how formalize it?Archimedes Plutonium

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

<eb36b85f-9209-4eae-b283-d0f7b4b3557bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:b807:: with SMTP id i7mr13313929qkf.331.1623011431687;
Sun, 06 Jun 2021 13:30:31 -0700 (PDT)
X-Received: by 2002:a25:24c9:: with SMTP id k192mr19470093ybk.468.1623011431358;
Sun, 06 Jun 2021 13:30:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!news.dns-netz.com!news.freedyn.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!feeder1.feed.usenet.farm!feed.usenet.farm!news-out.netnews.com!news.alt.net!fdc3.netnews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.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: Sun, 6 Jun 2021 13:30:31 -0700 (PDT)
In-Reply-To: <e57d5f20-c109-4d4d-92f5-628b991f5decn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:b:f:0:0:0:40;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:b:f:0:0:0:40
References: <c8fa5e22-ad54-4a3b-bcbc-b0f2b15e4460o@googlegroups.com>
<9d99b7d7-9b7e-44b2-91cd-56dca4804239n@googlegroups.com> <012dc517-1687-4181-92eb-71a42639ae1en@googlegroups.com>
<286db615-3932-40c1-985f-6af056880c3fn@googlegroups.com> <c75274ae-9bc7-4f17-ac74-2e6bc19927d9n@googlegroups.com>
<01011a91-6375-4fb1-92be-c7536ea0bbf6n@googlegroups.com> <6ca3fcbc-b9c0-4ba0-8c5d-d3673ae90428n@googlegroups.com>
<ca6af1ca-afa6-419f-9ae5-f1c460619113n@googlegroups.com> <7de38370-aa8a-4cba-af19-227347f9abe2n@googlegroups.com>
<eb52040e-965d-4456-9c69-0aaf674821b0n@googlegroups.com> <1cc73c9e-dc15-46f9-b16c-76dc78c5353bn@googlegroups.com>
<c7938015-fafc-49d3-82cd-1b5e27d03263n@googlegroups.com> <c6a97583-01aa-4daf-9110-1d46f66e33fdn@googlegroups.com>
<s38i0t$7r1$1@gioia.aioe.org> <9074cdff-a481-4848-8a4e-88e8e5e5cdd5n@googlegroups.com>
<62a02843-ac03-4d5d-9a13-978474f45b1an@googlegroups.com> <b541a02a-5dee-4f05-a9eb-166b5cd2995en@googlegroups.com>
<6058fb16$0$16170$426a74cc@news.free.fr> <1e07b240-8c55-453a-ace0-54280d1ba270n@googlegroups.com>
<a4ab7bbb-40fd-404d-8407-f936075cf844n@googlegroups.com> <a383133f-aa6c-479a-99b0-8e8ca29c53e5n@googlegroups.com>
<62a157d9-5c23-4df1-9b9d-7e6578ea0f0bn@googlegroups.com> <1afe1819-8501-4825-b88f-e10ab71ecf82n@googlegroups.com>
<1c0e8046-af8b-4e0b-afda-b2951eb660a5n@googlegroups.com> <bc9d8112-a06a-4ea6-a570-b84ed192a64fn@googlegroups.com>
<0983427d-a164-4642-9fb3-e60fa205eb6dn@googlegroups.com> <1658a085-4353-4834-87fe-e36ac3314ff5n@googlegroups.com>
<b5080eb0-1c74-439a-ad1f-8912b014c069n@googlegroups.com> <bea63878-1937-43e9-a01b-7ff1ce0b4960n@googlegroups.com>
<8fffe4a4-319b-486b-b799-adc003c74fc0n@googlegroups.com> <4d2f3baa-834b-4037-aa2e-35ae2f3e4684n@googlegroups.com>
<602f169b-77fc-429f-b398-bbaa3d6e0e47n@googlegroups.com> <2f11dff8-5d44-4016-a7a6-0d2bf517da04n@googlegroups.com>
<1494fdc0-9206-40cb-a9d0-f81933bb1b79n@googlegroups.com> <7ed84b80-3865-4496-b276-e6a4ce4a3412n@googlegroups.com>
<27f5614c-cf70-43ff-85ad-1619a6c7e3f1n@googlegroups.com> <d4a736f0-e97d-4526-ab41-dfb75394ab0cn@googlegroups.com>
<ef6df3ae-724c-4ad5-9d11-26b738d9bdean@googlegroups.com> <0abbbeeb-21a7-4c10-92ea-52b7df675e98n@googlegroups.com>
<004fe500-5f8d-4395-b8c0-6ed353116be2n@googlegroups.com> <30f07c49-3382-4309-abba-e20b6b01e82dn@googlegroups.com>
<73c374a8-127e-479c-b285-4d4290c043acn@googlegroups.com> <e57d5f20-c109-4d4d-92f5-628b991f5decn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eb36b85f-9209-4eae-b283-d0f7b4b3557bn@googlegroups.com>
Subject: Re: DC Proof challenge: Zorn's Lemma, how formalize it?
From: plutoniu...@gmail.com (Archimedes Plutonium)
Injection-Date: Sun, 06 Jun 2021 20:30:31 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 59739
 by: Archimedes Plutonium - Sun, 6 Jun 2021 20:30 UTC

Canada continues to give the mindless shithead of logic Dan Christensen free access to Usenet when he belongs in a asylum.

On Wednesday, March 24, 2021 at 3:41:46 PM UTC-5, Dan Christensen wrote:
> WARNING TO STUDENTS: Don't be a victim of

Morons of logic Peter Bruce Andrews, Lennart Aqvist, Henk Barendregt, John Lane Bell, Nuel Belnap,
Paul Benacerraf, Jean Paul Van Bendegem, Johan van Benthem, Jean-Yves Beziau,
Andrea Bonomi, Nicolas Bourbaki (a group of logic fumblers), Alan Richard Bundy, Gregory Chaitin,
Jack Copeland, John Corcoran, Dirk van Dalen, Martin Davis, Michael A.E. Dummett, John Etchemendy, Hartry Field, Kit Fine, Melvin Fitting, Matthew Foreman, Michael Fourman,
Harvey Friedman, Dov Gabbay, L.T.F. Gamut (group of logic fumblers), Sol Garfunkel, Jean-Yves Girard, Siegfried Gottwald, Jeroen Groenendijk, Susan Haack, Leo Harrington, William Alvin Howard,
Ronald Jensen, Dick de Jongh, David Kaplan, Alexander S. Kechris, Howard Jerome Keisler,
Robert Kowalski, Georg Kreisel, Saul Kripke, Kenneth Kunen, Karel Lambert, Penelope Maddy,
David Makinson, Isaac Malitz, Gary R. Mar, Donald A. Martin, Per Martin-Lof,Yiannis N. Moschovakis, Jeff Paris, Charles Parsons, Solomon Passy, Lorenzo Pena, Dag Prawitz,
Graham Priest, Michael O. Rabin, Gerald Sacks, Dana Scott, Stewart Shapiro, Theodore Slaman,
Robert M. Solovay, John R. Steel, Martin Stokhof, Anne Sjerp Troelstra, Alasdair Urquhart,
Moshe Y. Vardi, W. Hugh Woodin, John Woods

Everything Jan Burse or Dan Christensen do in logic-- worthless until they recognize and accept the fact that Boole messed up bigtime, for he screwed up AND with OR, and his logic truth tables are a pile of shit. But Dan and Jan have shit for brains and keep on keeping on with their moron logic 2 OR 3 = 5 with 3 AND 2 resulting in 1.

5th published book

Suspend all College Classes in Logic, until they Fix their Errors // Logic series, book 1 Kindle Edition
by Archimedes Plutonium (Author)

First comes Logic-- think straight and clear which many logic and math professors are deaf dumb and blind to, and simply refuse to recognize and fix their errors.

The single biggest error of Old Logic of Boole and Jevons was their "AND" and "OR" connectors. They got them mixed up and turned around. For their logic ends up being that of 3 OR 2 = 5 with 3 AND 2 = 1, when even the local village idiot knows that 3 AND 2 = 5 (addition) with 3 OR 2 = either 3 or 2 (subtraction). And secondly, their error of the If->Then conditional. I need to make it clear enough to the reader why the true Truth Table of IF --> Then requires a U for unknown or uncertain with a probability outcome for F --> T = U and F --> F = U. Some smart readers would know that the reason for the U is because without the U, Logic has no means of division by 0 which is undefined in mathematics. You cannot have a Logic that is less than mathematics. A logic that is impoverished and cannot do a "undefined for division by 0 in mathematics". The true logic must be able to have the fact that division by 0 is undefined. True logic is larger than all of mathematics, and must be able to fetch any piece of mathematics from out of Logic itself. So another word for U is undefined. And this is the crux of why Reductio ad Absurdum cannot be a proof method of mathematics, for a starting falsehood in a mathematics proof can only lead to a probability end conclusion.

My corrections of Old Logic have a history that dates before 1993, sometime around 1991, I realized the Euclid proof of infinitude of primes was illogical, sadly sadly wrong, in that the newly formed number by "multiply the lot and add 1" was necessarily a new prime in the indirect proof method. So that my history of fixing Old Logic starts in 1991, but comes to a synthesis of correcting all four of the connectors of Equal/not, And, Or, If->Then, by 2015.

Cover picture: some may complain my covers are less in quality, but I have a good reason for those covers-- I would like covers of math or logic to show the teacher's own handwriting as if he were back in the classroom writing on the blackboard or an overhead projector.
Length: 63 pages

File Size: 764 KB
Print Length: 63 pages
Publication Date: March 12, 2019
Sold by: Amazon Digital Services LLC
Language: English
ASIN: B07PMB69F5
Text-to-Speech: Enabled
X-Ray: 
Not Enabled 

Word Wise: Not Enabled
Lending: Enabled
Screen Reader: Supported
Enhanced Typesetting: Enabled

Jan Burse, Dan Christensen mindless morons of logic because their teachers were mindless morons never entertaining the question, did Boole get his AND , OR, half arse backwards and turned around? They lack even the brains to check whether Boole got it backwards. They do not belong in math or logic, they belong as a cesspool cleaner outer.

Dan Christensen pink slips Michael O. Rabin, Gerald Sacks, Dana Scott, Stewart Shapiro, Theodore Slaman, Robert M. Solovay, John R. Steel, Martin Stokhof, Anne Sjerp Troelstra, Alasdair Urquhart, Moshe Y. Vardi, W. Hugh Woodin, John Woods with their mindless Boole logic of 10 OR 2 = 12 with AND as subtraction

Dan Christensen pink slips
Cornell Univ physics:
Jim Alexander, Tomas Arias, Ivan Bazarov, Eberhard Bodenschatz, Debanjan Chowdhury, Itai Cohen, Csaba Csaki, Veit Elser, Eanna Flanagan, Carl Franck, Lawrence Gibbons, Paul Ginsparg, Yuval Grossman, Thomas Hartman, Georg Hoffstaetter, Natasha Holmes, Chao-Ming Jian, Eun-Ah Kim, Michael Lawler, Andre Leclair, Peter Lepage, Stephen Levy, Matthias Liepe, Kin Fai Mak, Jared Maxson, Liam McAllister, Paul McEuen, Erich Mueller, Christopher Myers, Michael Niemack, Matthias Neubert, Katja Nowack, Jeevak Parpia, Ritchie Patterson, Maxim Perelstein, Daniel Ralph, Brad Ramshaw, David Rubin, Anders Ryd, James Sethna, Jie Shan, Kyle Shen, Eric Siggia, Saul Teukolsky, Julia Thom-Levy, Robert Thorne, Cyrus Umrigar, Jane Wang, Michelle Wang, Ira Wasserman, Peter Wittich for their mindless complacency of never wanting to see if real electron is the muon with proton at 840MeV and the 0.5MeV particle as Dirac's Magnetic Monopole. Too stupid to even entertain the idea.

1:29 AM Dan Christensen stalking// Sophie Gregoire "> Are you ready, kids??? Bend over, er... " Stephen Lecce are you paying Dan Christensen to stalk AP for 10 years now?? Univ of Toronto Rose M. Patten, Meric Gertler are you paying that 10 year stalker??

Dan Christensen with his endless bully stalking of 10 years now--
WARNING TO STUDENTS: Don't be a victim of AP's fake math and science

On Friday, May 29, 2020 at 5:59:26 AM UTC-5, Dan Christensen wrote:
>
> Pure gibberish. As we see here, AP never misses an opportunity to confuse and mislead students. Contrary to his lies...
>

On Monday, October 21, 2019 at 1:29:49 PM UTC-5, Dan Christensen wrote:
>
> Are you ready, kids??? Bend over, er...
>
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Dan Christensen wrote:

11:16 AM (1 hour ago)

Still no reply, Archie Pu?

Dan Christensen stalking// Sophie Gregoire "> Are you ready, kids??? Bend over, er... " Stephen Lecce are you paying Dan Christensen to stalk AP for 10 years now??

AP writes: I do not know why Canada picks such a stupid idiot of science and logic to stalk other people, with Dan's 3 OR 2 = 5, when even Justin Trudeau the PM of Canada knows it to be 3 AND 2 = 5, or the time that Dan was caught with his kindergarten logic:

>WARNING TO STUDENTS: Don't be a victim of ....
>
“The value of sin(45 degrees) = 1.” (It is actually 0.707..)
--May 31, 2019

AP writes: we all know Dan cannot read math correctly for slope at 45 degrees is 1, not the sine value. But a stalking hate mongering fool cannot learn anything, for the dy/dx of 45 degrees is a slope of 1. And that idiot Dan cannot comprehend what others are saying.

There is no sine mentioned in AP's Chart of Angles

from Teaching True Mathematics:

Now we spend some time in doing the dy/dx in the Angle Chart

90 84 79 73 68 63 59 55 51 48 45 these are angles made from (0,0)

? 10 5 3.3 2.5 2 1.6 1.4 1.2 1.1 1.0

90 84 79 73 68 63 59 55 51 48 45, slope 1, rt-triangle10by10

42, rt-triangle 10by9

39, rt-triangle 10by8

35, rt-triangle 10by7

31, rt-triangle 10by6

27, rt-triangle 10by5

22, rt-triangle 10by4

17, rt.triangle 10by3

11, rt-triangle 10by2

6, rt-triangle 10by1

0 .1 .2 .3 .4 .5 .6 .7 .8 .9 1.0

The stupid Dan Christensen always chokes up when it comes to logic or even just plain commonsense with his 4 OR 3 = 7

On Wednesday, January 25, 2017 at 10:08:09 AM UTC-6, Peter Percival wrote:
> Dan Christensen wrote:
> > On Wednesday, January 25, 2017 at 9:47:32 AM UTC-5, Archimedes Plutonium wrote:
> >> On Wednesday, January 25, 2017 at 8:27:19 AM UTC-6, Dan Christensen wrote:
> >>> On Wednesday, January 25, 2017 at 9:16:52 AM UTC-5, Archimedes Plutonium wrote:
> >>>> PAGE58, 8-3, True Geometry / correcting axioms, 1by1 tool, angles of logarithmic spiral, conic sections unified regular polyhedra, Leaf-Triangle, Unit Basis Vector
> >>>>
> >>>> The axioms that are in need of fixing is the axiom that between any two points lies a third new point.
> >>>
> >>> The should be "between and any two DISTINCT points."
> >>>
> >>
> >> What a monsterous fool you are
> >>
> >
> > OMG. You are serious. Stupid and proud of it.
>
> And yet Mr Plutonium is right. Two points are distinct (else they would
> be one) and it is not necessary to say so.
>


Click here to read the complete article
1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor