Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

UNIX enhancements aren't.


tech / sci.math / Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

SubjectAuthor
* 19 May 2022: New visitors to sci.math: The New Calculus is the firstEram semper recta
`* STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 +* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |`* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 | `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  +* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |+* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  ||`- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMajor Uesugi
 |  |`* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |  | +- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathNey Eto
 |  | `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |  `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |  |   +- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDeivi Ooka
 |  |   `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |    +* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |    |`- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |    `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |  |     `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |      `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |  |       `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
 |  |        `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |  `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen
 |   `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathGrant Shirasu
 `* Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathMostowski Collapse
  `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen

1
19 May 2022: New visitors to sci.math: The New Calculus is the first rigorous formulation in history.

<7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5ad4:0:b0:2f3:e0fb:df1c with SMTP id d20-20020ac85ad4000000b002f3e0fbdf1cmr2474487qtd.267.1652931795658;
Wed, 18 May 2022 20:43:15 -0700 (PDT)
X-Received: by 2002:a0d:c884:0:b0:2f9:2a69:5b25 with SMTP id
k126-20020a0dc884000000b002f92a695b25mr2541553ywd.509.1652931795453; Wed, 18
May 2022 20:43:15 -0700 (PDT)
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: Wed, 18 May 2022 20:43:15 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:587:b43e:a200:1098:3a19:98e9:1ef9;
posting-account=I6O9nAoAAABb1i1LpKMPS-CPmVJHIbyE
NNTP-Posting-Host: 2a02:587:b43e:a200:1098:3a19:98e9:1ef9
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
Subject: 19 May 2022: New visitors to sci.math: The New Calculus is the first
rigorous formulation in history.
From: thenewca...@gmail.com (Eram semper recta)
Injection-Date: Thu, 19 May 2022 03:43:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 21115
 by: Eram semper recta - Thu, 19 May 2022 03:43 UTC

First learn how my historic geometric identity of January 2020 proves your mainstream formulation of calculus is an elaborate fraud:

https://drive.google.com/file/d/1RDulODvgncItTe7qNI1d8KTN5bl0aTXj

Seeing is believing, so download the following applet and watch how my historic geometric theorem works for any given function:

https://drive.google.com/file/d/1ON1GQ7b6UNpZSEEsbG14eAFCPv8p03pv

There are no viruses or spy software in my applets and to my knowledge most browsers will warn you before you download any malicious code in applets. Don't waste your time on the fraudulent mainstream formulation of calculus which cannot be understood because it is anti-mathematical nonsense. Download my applet now and gain understanding and knowledge you couldn't find at school or university!

Second, learn how it fixes the mainstream bogus definition of definite integral:

https://drive.google.com/file/d/1uIBgJ1ObroIbkt0V2YFQEpPdd8l-xK6y

Applet which explains the definite integral without any ill-formed concepts such as infinity, infinitesimals or the circular rot of limit theory:

https://drive.google.com/file/d/1JYRxjGb3MxlYWp_2KqVXwXNr5XUvUNz7

A video explaining the new applet:

https://youtu.be/TJqvbshIGtg

Third, study my free eBook because not only your mathematical future depends on it but also your sanity!

https://drive.google.com/file/d/1CIul68phzuOe6JZwsCuBuXUR8X-AkgEO

Lastly, ignore all the trolls and cranks such as Dan Christensen, Jean Pierre Messager (aka Python aka YBM aka JPM), Jan Burse, Michael MORONey, QB, Earle, Jens Stuckelberger, Jan Bilawski, Zelos Malum, Markus Klyver, Alan McKenzie, Ludwig Poehlman (certified crank aka Archimedes Plutonium) etc. These fools have nothing to say about my work. All they know is how to throw shade because they are ignorant, arrogant, incompetent and incorrigibly stupid. Unfortunately, sci.math has become the mainstream's "Truth Network" - replete with paid trolls, some of whose names are mentioned in this paragraph. These fools have lost the privilege of being educated by me. Gracing them with any kind of response is like placing a prized pearl on a pile of dung.

I shall not respond to any of them again.

At times it's good to laugh at the stupidity and dishonesty of mainstream academics. However, the situation is dire when religion trumps common sense:

https://drive.google.com/file/d/1520NjhgiakcrssQxtbxRCDXus_aHXpI9

This comment will be periodically reposted for the sake of new visitors.

My lecture on the true Foundations of Mathematics was recorded.

You can download it here:

https://youtu.be/_WZJY1xgJTk

The Gift applet (almost in power point format!):

https://drive.google.com/file/d/1SYT-MbYtXUAYgwPeTgZ8QC8gxNpj-fap

Remember, you cannot understand mathematics without me because no one understands mathematics as well as I do. The lecture is a bit on the slow side (because of my health issues), BUT you will learn more about the foundations of mathematics than you ever knew your entire life!

The Elements is not about geometry. It's not about algebra. It's not about constructions. It is a template for the realisation of all SCIENCE.

I quote a Greek scholar (http://www.physics.ntua.gr/mourmouras/euclid/common/anti_prologou.html):

Τα Στοιχεία Ευκλείδου δέν είναι Γεωμετρία (ούτε επιπεδομετρία, ούτε γεωμετρία χώρου), απλώς μπορούν να παραχθούν από αύτα «Γεωμετρίες» (είτε «Ευκλείδειες,» είτε «μή Ευκλείδειες», κλπ), όπως επίσης μπορούν να παραχθούν πολλές άλλες θεωρίες «Μαθηματικές» καί όχι μόνο, π.χ. Θεωρία Αριθμών, Aναλογίες, Aσύμμετρα Μεγέθη, Θεωρία της Σχετικότητας, κ.α.

Τα Στοιχεία τού Ευκλείδου δεν είναι ούτε αντικείμενα του Πραγματικού κόσμου, καίούτε είναι αντικείμενα τών Μαθηματικών, αλλά χωρίς αυτά, όλα τά παραπάνω δέν μπορούν να περιγραφούν, να κατανοηθούν, να ερμηνευτούν.

Πολλοί συγχέουν τον πραγματικό χώρο τών «Φυσικών» επιστημών με τά Στοιχεία Ευκλείδου. Aπό τα Στοιχεία Ευκλείδου προέρχονται οί πλείστες μαθηματικές καί φυσικές επιστήμες, τόσο οί παραδοσιακές όσο καί οί μοντέρνες. Γιά τις τεχνολογίες αυτό είναι προφανές.

Τα Στοιχεία Ευκλείδου αποτελούν ένα ενιαίον όλο, ένα «Σύστημα», τό οποίο είναι «κλειστό καί ἀνοικτό», τόσο όσο καί ή σκέψη, ό λόγος καί ή γραμματική τής ανθρώπινης υπόστασης. H πληρότητα καί ἡ συνέπεια είναι δομημένες μέ έναν εκπληκτικό τρόπο, πού τό καθιστούν μοναδικό.

My καθαρεύουσα (high Greek) Greek is very poor, but here is my translation:

Euclidean Elements are not Geometry (neither plane geometry nor space geometry), from these can be produced "Geometries" (either "Euclidean" or "non-Euclidean", etc.), as well as many other "Mathematical" theories can be produced and not only, e.g. Number Theory, Proportions, Asymmetric Sizes, Theory of Relativity, etc.

The Elements of Euclid are neither objects of the real world, nor are they objects of Mathematics, but without them, all the above cannot be described, understood, interpreted. Many confuse the real world of the "Natural" sciences with the Euclidean Elements. Most of the mathematical and natural sciences, both traditional and modern, come from the Euclidean Elements. For technologies this is obvious.

The Euclidean Elements constitute a single whole, a "System", which is "closed and open", as much as the thought, reason and grammar of the human condition. Completeness and consistency are structured in an amazing way, which make it unique.

----------------------------------------------------------

This professor (of Physics and mathematics) also reads all the Ancient texts and gives lectures. He is quite an interesting academic and very learned. He is currently reading all of Aristotle's texts:

https://www.youtube.com/c/DimitriosMourmouras

What you probably do not know is that there is no mention of any of the following words in the Elements:

axiom
geometry
straight-edge or ruler
compass

The diagrams are merely used as a means of communicating the relationships between points (location) and distances (lines).

The Elements is a product of pure thought that was realised first by the brilliant Ancient Greeks.

Become a subscriber to my New Calculus YT channel to learn more mathematics than you learned in all your school and university years:

https://www.youtube.com/c/JohnGabriel/videos

Mainstream mathematics has turned into a universe of alternate "facts". The majority of mainstream academics are stupid and ignorant beyond belief so that mainstream math is today more of a cult than the science it was meant to be.

Unfortunately mainstream academia does not teach one how to think, only to memorise the prescribed doctrines that form their official statement of beliefs. Free yourself from the utter bullshit you are forced to memorise and if you're honest with yourself, will admit that you never actually understand.

Mainstream academia are shitting themselves because their days are numbered.. I am their prime target because the more I publish facts (truth), the more I am hated for it. Even the cranks (Archimedes Plutonium aka Ludwig Poehlman) join in the mocking spectacle.

Don't believe a word I say, but prove that what I say is indeed the case. How, you ask? Use your brain!

There's more....

Learn about the BIG LIE "Calculus was made rigorous...":

https://www.academia.edu/45408445/Big_Lie_Calculus_was_made_rigorous

"Why can’t you understand the difference between assuming that f'(x)=3x^2, as a “fact” upon which to build further proofs, and hypothesizing that f'(x) might equal 3x^2, as a guess to be treated with extreme suspicion and checked using the definition before I’m allowed to write f'(x)=3x^2?" - Anders Kaesorg.

The 5 Step method is outlined below and it summarises the mindset of most morons from MIT:

1. Assumption of fact
2. Hypothesis
3. Probability
4. Suspicion
5. Verification

;-)

