novaBBS - sci.math - Re: 1.1Dr. John Baez is a failed mathematician-physicist with his proton of 938MeV when it is 840MeV, electron= muon //his ellipse is a conic when it never was// as phony in math and physics as kibo Parry Moroney's ellipse and Christensen 10 OR 4 =

Re: 1.1Dr. John Baez is a failed mathematician-physicist with his proton of 938MeV when it is 840MeV, electron= muon //his ellipse is a conic when it never was// as phony in math and physics as kibo Parry Moroney's ellipse and Christensen 10 OR 4 =

<07873639-76b2-422d-9580-332e80a69827n@googlegroups.com>

copy mid

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

copy link Newsgroups: sci.math

X-Received: by 2002:a05:622a:409:b0:3ba:1d3d:2e3e with SMTP id n9-20020a05622a040900b003ba1d3d2e3emr582726qtx.146.1676552625740;
Thu, 16 Feb 2023 05:03:45 -0800 (PST)
X-Received: by 2002:a05:6870:fd84:b0:16d:b9ab:9b13 with SMTP id
ma4-20020a056870fd8400b0016db9ab9b13mr195702oab.1.1676552624983; Thu, 16 Feb
2023 05:03:44 -0800 (PST)
Path: i2pn2.org!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: Thu, 16 Feb 2023 05:03:44 -0800 (PST)
In-Reply-To: <47b1bdc3-8f68-4fa8-b8a2-c325136207c7@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <2ef2a6a7-6a54-47be-bf68-b4c1f744ff21@googlegroups.com> <47b1bdc3-8f68-4fa8-b8a2-c325136207c7@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <07873639-76b2-422d-9580-332e80a69827n@googlegroups.com>
Subject: Re: 1.1Dr. John Baez is a failed mathematician-physicist with his
proton of 938MeV when it is 840MeV, electron= muon //his ellipse is a conic
when it never was// as phony in math and physics as kibo Parry Moroney's
ellipse and Christensen 10 OR 4 =
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 16 Feb 2023 13:03:45 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2052

by: Mostowski Collapse - Thu, 16 Feb 2023 13:03 UTC

Now you made it an additional axiom?

16 ALL(a):[a e even => a e n]
Axiom
17 ALL(a):[a e n => [a e even <=> EXIST(b):[b e n & a=2*b]]]
Axiom
https://www.dcproof.com/EvenNextOddV2.htm

LoL

You would get this cheaper by:

16+17 ALL(a):[a e even <=> a e n & EXIST(b):[b e n & a=2*b]]]
Axiom

Looks like you were going full circle,
and have invalidate your own thread here:

Two ways for formally define
https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/I2o0_OTyDgAJ

Interesting learning curve. A little slow,
but not zero, but possibly not yet there.

If you approach zero like WM does, you
will never reach the necessary insight.

<b64c3f4d-2b38-4f43-9d79-16a4aef3b021n@googlegroups.com>

copy mid

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

copy link Newsgroups: sci.math

X-Received: by 2002:a0c:8c47:0:b0:56e:8c6d:2979 with SMTP id o7-20020a0c8c47000000b0056e8c6d2979mr76024qvb.79.1676681575993;
Fri, 17 Feb 2023 16:52:55 -0800 (PST)
X-Received: by 2002:a05:6871:4582:b0:16d:be40:c3cf with SMTP id
nl2-20020a056871458200b0016dbe40c3cfmr517173oab.298.1676681575729; Fri, 17
Feb 2023 16:52:55 -0800 (PST)
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: Fri, 17 Feb 2023 16:52:55 -0800 (PST)
In-Reply-To: <07873639-76b2-422d-9580-332e80a69827n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2600:387:f:e19:0:0:0:9;
posting-account=fsC03QkAAAAwkSNcSEKmlcR-W_HNitEd
NNTP-Posting-Host: 2600:387:f:e19:0:0:0:9
References: <2ef2a6a7-6a54-47be-bf68-b4c1f744ff21@googlegroups.com>
<47b1bdc3-8f68-4fa8-b8a2-c325136207c7@googlegroups.com> <07873639-76b2-422d-9580-332e80a69827n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b64c3f4d-2b38-4f43-9d79-16a4aef3b021n@googlegroups.com>
Subject: Re: 1.1Dr. John Baez is a failed mathematician-physicist with his
proton of 938MeV when it is 840MeV, electron= muon //his ellipse is a conic
when it never was// as phony in math and physics as kibo Parry Moroney's
ellipse and Christensen 10 OR 4 =
From: plutoniu...@gmail.com (Archimedes Plutonium)
Injection-Date: Sat, 18 Feb 2023 00:52:55 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2419

by: Archimedes Plutonium - Sat, 18 Feb 2023 00:52 UTC

Dan Christensen as the axiom of Spam, spam spam and more spam, yummy spam

On Thursday, February 16, 2023 at 7:03:51 AM UTC-6, Mostowski Collapse wrote:
> Now you made it an additional axiom?

Dan Christensen

Mostowski Collapse

unread,
Even and Odd Number Revisited: A formal set theoretic approach in DC Proof
6:34 PM

mitchr...@gmail.com's profile photo
mitchr...@gmail.com
unread,
How does gravity tug on an axis that is pointed toward and away?
6:34 PM

mitchr...@gmail.com's profile photo
mitchr...@gmail.com
,
Chris M. Thomasson
3 unread,
It doesn't matter where you start
On Friday, February 17, 2023 at 2:26:45 PM UTC-8, Chris M. Thomasson wrote: > On 2/17/2023 1:54 PM
5:30 PM

mitchr...@gmail.com's profile photo
mitchr...@gmail.com
unread,
The first singularity shows singularities have never existed

Whom computers would destroy, they must first drive mad.

tech / sci.math / Re: 1.1Dr. John Baez is a failed mathematician-physicist with his proton of 938MeV when it is 840MeV, electron= muon //his ellipse is a conic when it never was// as phony in math and physics as kibo Parry Moroney's ellipse and Christensen 10 OR 4 =

Subject	Author
Re: 1.1Dr. John Baez is a failed mathematician-physicist with his	Mostowski Collapse
Re: 1.1Dr. John Baez is a failed mathematician-physicist with his	Archimedes Plutonium