https://youtu.be/gX5Bt8BEdNM

Subscribe to my YT Channel - the best math channel on the web:

https://www.youtube.com/c/JohnGabriel/videos

Who gave you the 0.999... and 0.333...:

Euler wrote a very good book on algebra but unfortunately it was soiled with his delusional notions.

Daher ist uns Bruch 1/(1+a) gleich dieser unendlichen Reihe 1 - a + aa -aaa + ...&c.

Therefore is our fraction 1/(1+a) equal to this infinite series 1 - a + aa -aaa + ...&c.

1/(1+a) is the <<limit>> of the series <<1 - a + aa -aaa + ...&c.>>

Ergo, Lim S = S or S = Lim S.

There is much more in the following link:

https://drive.google.com/file/d/12oUJAfIMFMcXFb8DvgsYxuPfdaB99XYH

Free your mind from the religious rot of mainstream mathematics academia which is a full-blown cult, not too different from Trump's supporters.


Click here to read the complete article
STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:e205:0:b0:6a3:39d1:6292 with SMTP id g5-20020a37e205000000b006a339d16292mr1048362qki.525.1652965788358;
Thu, 19 May 2022 06:09:48 -0700 (PDT)
X-Received: by 2002:a25:d7d3:0:b0:64d:79c5:69f3 with SMTP id
o202-20020a25d7d3000000b0064d79c569f3mr4196419ybg.465.1652965788202; Thu, 19
May 2022 06:09:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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, 19 May 2022 06:09:47 -0700 (PDT)
In-Reply-To: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
Subject: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Thu, 19 May 2022 13:09:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3532
 by: Dan Christensen - Thu, 19 May 2022 13:09 UTC

JG's Pathetic Daily Spam Post -- Same shit AGAIN and AGAIN!
STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

On Wednesday, May 18, 2022 at 11:43:20 PM UTC-4, I am Super Rectum (aka John Gabriel) wrote:
> First learn how ...

JG here claims to have a discovered a shortcut to mastering calculus without using limits. Unfortunately for him, this means he has no workable a definition of the derivative of a function. It blows up for functions as simple f(x)=|x|. Or even f(x)=0. As a result, he has had to ban 0, negative numbers and instantaneous rates of change rendering his goofy little system quite useless.

Forget calculus. JG has also banned all axioms because he cannot even derive the most elementary results of basic arithmetic, e.g. 2+2=4. Such results require the use of axioms, so he must figure he's now off the hook.

Even at his advanced age (60+?), John Gabriel is STILL struggling with basic, elementary-school arithmetic. As he has repeatedly posted here:

"There are no points on a line."
--April 12, 2021

"Pi is NOT a number of ANY kind!"
--July 10, 2020

"1/2 not equal to 2/4"
--October 22, 2017

“1/3 does NOT mean 1 divided by 3 and never has meant that”
-- February 8, 2015

"3 =< 4 is nonsense.”
--October 28, 2017

"Zero is not a number."
-- Dec. 2, 2019

"0 is not required at all in mathematics, just like negative numbers."
-- Jan. 4, 2017

“There is no such thing as an empty set.”
--Oct. 4, 2019

“3 <=> 2 + 1 or 3 <=> 8 - 5, etc, are all propositions” (actually all are meaningless gibberish)
--Oct. 22, 2019

No math genius our JG, though he actually lists his job title as “mathematician” at Linkedin.com. Apparently, they do not verify your credentials.

Though really quite disturbing, interested readers should see: “About the spamming troll John Gabriel in his own words...” (lasted updated March 10, 2020) at https://groups.google.com/forum/#!msg/sci.math/PcpAzX5pDeY/1PDiSlK_BwAJ

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<t65gmm$nuna$2@solani.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mostowski Collapse)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Date: Thu, 19 May 2022 15:28:55 +0200
Message-ID: <t65gmm$nuna$2@solani.org>
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 19 May 2022 13:28:54 -0000 (UTC)
Injection-Info: solani.org;
logging-data="785130"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.12
Cancel-Lock: sha1:z0pjtu9ZC8AVCauJ2AiLhUUDU00=
X-User-ID: eJwFwYEBwCAIA7CXRGiRc2TY/09YAqfxyyAYEMR8VtZbOXe54HnqPX+94YijhvwLl1ZeBoc1pmLPku8j/E/DFX8=
In-Reply-To: <649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
 by: Mostowski Collapse - Thu, 19 May 2022 13:28 UTC

STUDENTS BEWARE: Don't be a victim of Dan Christensens fake math

Dan Christensen is here, he claims to have
even natural numbers by this nonsense:

https://dcproof.com/EvenNextOdd.htm

One can even not prove:

~EXIST(a):[a e n & a < 0]

Dan Christensen schrieb:
> JG's Pathetic Daily Spam Post -- Same shit AGAIN and AGAIN!
> STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:6c2:0:b0:6a3:4196:5b5f with SMTP id 185-20020a3706c2000000b006a341965b5fmr1160861qkg.513.1652975382518;
Thu, 19 May 2022 08:49:42 -0700 (PDT)
X-Received: by 2002:a25:56c3:0:b0:64d:f026:e048 with SMTP id
k186-20020a2556c3000000b0064df026e048mr5105043ybb.628.1652975382302; Thu, 19
May 2022 08:49:42 -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: Thu, 19 May 2022 08:49:42 -0700 (PDT)
In-Reply-To: <t65gmm$nuna$2@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Thu, 19 May 2022 15:49:42 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Dan Christensen - Thu, 19 May 2022 15:49 UTC

On Thursday, May 19, 2022 at 9:29:04 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> STUDENTS BEWARE: Don't be a victim of Jan Burse's "dark elements" math
>
> Dan Christensen is here, he claims to have
> even natural numbers by this nonsense:
>
> https://dcproof.com/EvenNextOdd.htm
>
> One can even not prove:
>
> ~EXIST(a):[a e n & a < 0]
>

As usual, you seem to have entirely missed the point, Jan Burse. In the above proof, I formally prove:

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

(2) ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]

Given some results from basic arithmetic on N (lines 1-14) and a standard definition of Even and Odd (lines 15-16) and n = the set of natural numbers.

Get it now??? Didn't think so. Oh, well...

Poor Jan Burse actually believes that it is possible to make logical inferences about functions outside of their domains of definition, i.e. where they are technically UNDEFINED! Some nonsense about "dark elements?"

Dan

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:188a:b0:2f3:f4a8:ac9b with SMTP id v10-20020a05622a188a00b002f3f4a8ac9bmr4449806qtc.396.1652975880804;
Thu, 19 May 2022 08:58:00 -0700 (PDT)
X-Received: by 2002:a05:6902:729:b0:64f:3cfb:6d28 with SMTP id
l9-20020a056902072900b0064f3cfb6d28mr2717480ybt.30.1652975880592; Thu, 19 May
2022 08:58:00 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!news.freedyn.de!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: Thu, 19 May 2022 08:58:00 -0700 (PDT)
In-Reply-To: <f0882b0c-af74-4e36-b3ac-e295deb8226cn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 19 May 2022 15:58:00 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Thu, 19 May 2022 15:58 UTC

Why would one only prove these two theorems about „even“?
Where do they come from? I hope you can also prove:

ALL(a):[Even(a) => a e n]

If not your „even“ might talk about fish or bicycle.

LoL

Dan Christensen schrieb am Donnerstag, 19. Mai 2022 um 17:49:48 UTC+2:
> On Thursday, May 19, 2022 at 9:29:04 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > STUDENTS BEWARE: Don't be a victim of Jan Burse's "dark elements" math
> >
> > Dan Christensen is here, he claims to have
> > even natural numbers by this nonsense:
> >
> > https://dcproof.com/EvenNextOdd.htm
> >
> > One can even not prove:
> >
> > ~EXIST(a):[a e n & a < 0]
> >
> As usual, you seem to have entirely missed the point, Jan Burse. In the above proof, I formally prove:
>
> (1) ALL(a):[a e n => [Even(a) => Odd(a+1)]]
>
> (2) ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]
>
> Given some results from basic arithmetic on N (lines 1-14) and a standard definition of Even and Odd (lines 15-16) and n = the set of natural numbers.
>
> Get it now??? Didn't think so. Oh, well...
>
> Poor Jan Burse actually believes that it is possible to make logical inferences about functions outside of their domains of definition, i.e. where they are technically UNDEFINED! Some nonsense about "dark elements?"
>
> Dan

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:2503:b0:461:cb74:3fad with SMTP id gf3-20020a056214250300b00461cb743fadmr4810465qvb.63.1652977203944;
Thu, 19 May 2022 09:20:03 -0700 (PDT)
X-Received: by 2002:a25:24d4:0:b0:64d:eb58:2be5 with SMTP id
k203-20020a2524d4000000b0064deb582be5mr5267544ybk.485.1652977203762; Thu, 19
May 2022 09:20:03 -0700 (PDT)
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, 19 May 2022 09:20:03 -0700 (PDT)
In-Reply-To: <72664045-14d1-467f-9e6b-ce9195ff0600n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 19 May 2022 16:20:03 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3220
 by: Mostowski Collapse - Thu, 19 May 2022 16:20 UTC

Also your axioms for n are pretty weak, you cannot prove the following:

ALL(a):[a e n => 2*a+2 =\= 0]

Counter Model: 1 e F4

Thats why you cannot prove:

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

Mostowski Collapse schrieb am Donnerstag, 19. Mai 2022 um 17:58:06 UTC+2:
> Why would one only prove these two theorems about „even“?
> Where do they come from? I hope you can also prove:
>
> ALL(a):[Even(a) => a e n]
>
> If not your „even“ might talk about fish or bicycle.
>
> LoL
> Dan Christensen schrieb am Donnerstag, 19. Mai 2022 um 17:49:48 UTC+2:
> > On Thursday, May 19, 2022 at 9:29:04 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > STUDENTS BEWARE: Don't be a victim of Jan Burse's "dark elements" math
> > >
> > > Dan Christensen is here, he claims to have
> > > even natural numbers by this nonsense:
> > >
> > > https://dcproof.com/EvenNextOdd.htm
> > >
> > > One can even not prove:
> > >
> > > ~EXIST(a):[a e n & a < 0]
> > >
> > As usual, you seem to have entirely missed the point, Jan Burse. In the above proof, I formally prove:
> >
> > (1) ALL(a):[a e n => [Even(a) => Odd(a+1)]]
> >
> > (2) ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]
> >
> > Given some results from basic arithmetic on N (lines 1-14) and a standard definition of Even and Odd (lines 15-16) and n = the set of natural numbers.
> >
> > Get it now??? Didn't think so. Oh, well...
> >
> > Poor Jan Burse actually believes that it is possible to make logical inferences about functions outside of their domains of definition, i.e. where they are technically UNDEFINED! Some nonsense about "dark elements?"
> >
> > Dan

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<f5dd637f-9c68-4183-bc21-301a666199f6n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:913:b0:6a3:4124:e4eb with SMTP id v19-20020a05620a091300b006a34124e4ebmr1473171qkv.605.1652978380916;
Thu, 19 May 2022 09:39:40 -0700 (PDT)
X-Received: by 2002:a5b:50:0:b0:64f:3f3f:9363 with SMTP id e16-20020a5b0050000000b0064f3f3f9363mr2912558ybp.614.1652978380712;
Thu, 19 May 2022 09:39:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.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: Thu, 19 May 2022 09:39:40 -0700 (PDT)
In-Reply-To: <9dcc53ed-7ef5-4303-8b40-ea92f231517dn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5dd637f-9c68-4183-bc21-301a666199f6n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 19 May 2022 16:39:40 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Thu, 19 May 2022 16:39 UTC

But your original thread was about defining something:

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

Not about proving some arbitrary two theorems.
Did you define even natural number or not?

Mostowski Collapse schrieb am Donnerstag, 19. Mai 2022 um 18:20:09 UTC+2:
> Also your axioms for n are pretty weak, you cannot prove the following:
>
> ALL(a):[a e n => 2*a+2 =\= 0]
>
> Counter Model: 1 e F4
>
> Thats why you cannot prove:
>
> ALL(a):[a e n => (a < 0 => ~Odd(a))]
> Mostowski Collapse schrieb am Donnerstag, 19. Mai 2022 um 17:58:06 UTC+2:
> > Why would one only prove these two theorems about „even“?
> > Where do they come from? I hope you can also prove:
> >
> > ALL(a):[Even(a) => a e n]
> >
> > If not your „even“ might talk about fish or bicycle.
> >
> > LoL
> > Dan Christensen schrieb am Donnerstag, 19. Mai 2022 um 17:49:48 UTC+2:
> > > On Thursday, May 19, 2022 at 9:29:04 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > > STUDENTS BEWARE: Don't be a victim of Jan Burse's "dark elements" math
> > > >
> > > > Dan Christensen is here, he claims to have
> > > > even natural numbers by this nonsense:
> > > >
> > > > https://dcproof.com/EvenNextOdd.htm
> > > >
> > > > One can even not prove:
> > > >
> > > > ~EXIST(a):[a e n & a < 0]
> > > >
> > > As usual, you seem to have entirely missed the point, Jan Burse. In the above proof, I formally prove:
> > >
> > > (1) ALL(a):[a e n => [Even(a) => Odd(a+1)]]
> > >
> > > (2) ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]
> > >
> > > Given some results from basic arithmetic on N (lines 1-14) and a standard definition of Even and Odd (lines 15-16) and n = the set of natural numbers.
> > >
> > > Get it now??? Didn't think so. Oh, well...
> > >
> > > Poor Jan Burse actually believes that it is possible to make logical inferences about functions outside of their domains of definition, i.e. where they are technically UNDEFINED! Some nonsense about "dark elements?"
> > >
> > > Dan

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<a613ebb5-081d-43b8-a91e-27068a4398dan@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5e11:0:b0:2f9:ef3:38c0 with SMTP id h17-20020ac85e11000000b002f90ef338c0mr7367519qtx.537.1653051275388;
Fri, 20 May 2022 05:54:35 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr10190664ywh.40.1653051275206; Fri, 20
May 2022 05:54:35 -0700 (PDT)
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: Fri, 20 May 2022 05:54:34 -0700 (PDT)
In-Reply-To: <72664045-14d1-467f-9e6b-ce9195ff0600n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a613ebb5-081d-43b8-a91e-27068a4398dan@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Fri, 20 May 2022 12:54:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1938
 by: Dan Christensen - Fri, 20 May 2022 12:54 UTC

On Thursday, May 19, 2022 at 11:58:06 AM UTC-4, Mostowski Collapse wrote:
> Why would one only prove these two theorems about „even“?
> Where do they come from? I hope you can also prove:
>
> ALL(a):[Even(a) => a e n]
>

Here, the definition of Even can only be applied for natural numbers. Sorry, it doesn't work for your "dark elements," Jan Burse.

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:414b:b0:6a0:5c30:66fb with SMTP id k11-20020a05620a414b00b006a05c3066fbmr6102801qko.53.1653051672230;
Fri, 20 May 2022 06:01:12 -0700 (PDT)
X-Received: by 2002:a25:56c3:0:b0:64d:f026:e048 with SMTP id
k186-20020a2556c3000000b0064df026e048mr9460594ybb.628.1653051671965; Fri, 20
May 2022 06:01:11 -0700 (PDT)
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: Fri, 20 May 2022 06:01:11 -0700 (PDT)
In-Reply-To: <9dcc53ed-7ef5-4303-8b40-ea92f231517dn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Fri, 20 May 2022 13:01:12 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1932
 by: Dan Christensen - Fri, 20 May 2022 13:01 UTC

On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> Also your axioms for n are pretty weak, you cannot prove the following:
>
> ALL(a):[a e n => 2*a+2 =\= 0]
>

Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<t68hf7$1euh$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!tKeDShd/hwLggvz1at/JTQ.user.46.165.242.75.POSTED!not-for-mail
From: yey...@eyeeeyno.ee (Ney Eto)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Fri, 20 May 2022 17:00:23 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t68hf7$1euh$1@gioia.aioe.org>
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
<t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
<72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
<a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="48081"; posting-host="tKeDShd/hwLggvz1at/JTQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Outlook-Express/7.1 (Media Center; MSIE 9.0; Windows NT 6.1;
WOW64; Trident/5.0; SLCC2; .NET CLR 2.0.50727)
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: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEXY1tBeMyMH
FCLVfGFXd31WptnXr3zXtJdiXsx0AAACYElEQVQ4jVWTwW7bMAyGNXStrlMctNd
ZyLCzp0C+JqnTXHfpPYAy8qpUDfn6I2V5yBjAMfiJIn+SNtP0LjbtDHM2hh/fm5
mp2pENG/Hz7T/wfhSX+C0/vd3uwU5c2War7PMe/LaWzmQ1yNjbHbDMJaNlK+ktz
sR4P+0yYcnMKIVZQ7yADTPJD0pMCFLdNi/gNAqIELoQAmQ7nR4b+DwRlxQGpwDM
Zbw1cAnAiVKIAJAgl3qXgPVezoWzlCZGgCWODbxGIFRvkVABb5djBS6hlAkCkmb
B4uDPDC6Zwt6NVDop6mFDa9WoAieKknro5bzcuOY9zGC/dowUtp0LwzPCeete5x
x7t2bo0jAOoRs11E0NrC40PJeQr1IUpxAW4HxII3IxTxEzJ84f2xn03kW2nIwNS
YXmr6GB1VuQ5KMxIUTU+cZZue9HvRmNSVV/ZmxgTbkwjdKsyNKSbLmBVxkHJWmk
CpRRPSygk3ZTGrpBcih4Oi+gHqehG1MEbegCfiIBxCzXy4BBV6KBFxlP0jpFN4h
4NEsEy0glbRoZopK2DH5jBciUnBulDGBcQM+6BU7enO4Dd8cGfAX64itw6wWg1D
J417saUZxfgChEcDFiTEDwufI/GuiJEIg5oCa/rrxvYE2kuijFCsRznMEkZaJ0X
pY0ASrYzOBwggAKgAvwL3UdK/AvlFqfpAMr9WxmsKs51BJiBf4f0AHK3iUsfgYH
fX6TBZEWi/4A1MBHL8/vuiCa3XXA7aovvoKHznWD9FfAoYFVrcHsXbWA+XAX0cu
HP/tlvdpV1/nPmKv4ZU9yA38Bt2c0M7dksqcAAAAASUVORK5CYII=
X-Notice: Filtered by postfilter v. 0.9.2
 by: Ney Eto - Fri, 20 May 2022 17:00 UTC

Dan Christensen wrote:

> On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan
> Burse) wrote:
>> Also your axioms for n are pretty weak, you cannot prove the following:
>> ALL(a):[a e n => 2*a+2 =\= 0]
>
> Do pay attention, Jan Burse. Lines 1-14 are just some results from basic

They are asking about you, you deplorable nazi shit. Pushing lethal injections in humans, you *nazis* are going to hang in trees.

THE PLAN - WHO plans for 10 years of pandemics, from 2020 to 2030
https://rumble.com/v13kefy-must-see-the-plan-who-plans-for-10-years-of-pandemics-from-2020-to-2030.html

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<t68q02$1bmm$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!tKeDShd/hwLggvz1at/JTQ.user.46.165.242.75.POSTED!not-for-mail
From: rgg...@rashgahs.sa (Grant Shirasu)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Fri, 20 May 2022 19:25:54 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t68q02$1bmm$1@gioia.aioe.org>
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
<t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
<72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<a613ebb5-081d-43b8-a91e-27068a4398dan@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="44758"; posting-host="tKeDShd/hwLggvz1at/JTQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (AmigaOS 1.3; en; rv:1.8.1.19) Gecko/20081204
SeaMonkey/1.1.14
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
X-Notice: Filtered by postfilter v. 0.9.2
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEVsTkPHjC7/
sVoVEQw6NURSJg2+jVq+sadSaYmvSSapPBPtAAACWElEQVQ4jU2TQWsbMRCFRdu
18VELDei4Ohh8M8gbeizEoTmqbKdlb3EgMb6GUuVoiunu0TJsQP+2bySt7b3tfB
rN6M0b0cdvPymIjGnMWvR95976XiQgJkEIEFOv131/AV+FEDNRNIa/h2tAFgnEt
xmzuoA1x4sRmIczuCcSkTRn0DE4UAQ5A511GexxGHHOaRisOpcAR/j8mDOCPVkE
ubadhYGa+gde6ABEDtnwrrUMVBdT50Yw8/NQVlrrCsTabQYNBS+lLgGkVAPRrwj
ujbGbsooJyFABN0dwB8Bn9RmYOoN6os+fVH4wJoPl6QIqFY7GbBOwTxegr0F7DW
Q4NmYaQd2WsWzJURQ/A5PBSS/wntACdAwOtS213IUA0IajsKgRRcQ4/IsKAVIBt
ENRAPAED3aywTV6vrtRH/Q8iAJjZ7DfvUOoKpw2WnmFpogS+Ld7QUNQqtQLzyqe
Abqs0hsAkEq0TC5JApYZYCD05Rro8ZEA396iGZ50/E/z83zVNKrLQJbqVEm9IB/
ghxH85VaQoDBVHwfYJ9Dx2FB2Hqj1aeRRq37/LKVXJY+CP6Jt8tXhznhZVnwLTn
+v2AoO7a5hyhnamp9wV0HlgmB39yY4btr09Dm0rwaIy4OKu7J855ewE7xK29OJx
sBXdUgAzQ1pe1bCrNxvFPEy+iCg27hVRsBcH2HFIJNxVV43BlsAMQvZhxewdM+N
eZyFWER+zjcB3L4CvATWBOoONNa4de7PY7GFFFgRjo9g+goB3DZkmaixGfzU2jk
MNaRFJ/qUAd2kuapjIjaD/0mwUDiKQ6cGAAAAAElFTkSuQmCC
 by: Grant Shirasu - Fri, 20 May 2022 19:25 UTC

Dan Christensen wrote:

>> ALL(a):[Even(a) => a e n]
>>
>>
> Here, the definition of Even can only be applied for natural numbers.
> Sorry, it doesn't work for your "dark elements," Jan Burse.

yet another proof, the nazi "ukraine" cocaine oligarchs, have no soldiers
to be send to die for them in war. The azov nazis got the picture,
finally, and now leaves.

Ukraine eyes law to deprive people of citizenship
The proposed law would target men who left the country during martial law
and failed to return within 30 days
https://www.rt.com/news/555835-ukraine-deprive-conscripts-citizenship/

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<t698i3$nr8$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!tKeDShd/hwLggvz1at/JTQ.user.46.165.242.75.POSTED!not-for-mail
From: umi...@mieeaseu.ua (Major Uesugi)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Fri, 20 May 2022 23:34:27 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t698i3$nr8$1@gioia.aioe.org>
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
<t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
<72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
<f5dd637f-9c68-4183-bc21-301a666199f6n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="24424"; posting-host="tKeDShd/hwLggvz1at/JTQ.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
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEVsTkPHjC7/
sVoVEQw6NURSJg2+jVq+sadSaYmvSSapPBPtAAACWElEQVQ4jU2TQWsbMRCFRdu
18VELDei4Ohh8M8gbeizEoTmqbKdlb3EgMb6GUuVoiunu0TJsQP+2bySt7b3tfB
rN6M0b0cdvPymIjGnMWvR95976XiQgJkEIEFOv131/AV+FEDNRNIa/h2tAFgnEt
xmzuoA1x4sRmIczuCcSkTRn0DE4UAQ5A511GexxGHHOaRisOpcAR/j8mDOCPVkE
ubadhYGa+gde6ABEDtnwrrUMVBdT50Yw8/NQVlrrCsTabQYNBS+lLgGkVAPRrwj
ujbGbsooJyFABN0dwB8Bn9RmYOoN6os+fVH4wJoPl6QIqFY7GbBOwTxegr0F7DW
Q4NmYaQd2WsWzJURQ/A5PBSS/wntACdAwOtS213IUA0IajsKgRRcQ4/IsKAVIBt
ENRAPAED3aywTV6vrtRH/Q8iAJjZ7DfvUOoKpw2WnmFpogS+Ld7QUNQqtQLzyqe
Abqs0hsAkEq0TC5JApYZYCD05Rro8ZEA396iGZ50/E/z83zVNKrLQJbqVEm9IB/
ghxH85VaQoDBVHwfYJ9Dx2FB2Hqj1aeRRq37/LKVXJY+CP6Jt8tXhznhZVnwLTn
+v2AoO7a5hyhnamp9wV0HlgmB39yY4btr09Dm0rwaIy4OKu7J855ewE7xK29OJx
sBXdUgAzQ1pe1bCrNxvFPEy+iCg27hVRsBcH2HFIJNxVV43BlsAMQvZhxewdM+N
eZyFWER+zjcB3L4CvATWBOoONNa4de7PY7GFFFgRjo9g+goB3DZkmaixGfzU2jk
MNaRFJ/qUAd2kuapjIjaD/0mwUDiKQ6cGAAAAAElFTkSuQmCC
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: Major Uesugi - Fri, 20 May 2022 23:34 UTC

Mostowski Collapse wrote:

> But your original thread was about defining something:
>
> Two ways for formally define a predicate

you disgusting

Khakhole scum jumping up and down in Austria
https://www.bitchute.com/video/h4k8Jcohl1X7/

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:4104:b0:42c:1db0:da28 with SMTP id kc4-20020a056214410400b0042c1db0da28mr10544751qvb.67.1653121098390;
Sat, 21 May 2022 01:18:18 -0700 (PDT)
X-Received: by 2002:a05:6902:729:b0:64f:3cfb:6d28 with SMTP id
l9-20020a056902072900b0064f3cfb6d28mr10283851ybt.30.1653121098183; Sat, 21
May 2022 01:18:18 -0700 (PDT)
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: Sat, 21 May 2022 01:18:17 -0700 (PDT)
In-Reply-To: <a7fbe809-1727-496b-b87e-0e7f213bbd75n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 08:18:18 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2328
 by: Mostowski Collapse - Sat, 21 May 2022 08:18 UTC

You say it yourself: Just „some“ results from basic arithmetic on N.
So you did define Even and Odd, you cannot prove:

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

Dan Christensen schrieb am Freitag, 20. Mai 2022 um 15:01:21 UTC+2:
> On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > Also your axioms for n are pretty weak, you cannot prove the following:
> >
> > ALL(a):[a e n => 2*a+2 =\= 0]
> >
> Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:188:b0:2f9:1ceb:6a0e with SMTP id s8-20020a05622a018800b002f91ceb6a0emr5070570qtw.285.1653123144008;
Sat, 21 May 2022 01:52:24 -0700 (PDT)
X-Received: by 2002:a05:690c:58b:b0:2fe:f90d:f8d5 with SMTP id
bo11-20020a05690c058b00b002fef90df8d5mr14154632ywb.422.1653123143822; Sat, 21
May 2022 01:52:23 -0700 (PDT)
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: Sat, 21 May 2022 01:52:23 -0700 (PDT)
In-Reply-To: <8bf71e68-b094-4272-b0c7-6583869e98afn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sat, 21 May 2022 08:52:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2585
 by: Dan Christensen - Sat, 21 May 2022 08:52 UTC

On Saturday, May 21, 2022 at 4:18:23 AM UTC-4, Mostowski Collapse wrote:

> Dan Christensen schrieb am Freitag, 20. Mai 2022 um 15:01:21 UTC+2:
> > On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > Also your axioms for n are pretty weak, you cannot prove the following:
> > >
> > > ALL(a):[a e n => 2*a+2 =\= 0]
> > >
> > Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).

> You say it yourself: Just „some“ results from basic arithmetic on N.

Yes.

> So you did define Even and Odd, you cannot prove:
>
> ALL(a):[a e n => [a < 0 => ~Odd(a)]]

That would be vacuously true since no natural numbers are less than 0.

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<t6agrj$12rd$2@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!tKeDShd/hwLggvz1at/JTQ.user.46.165.242.75.POSTED!not-for-mail
From: ovv...@kvkodood.io (Deivi Ooka)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Sat, 21 May 2022 11:02:12 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6agrj$12rd$2@gioia.aioe.org>
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
<t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com>
<72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com>
<a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com>
<4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="35693"; posting-host="tKeDShd/hwLggvz1at/JTQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.12
X-Notice: Filtered by postfilter v. 0.9.2
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAElBMVEUUHSdBKCpU
W0CMeFnByM2glYgsD1knAAACfUlEQVQ4jXWTTY7cOAyFaRV6L8qpvUiN92WydYF
qe59Y5v2vMq+cwQSddAQD/vn8KPKRou0vi778uuv5Jdhl+hqY8EnP5Y/vH2ovUP
ofAvd60sfs5287NHc7aS99fCbP3jvAVjziE/BwddShPeKXZLfhfbgBHP3cxhl7C
BdVnqzFiJfi6XHG8shMRIvybVqu0LTtiDRkJa0AIUuBOC6vzv30qmmGQidp7T0C
FQDs+MWjTlBMk+bSFMF/gthNVxKqiu1FS/8fjKKmtdYm0qw0bxfY4sCLAojXUpr
Nqu8XGN6a8nzk0lmxuzEvFzjMWpUJYBRIZpV8uwACLS515HTc88FtMKcLrLyYP8
pS+cd7Du1DtF2tFV7GcrzdZbIz7zDVm3WAj+LnfsSbrSVCPloczccCcKCHe5zL3
l4/70cmKu4A1tcyRsxDZ7d2zBVGF4Bdj5d9YVpupY16l3Wp1AC8JqkLRAlZHGt7
k2450TaMuvW0aofwn+wPndTh9DZq8jU90uOeJwacaCqHZNoslxBKuFhUb2vO3Fy
YdqNbYFjpTklbThm6OdZGT5oaAJKn1JxpYuUeoxOM8RjCjNjdKLPCiNGcDlSJ7m
OiKMXIklCkZ6Rg6oYmm4mUM9ikRT9kymQZfZmHI8LcTQe/bGcuBM8wmj0kva+lf
hsy9RWRnIwzuDu6td9kOxZkQqwAqs3Ne/e+fX/D8Ssjo4AgDxxSxiTrfD7vsWoz
ZNaDTtj7EoU7+uarImjDyNI+IjDoUGOfqwgpugwlwENhCE5kh8jgH6a6rITqX05
xpnRuATU6rvpI5GpFLw8JQ7I9cGcYlwG4iNDPxf89cJ4I5aswfV4I8C8W+8voL3
mJSwAAAABJRU5ErkJggg==
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: Deivi Ooka - Sat, 21 May 2022 11:02 UTC

Dan Christensen wrote:

> On Saturday, May 21, 2022 at 4:18:23 AM UTC-4, Mostowski Collapse wrote:
>> So you did define Even and Odd, you cannot prove:
>> ALL(a):[a e n => [a < 0 => ~Odd(a)]]
>
> That would be vacuously true since no natural numbers are less than 0.

cetarle teeleevizia

Khakhole nazi scumbags jumping up and down in Austria
https://www.bitchute.com/video/h4k8Jcohl1X7/

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1714:b0:2f3:e638:84a1 with SMTP id h20-20020a05622a171400b002f3e63884a1mr11250239qtk.268.1653152442512;
Sat, 21 May 2022 10:00:42 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr16257479ywh.40.1653152442261; Sat, 21
May 2022 10:00:42 -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 10:00:42 -0700 (PDT)
In-Reply-To: <4dc3ebfa-e744-4264-b836-130529affc49n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 17:00:42 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3312
 by: Mostowski Collapse - Sat, 21 May 2022 17:00 UTC

You cannot prove it from your nonsense.
Because this alone:

6 ALL(a):ALL(b):[a e n & b e n => a+b e n]
Axiom
Properties of +
7 ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
Axiom

as in your common rules of basic arithmetic here:
https://dcproof.com/EvenNextOdd.htm

Is not equivalent to this here (take add=+ and s(x)=x+1)
plus Peano axioms:

EXIST(add):[ALL(a):ALL(b):[a e n & b in n => add(a,b) in n]
& ALL(a):[a in n => add(a,0)=a]
& ALL(a):ALL(b):[a in n & b in n => add(a,s(b))=s(add(a,b))]]

Dan Christensen schrieb am Samstag, 21. Mai 2022 um 10:52:29 UTC+2:
> On Saturday, May 21, 2022 at 4:18:23 AM UTC-4, Mostowski Collapse wrote:
>
> > Dan Christensen schrieb am Freitag, 20. Mai 2022 um 15:01:21 UTC+2:
> > > On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > > Also your axioms for n are pretty weak, you cannot prove the following:
> > > >
> > > > ALL(a):[a e n => 2*a+2 =\= 0]
> > > >
> > > Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).
> > You say it yourself: Just „some“ results from basic arithmetic on N.
> Yes.
> > So you did define Even and Odd, you cannot prove:
> >
> > ALL(a):[a e n => [a < 0 => ~Odd(a)]]
> That would be vacuously true since no natural numbers are less than 0.
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<e3a7e745-1bb2-46c4-9ab4-3d3de790e1c6n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7dc1:0:b0:2f3:c70a:df9e with SMTP id c1-20020ac87dc1000000b002f3c70adf9emr11349631qte.307.1653152490939;
Sat, 21 May 2022 10:01:30 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr15732211ywf.50.1653152490786; Sat, 21
May 2022 10:01:30 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!pasdenom.info!nntpfeed.proxad.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 10:01:30 -0700 (PDT)
In-Reply-To: <08ce6b10-411b-4d16-a01a-d905f0a41efbn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e3a7e745-1bb2-46c4-9ab4-3d3de790e1c6n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 17:01:30 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Sat, 21 May 2022 17:01 UTC

For example this here fails, its from Peano:

ALL(a):[s(a)=\=0]

Within F4:

+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

But F4 satisfies your EvenNextOdd.

Mostowski Collapse schrieb am Samstag, 21. Mai 2022 um 19:00:47 UTC+2:
> You cannot prove it from your nonsense.
> Because this alone:
>
> 6 ALL(a):ALL(b):[a e n & b e n => a+b e n]
> Axiom
> Properties of +
> 7 ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
> Axiom
>
> as in your common rules of basic arithmetic here:
> https://dcproof.com/EvenNextOdd.htm
>
> Is not equivalent to this here (take add=+ and s(x)=x+1)
> plus Peano axioms:
>
> EXIST(add):[ALL(a):ALL(b):[a e n & b in n => add(a,b) in n]
> & ALL(a):[a in n => add(a,0)=a]
> & ALL(a):ALL(b):[a in n & b in n => add(a,s(b))=s(add(a,b))]]
> Dan Christensen schrieb am Samstag, 21. Mai 2022 um 10:52:29 UTC+2:
> > On Saturday, May 21, 2022 at 4:18:23 AM UTC-4, Mostowski Collapse wrote:
> >
> > > Dan Christensen schrieb am Freitag, 20. Mai 2022 um 15:01:21 UTC+2:
> > > > On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > > > Also your axioms for n are pretty weak, you cannot prove the following:
> > > > >
> > > > > ALL(a):[a e n => 2*a+2 =\= 0]
> > > > >
> > > > Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).
> > > You say it yourself: Just „some“ results from basic arithmetic on N.
> > Yes.
> > > So you did define Even and Odd, you cannot prove:
> > >
> > > ALL(a):[a e n => [a < 0 => ~Odd(a)]]
> > That would be vacuously true since no natural numbers are less than 0.
> > Dan
> >
> > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<487df4f6-7b44-42eb-ac23-bee129bc2d54n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:4e8c:0:b0:2f3:d53a:add3 with SMTP id 12-20020ac84e8c000000b002f3d53aadd3mr11520272qtp.300.1653152764962;
Sat, 21 May 2022 10:06:04 -0700 (PDT)
X-Received: by 2002:a05:6902:1143:b0:64f:9ab6:691e with SMTP id
p3-20020a056902114300b0064f9ab6691emr2236796ybu.480.1653152764810; Sat, 21
May 2022 10:06:04 -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 10:06:04 -0700 (PDT)
In-Reply-To: <e3a7e745-1bb2-46c4-9ab4-3d3de790e1c6n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com> <e3a7e745-1bb2-46c4-9ab4-3d3de790e1c6n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <487df4f6-7b44-42eb-ac23-bee129bc2d54n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 17:06:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 4245
 by: Mostowski Collapse - Sat, 21 May 2022 17:06 UTC

You are subject to this fallacy:

Commutation of Conditionals
https://www.logicallyfallacious.com/logicalfallacies/Commutation-of-Conditionals

If I am smart, then I can use DC Proof
Therefore, if I can use DC Proof, then I am smart.

Mostowski Collapse schrieb am Samstag, 21. Mai 2022 um 19:01:35 UTC+2:
> For example this here fails, its from Peano:
>
> ALL(a):[s(a)=\=0]
>
> Within F4:
>
> + 0 1 2 3
> 0 0 1 2 3
> 1 1 2 3 0
> 2 2 3 0 1
> 3 3 0 1 2
>
> But F4 satisfies your EvenNextOdd.
> Mostowski Collapse schrieb am Samstag, 21. Mai 2022 um 19:00:47 UTC+2:
> > You cannot prove it from your nonsense.
> > Because this alone:
> >
> > 6 ALL(a):ALL(b):[a e n & b e n => a+b e n]
> > Axiom
> > Properties of +
> > 7 ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
> > Axiom
> >
> > as in your common rules of basic arithmetic here:
> > https://dcproof.com/EvenNextOdd.htm
> >
> > Is not equivalent to this here (take add=+ and s(x)=x+1)
> > plus Peano axioms:
> >
> > EXIST(add):[ALL(a):ALL(b):[a e n & b in n => add(a,b) in n]
> > & ALL(a):[a in n => add(a,0)=a]
> > & ALL(a):ALL(b):[a in n & b in n => add(a,s(b))=s(add(a,b))]]
> > Dan Christensen schrieb am Samstag, 21. Mai 2022 um 10:52:29 UTC+2:
> > > On Saturday, May 21, 2022 at 4:18:23 AM UTC-4, Mostowski Collapse wrote:
> > >
> > > > Dan Christensen schrieb am Freitag, 20. Mai 2022 um 15:01:21 UTC+2:
> > > > > On Thursday, May 19, 2022 at 12:20:09 PM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > > > > > Also your axioms for n are pretty weak, you cannot prove the following:
> > > > > >
> > > > > > ALL(a):[a e n => 2*a+2 =\= 0]
> > > > > >
> > > > > Do pay attention, Jan Burse. Lines 1-14 are just some results from basic arithmetic on N as required in this proof. Each is derivable from Peano Axioms (also not shown here).
> > > > You say it yourself: Just „some“ results from basic arithmetic on N.
> > > Yes.
> > > > So you did define Even and Odd, you cannot prove:
> > > >
> > > > ALL(a):[a e n => [a < 0 => ~Odd(a)]]
> > > That would be vacuously true since no natural numbers are less than 0..
> > > Dan
> > >
> > > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > > Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:15:b0:2f3:cd8f:2a78 with SMTP id x21-20020a05622a001500b002f3cd8f2a78mr11619303qtw.43.1653157036969;
Sat, 21 May 2022 11:17:16 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr14502157ybs.543.1653157036747; Sat, 21
May 2022 11:17:16 -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 11:17:16 -0700 (PDT)
In-Reply-To: <08ce6b10-411b-4d16-a01a-d905f0a41efbn@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sat, 21 May 2022 18:17:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2600
 by: Dan Christensen - Sat, 21 May 2022 18:17 UTC

On Saturday, May 21, 2022 at 1:00:47 PM UTC-4, Mostowski Collapse wrote:
> You cannot prove it from your nonsense.
> Because this alone:
>
> 6 ALL(a):ALL(b):[a e n & b e n => a+b e n]
> Axiom
> Properties of +
> 7 ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
> Axiom
>
> as in your common rules of basic arithmetic here:
> https://dcproof.com/EvenNextOdd.htm
>

It must be frustrating as hell for you, Jan Burse, but as I keep telling readers here and you don't seem to grasp: Lines 1-16 are sufficient results from basic arithmetic to prove the required result. Nothing more. Nothing less. Deal with it. Just admit you were wrong. The longer you persist, the more desperately idiotic you look. GET A LIFE!!!

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<bb3faada-8be7-4395-9638-7d11216f93d8n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:4208:0:b0:461:d262:7842 with SMTP id k8-20020ad44208000000b00461d2627842mr12439838qvp.113.1653170467164;
Sat, 21 May 2022 15:01:07 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr17199480ywh.40.1653170466983; Sat, 21
May 2022 15:01:06 -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:01:06 -0700 (PDT)
In-Reply-To: <b36d67df-9368-4429-9fd4-fbfad75acab4n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com> <b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bb3faada-8be7-4395-9638-7d11216f93d8n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 21 May 2022 22:01:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Sat, 21 May 2022 22:01 UTC

It depends. In your file EvenNextOdd.htm, you should
write the following:

6 ALL(a):ALL(b):[a e d & b e d => a+b e d]
Axiom
Properties of +
7 ALL(a):ALL(b):[a e d & b e d => a+b=b+a]
Axiom
https://dcproof.com/EvenNextOdd.htm

Where is associativity? LoL
Where is all of Peano? LMAO!
Do you see the problem, or are you just too dumb?

You should not write n, if its not n. No mathematician
does that. Your axioms define some structure <D, +, ...>
but its not necessarely the structure <N, +, ...>

So the correct offending theorem would be anyway:

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

Which makes it even more clear why its not provable.

Dan Christensen schrieb am Samstag, 21. Mai 2022 um 20:17:22 UTC+2:
> On Saturday, May 21, 2022 at 1:00:47 PM UTC-4, Mostowski Collapse wrote:
> > You cannot prove it from your nonsense.
> > Because this alone:
> >
> > 6 ALL(a):ALL(b):[a e n & b e n => a+b e n]
> > Axiom
> > Properties of +
> > 7 ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
> > Axiom
> >
> > as in your common rules of basic arithmetic here:
> > https://dcproof.com/EvenNextOdd.htm
> >
> It must be frustrating as hell for you, Jan Burse, but as I keep telling readers here and you don't seem to grasp: Lines 1-16 are sufficient results from basic arithmetic to prove the required result. Nothing more. Nothing less. Deal with it. Just admit you were wrong. The longer you persist, the more desperately idiotic you look. GET A LIFE!!!
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<6d396139-5274-4668-8bfd-5877ca7f7324n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5ad4:0:b0:2f3:e0fb:df1c with SMTP id d20-20020ac85ad4000000b002f3e0fbdf1cmr12565031qtd.267.1653189471534;
Sat, 21 May 2022 20:17:51 -0700 (PDT)
X-Received: by 2002:a25:3247:0:b0:64c:3c89:511b with SMTP id
y68-20020a253247000000b0064c3c89511bmr15790544yby.357.1653189471309; Sat, 21
May 2022 20:17:51 -0700 (PDT)
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: Sat, 21 May 2022 20:17:51 -0700 (PDT)
In-Reply-To: <bb3faada-8be7-4395-9638-7d11216f93d8n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com> <b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>
<bb3faada-8be7-4395-9638-7d11216f93d8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6d396139-5274-4668-8bfd-5877ca7f7324n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 22 May 2022 03:17:51 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3019
 by: Dan Christensen - Sun, 22 May 2022 03:17 UTC

On Saturday, May 21, 2022 at 6:01:12 PM UTC-4, Mostowski Collapse wrote:
> It depends. In your file EvenNextOdd.htm, you should
> write the following:
>
> 6 ALL(a):ALL(b):[a e d & b e d => a+b e d]
> Axiom

Wrong again, Jan Burse. It is correctly stated as:

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

where n = the set of natural numbers

> Properties of +
> 7 ALL(a):ALL(b):[a e d & b e d => a+b=b+a]

Wrong again, Jan Burse. It is correctly stated as:

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

> Axiom
> https://dcproof.com/EvenNextOdd.htm
>
> Where is associativity? LoL

When will you learn, Jan Burse??? It wasn't required to prove the required results, so it was not listed. Geez yer dumb!

> Where is all of Peano?

As above, idiot! Do try to learn some math, Jan Burse.

> So the correct offending theorem would be anyway:
>
> ALL(a):[a e d => [a < 0 => ~Odd(a)]]
>

Wrong again, Jan Burse. It, too, was not required in this proof. In any case, it would be correctly stated as:

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

Geez, you really are dumb, Jan Burse.

Dan

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

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<0c616374-d9ce-4373-9b8d-a86ac5c37a29n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:e:b0:2f3:d236:56dc with SMTP id x14-20020a05622a000e00b002f3d23656dcmr13031540qtw.187.1653208397878;
Sun, 22 May 2022 01:33:17 -0700 (PDT)
X-Received: by 2002:a25:541:0:b0:64d:2b8:9122 with SMTP id 62-20020a250541000000b0064d02b89122mr16237387ybf.545.1653208397698;
Sun, 22 May 2022 01:33:17 -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:33:17 -0700 (PDT)
In-Reply-To: <6d396139-5274-4668-8bfd-5877ca7f7324n@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com> <b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>
<bb3faada-8be7-4395-9638-7d11216f93d8n@googlegroups.com> <6d396139-5274-4668-8bfd-5877ca7f7324n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0c616374-d9ce-4373-9b8d-a86ac5c37a29n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 22 May 2022 08:33:17 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3560
 by: Mostowski Collapse - Sun, 22 May 2022 08:33 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:17:56 UTC+2:
> On Saturday, May 21, 2022 at 6:01:12 PM UTC-4, Mostowski Collapse wrote:
> > It depends. In your file EvenNextOdd.htm, you should
> > write the following:
> >
> > 6 ALL(a):ALL(b):[a e d & b e d => a+b e d]
> > Axiom
> Wrong again, Jan Burse. It is correctly stated as:
> ALL(a):ALL(b):[a e n & b e n => a+b e n]
> where n = the set of natural numbers
> > Properties of +
> > 7 ALL(a):ALL(b):[a e d & b e d => a+b=b+a]
> Wrong again, Jan Burse. It is correctly stated as:
> ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
>
> > Axiom
> > https://dcproof.com/EvenNextOdd.htm
> >
> > Where is associativity? LoL
> When will you learn, Jan Burse??? It wasn't required to prove the required results, so it was not listed. Geez yer dumb!
> > Where is all of Peano?
> As above, idiot! Do try to learn some math, Jan Burse.
> > So the correct offending theorem would be anyway:
> >
> > ALL(a):[a e d => [a < 0 => ~Odd(a)]]
> >
> Wrong again, Jan Burse. It, too, was not required in this proof. In any case, it would be correctly stated as:
>
> ALL(a):[a e n => [a < 0 => ~Odd(a)]]
>
> Geez, you really are dumb, Jan Burse.
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<c12b9ea6-c9b4-44f0-ba98-22c3b3c8706en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:58b4:0:b0:461:ca02:7577 with SMTP id ea20-20020ad458b4000000b00461ca027577mr14720212qvb.71.1653246543401;
Sun, 22 May 2022 12:09:03 -0700 (PDT)
X-Received: by 2002:a5b:642:0:b0:64f:f322:8827 with SMTP id
o2-20020a5b0642000000b0064ff3228827mr657426ybq.536.1653246543238; Sun, 22 May
2022 12:09:03 -0700 (PDT)
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: Sun, 22 May 2022 12:09:02 -0700 (PDT)
In-Reply-To: <0c616374-d9ce-4373-9b8d-a86ac5c37a29n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <t65gmm$nuna$2@solani.org>
<f0882b0c-af74-4e36-b3ac-e295deb8226cn@googlegroups.com> <72664045-14d1-467f-9e6b-ce9195ff0600n@googlegroups.com>
<9dcc53ed-7ef5-4303-8b40-ea92f231517dn@googlegroups.com> <a7fbe809-1727-496b-b87e-0e7f213bbd75n@googlegroups.com>
<8bf71e68-b094-4272-b0c7-6583869e98afn@googlegroups.com> <4dc3ebfa-e744-4264-b836-130529affc49n@googlegroups.com>
<08ce6b10-411b-4d16-a01a-d905f0a41efbn@googlegroups.com> <b36d67df-9368-4429-9fd4-fbfad75acab4n@googlegroups.com>
<bb3faada-8be7-4395-9638-7d11216f93d8n@googlegroups.com> <6d396139-5274-4668-8bfd-5877ca7f7324n@googlegroups.com>
<0c616374-d9ce-4373-9b8d-a86ac5c37a29n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c12b9ea6-c9b4-44f0-ba98-22c3b3c8706en@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 22 May 2022 19:09:03 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3836
 by: Dan Christensen - Sun, 22 May 2022 19:09 UTC

On Sunday, May 22, 2022 at 4:33:22 AM UTC-4, Mostowski Collapse wrote:

> Dan Christensen schrieb am Sonntag, 22. Mai 2022 um 05:17:56 UTC+2:
> > On Saturday, May 21, 2022 at 6:01:12 PM UTC-4, Mostowski Collapse wrote:
> > > It depends. In your file EvenNextOdd.htm, you should
> > > write the following:
> > >
> > > 6 ALL(a):ALL(b):[a e d & b e d => a+b e d]
> > > Axiom
> > Wrong again, Jan Burse. It is correctly stated as:
> > ALL(a):ALL(b):[a e n & b e n => a+b e n]
> > where n = the set of natural numbers
> > > Properties of +
> > > 7 ALL(a):ALL(b):[a e d & b e d => a+b=b+a]
> > Wrong again, Jan Burse. It is correctly stated as:
> > ALL(a):ALL(b):[a e n & b e n => a+b=b+a]
> >
> > > Axiom
> > > https://dcproof.com/EvenNextOdd.htm
> > >
> > > Where is associativity? LoL
> > When will you learn, Jan Burse??? It wasn't required to prove the required results, so it was not listed. Geez yer dumb!
> > > Where is all of Peano?
> > As above, idiot! Do try to learn some math, Jan Burse.
> > > So the correct offending theorem would be anyway:
> > >
> > > ALL(a):[a e d => [a < 0 => ~Odd(a)]]
> > >
> > Wrong again, Jan Burse. It, too, was not required in this proof. In any case, it would be correctly stated as:
> >
> > ALL(a):[a e n => [a < 0 => ~Odd(a)]]
> >
> > Geez, you really are dumb, Jan Burse.

> 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)]]

If only you understood how mathematical proofs actually work, Jan Burse. Save yourself all this embarrassment, learn some math and just admit you were wrong.

Dan

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<521c6805-8cce-4346-8a2f-2e5c95665876n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1a9c:b0:2f3:d873:4acc with SMTP id s28-20020a05622a1a9c00b002f3d8734accmr20124591qtc.424.1653396479235;
Tue, 24 May 2022 05:47:59 -0700 (PDT)
X-Received: by 2002:a81:994:0:b0:2ff:224e:1809 with SMTP id
142-20020a810994000000b002ff224e1809mr28345732ywj.368.1653396478633; Tue, 24
May 2022 05:47:58 -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: Tue, 24 May 2022 05:47:58 -0700 (PDT)
In-Reply-To: <649d35df-716c-4a5a-956e-49bf6bbe714en@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: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com> <649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <521c6805-8cce-4346-8a2f-2e5c95665876n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Tue, 24 May 2022 12:47:59 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Tue, 24 May 2022 12:47 UTC

Also your John Gabriel bashing list doesn't make any sense.
It has the following items:

> "Pi is NOT a number of ANY kind!"
> --July 10, 2020

> "Zero is not a number."
> -- Dec. 2, 2019

But John Gabriel refers to Euclid etc.. And in Euclid number only
means natural numbers, without zero I guess.
The other thing is rather called magnitude. So both items are
correct in tems of Euclid numbers. Since we have:

~(pi e N+)

~(0 e N+)

You want that we take your EvenNextOdd serious, which has
the letter n (N) for things that could be from Mars.
In as far John Gabriel is more precise. He made it many
times explicit that he refers to the Greeks.

So why use letter n (N) for things that could be from Mars?
Can you tell use Dan-O-Matik?

Dan Christensen schrieb am Donnerstag, 19. Mai 2022 um 15:09:55 UTC+2:
> JG's Pathetic Daily Spam Post -- Same shit AGAIN and AGAIN!
> STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
>
> On Wednesday, May 18, 2022 at 11:43:20 PM UTC-4, I am Super Rectum (aka John Gabriel) wrote:
> > First learn how ...
>
> JG here claims to have a discovered a shortcut to mastering calculus without using limits. Unfortunately for him, this means he has no workable a definition of the derivative of a function. It blows up for functions as simple f(x)=|x|. Or even f(x)=0. As a result, he has had to ban 0, negative numbers and instantaneous rates of change rendering his goofy little system quite useless.
>
> Forget calculus. JG has also banned all axioms because he cannot even derive the most elementary results of basic arithmetic, e.g. 2+2=4. Such results require the use of axioms, so he must figure he's now off the hook.
>
> Even at his advanced age (60+?), John Gabriel is STILL struggling with basic, elementary-school arithmetic. As he has repeatedly posted here:
>
> "There are no points on a line."
> --April 12, 2021
>
> "Pi is NOT a number of ANY kind!"
> --July 10, 2020
>
> "1/2 not equal to 2/4"
> --October 22, 2017
>
> “1/3 does NOT mean 1 divided by 3 and never has meant that”
> -- February 8, 2015
>
> "3 =< 4 is nonsense.”
> --October 28, 2017
>
> "Zero is not a number."
> -- Dec. 2, 2019
>
> "0 is not required at all in mathematics, just like negative numbers."
> -- Jan. 4, 2017
>
> “There is no such thing as an empty set.”
> --Oct. 4, 2019
>
> “3 <=> 2 + 1 or 3 <=> 8 - 5, etc, are all propositions” (actually all are meaningless gibberish)
> --Oct. 22, 2019
>
> No math genius our JG, though he actually lists his job title as “mathematician” at Linkedin.com. Apparently, they do not verify your credentials.
>
> Though really quite disturbing, interested readers should see: “About the spamming troll John Gabriel in his own words...” (lasted updated March 10, 2020) at https://groups.google.com/forum/#!msg/sci.math/PcpAzX5pDeY/1PDiSlK_BwAJ
>
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog a http://www.dcproof.wordpress.com

Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math

<535fca5a-6309-419a-b18d-bba746ae89abn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7fd0:0:b0:2f3:fda4:6ddf with SMTP id b16-20020ac87fd0000000b002f3fda46ddfmr20345473qtk.323.1653403447340;
Tue, 24 May 2022 07:44:07 -0700 (PDT)
X-Received: by 2002:a5b:50:0:b0:64f:3f3f:9363 with SMTP id e16-20020a5b0050000000b0064f3f3f9363mr24603173ybp.614.1653403447172;
Tue, 24 May 2022 07:44:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Tue, 24 May 2022 07:44:06 -0700 (PDT)
In-Reply-To: <521c6805-8cce-4346-8a2f-2e5c95665876n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=163.182.226.42; posting-account=OWfgwwgAAADQpH2XgMDMe2wuQ7OFPXlE
NNTP-Posting-Host: 163.182.226.42
References: <7da247bf-e9fe-46d4-a1ce-03aa8555ebcdn@googlegroups.com>
<649d35df-716c-4a5a-956e-49bf6bbe714en@googlegroups.com> <521c6805-8cce-4346-8a2f-2e5c95665876n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <535fca5a-6309-419a-b18d-bba746ae89abn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Tue, 24 May 2022 14:44:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1722
 by: Dan Christensen - Tue, 24 May 2022 14:44 UTC

On Tuesday, May 24, 2022 at 8:48:05 AM UTC-4, Mostowski Collapse wrote:
> Also your John Gabriel bashing list doesn't make any sense.
> It has the following items:
> > "Pi is NOT a number of ANY kind!"
> > --July 10, 2020
> > "Zero is not a number."
> > -- Dec. 2, 2019
> But John Gabriel refers to Euclid etc.. And in Euclid number only
> means natural numbers, without zero I guess.

[snip]

Awwwww... Love is truly blind.

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor