Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"A mind is a terrible thing to have leaking out your ears." -- The League of Sadistic Telepaths


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

SubjectAuthor
* 14 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 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 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 mathDan Christensen
  `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDan Christensen

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

<1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:300d:b0:459:2bb:6d14 with SMTP id ke13-20020a056214300d00b0045902bb6d14mr6708790qvb.71.1652496372050;
Fri, 13 May 2022 19:46:12 -0700 (PDT)
X-Received: by 2002:a25:8f90:0:b0:648:84d1:1431 with SMTP id
u16-20020a258f90000000b0064884d11431mr7264217ybl.483.1652496371804; Fri, 13
May 2022 19:46: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, 13 May 2022 19:46:11 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=87.202.117.123; posting-account=I6O9nAoAAABb1i1LpKMPS-CPmVJHIbyE
NNTP-Posting-Host: 87.202.117.123
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
Subject: 14 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: Sat, 14 May 2022 02:46:12 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 21066
 by: Eram semper recta - Sat, 14 May 2022 02:46 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

<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1210:b0:2f3:da26:3778 with SMTP id y16-20020a05622a121000b002f3da263778mr7323043qtx.173.1652496933123;
Fri, 13 May 2022 19:55:33 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr9182425ywf.50.1652496932938; Fri, 13
May 2022 19:55:32 -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, 13 May 2022 19:55:32 -0700 (PDT)
In-Reply-To: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@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: Sat, 14 May 2022 02:55:33 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3557
 by: Dan Christensen - Sat, 14 May 2022 02:55 UTC

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

JG's Pathetic Daily Spam Post

On Friday, May 13, 2022 at 10:46:16 PM UTC-4, I am Super Rectum (aka John Gabriel (JG), Troll Boy) wrote:
> First learn how ...

When will YOU learn, Troll Boy?

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

<a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:110f:b0:2f3:c9f1:ada4 with SMTP id e15-20020a05622a110f00b002f3c9f1ada4mr7768700qty.197.1652516915747;
Sat, 14 May 2022 01:28:35 -0700 (PDT)
X-Received: by 2002:a25:8f90:0:b0:648:84d1:1431 with SMTP id
u16-20020a258f90000000b0064884d11431mr7857463ybl.483.1652516915582; Sat, 14
May 2022 01:28:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 14 May 2022 01:28:35 -0700 (PDT)
In-Reply-To: <b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com> <b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a267f6df-a28e-45f6-8756-975c1430d1c3n@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, 14 May 2022 08:28:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1632
 by: Mostowski Collapse - Sat, 14 May 2022 08:28 UTC

STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
He still thinks what he proved from:

15 ALL(a):[a e n => [Even(a) <=> EXIST(b):[b e n & a=2*b]]]
Axiom

Cannot be proved from:

15 ALL(a):[Even(a) <=> a e n & EXIST(b):[b e n & a=2*b]]
Axiom

Dan Christensen schrieb am Samstag, 14. Mai 2022 um 04:55:38 UTC+2:
> 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

<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:262d:b0:45a:9e7d:d16 with SMTP id gv13-20020a056214262d00b0045a9e7d0d16mr7881872qvb.4.1652525043407;
Sat, 14 May 2022 03:44:03 -0700 (PDT)
X-Received: by 2002:a25:7d86:0:b0:64a:5665:fb48 with SMTP id
y128-20020a257d86000000b0064a5665fb48mr8793938ybc.614.1652525043200; Sat, 14
May 2022 03:44:03 -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, 14 May 2022 03:44:02 -0700 (PDT)
In-Reply-To: <a267f6df-a28e-45f6-8756-975c1430d1c3n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f7dd9fd5-3c33-4113-9438-39842fba00bfn@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, 14 May 2022 10:44:03 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2374
 by: Mostowski Collapse - Sat, 14 May 2022 10:44 UTC

The funny thing about the whole endeavour, its
still the ultimate freak show, since Dan Christensen
never asked whether Case 2 => Case 1, which

obviously holds, since we have:

∀x(Ex ↔ (Nx ∧ Dx)) → ∀x(Nx → (Ex ↔ Dx)) is valid.
https://www.umsu.de/trees/#~6x(Ex~4Nx~1Dx)~5~6x(Nx~5(Ex~4Dx))

So everything that can be proved from Case 1,
can also be proved from Case 2. Unfortunately
the converse is not true, so

Case 2 properly supersumes Case 1.

Mostowski Collapse schrieb am Samstag, 14. Mai 2022 um 10:28:40 UTC+2:
> STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> He still thinks what he proved from:
>
> 15 ALL(a):[a e n => [Even(a) <=> EXIST(b):[b e n & a=2*b]]]
> Axiom
>
> Cannot be proved from:
>
> 15 ALL(a):[Even(a) <=> a e n & EXIST(b):[b e n & a=2*b]]
> Axiom
> Dan Christensen schrieb am Samstag, 14. Mai 2022 um 04:55:38 UTC+2:
> > 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

<210c2d9c-7c29-42b1-bbe5-e58ae44f71c6n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:92:b0:2f3:ca38:e846 with SMTP id o18-20020a05622a009200b002f3ca38e846mr8860134qtw.94.1652536736442;
Sat, 14 May 2022 06:58:56 -0700 (PDT)
X-Received: by 2002:a25:4244:0:b0:64b:3af3:45a9 with SMTP id
p65-20020a254244000000b0064b3af345a9mr10011563yba.536.1652536736244; Sat, 14
May 2022 06:58:56 -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, 14 May 2022 06:58:56 -0700 (PDT)
In-Reply-To: <a267f6df-a28e-45f6-8756-975c1430d1c3n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <210c2d9c-7c29-42b1-bbe5-e58ae44f71c6n@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, 14 May 2022 13:58:56 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2143
 by: Dan Christensen - Sat, 14 May 2022 13:58 UTC

On Saturday, May 14, 2022 at 4:28:40 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> He still thinks what he proved from:
>
> 15 ALL(a):[a e n => [Even(a) <=> EXIST(b):[b e n & a=2*b]]]
> Axiom
>
> Cannot be proved from:
>
> 15 ALL(a):[Even(a) <=> a e n & EXIST(b):[b e n & a=2*b]]
> Axiom

I don't know where you got that silly idea, Jan Burse. If you think you can make your wonky definition of evenness work, I invite you to try to prove ALL(a):[a in N => [Even(x) => Odd(x+1)]]. I am not motivated to do so, what with its silly "dark elements."

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

<bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2412:b0:6a0:5f8e:c050 with SMTP id d18-20020a05620a241200b006a05f8ec050mr7340654qkn.462.1652547075979;
Sat, 14 May 2022 09:51:15 -0700 (PDT)
X-Received: by 2002:a25:3288:0:b0:64d:6a99:c100 with SMTP id
y130-20020a253288000000b0064d6a99c100mr2782873yby.485.1652547075829; Sat, 14
May 2022 09:51:15 -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: Sat, 14 May 2022 09:51:15 -0700 (PDT)
In-Reply-To: <f7dd9fd5-3c33-4113-9438-39842fba00bfn@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@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, 14 May 2022 16:51:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2568
 by: Dan Christensen - Sat, 14 May 2022 16:51 UTC

On Saturday, May 14, 2022 at 6:44:08 AM UTC-4, Mostowski Collapse wrote:

> Mostowski Collapse schrieb am Samstag, 14. Mai 2022 um 10:28:40 UTC+2:
> > STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> > He still thinks what he proved from:
> >
> > 15 ALL(a):[a e n => [Even(a) <=> EXIST(b):[b e n & a=2*b]]]
> > Axiom
> >
> > Cannot be proved from:
> >
> > 15 ALL(a):[Even(a) <=> a e n & EXIST(b):[b e n & a=2*b]]
> > Axiom

> The funny thing about the whole endeavour, its
> still the ultimate freak show, since Dan Christensen
> never asked whether Case 2 => Case 1, which
>
> obviously holds, since we have:
>
> ∀x(Ex ↔ (Nx ∧ Dx)) → ∀x(Nx → (Ex ↔ Dx)) is valid.
> https://www.umsu.de/trees/#~6x(Ex~4Nx~1Dx)~5~6x(Nx~5(Ex~4Dx))
>
> So everything that can be proved from Case 1,
> can also be proved from Case 2. Unfortunately
> the converse is not true, so
>
> Case 2 properly supersumes Case 1.

The wonky bits about "dark elements" are left out of Case 1. So why include them?

Dan

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

<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:58d6:0:b0:2f3:d35c:4ef8 with SMTP id u22-20020ac858d6000000b002f3d35c4ef8mr10010550qta.265.1652562954580;
Sat, 14 May 2022 14:15:54 -0700 (PDT)
X-Received: by 2002:a81:4782:0:b0:2eb:1cb1:5441 with SMTP id
u124-20020a814782000000b002eb1cb15441mr12191272ywa.479.1652562954399; Sat, 14
May 2022 14:15:54 -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: Sat, 14 May 2022 14:15:54 -0700 (PDT)
In-Reply-To: <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <16e0acca-b80b-4c75-8802-3de7fc388a47n@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, 14 May 2022 21:15:54 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1837
 by: Mostowski Collapse - Sat, 14 May 2022 21:15 UTC

You can also use a Case 2 type definition for <,
like for example:

13 ALL(a):ALL(b):[a<b <=> a ε n & b ε n & EXIST(c):[c ε n & ~c=0 & a+c=b]]
Axiom

You can then prove the lemma as well:

78 ALL(a):[a ε n => ~EXIST(b):[b ε n & 2*a+1=2*b]]
Conclusion, 17

For a full proof look here:

https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/2-xdKNBVAgAJ

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

<eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:c29:b0:45a:fedd:7315 with SMTP id a9-20020a0562140c2900b0045afedd7315mr9602640qvd.59.1652564128403;
Sat, 14 May 2022 14:35:28 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr12764604ywh.40.1652564128206; Sat, 14
May 2022 14:35:28 -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: Sat, 14 May 2022 14:35:27 -0700 (PDT)
In-Reply-To: <16e0acca-b80b-4c75-8802-3de7fc388a47n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@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, 14 May 2022 21:35:28 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2579
 by: Mostowski Collapse - Sat, 14 May 2022 21:35 UTC

Next, using Case 2 type definitions for even and odd:

15 ALL(a):[Even(a) <=> a ε n & EXIST(b):[b ε n & a=2*b]]
Axiom

16 ALL(a):[Odd(a) <=> a ε n & ~EXIST(b):[b ε n & a=2*b]]
Axiom

As predicted, the theorem is also provable:

113 ALL(a):[a ε n => [Even(a) => Odd(a+1)]]
Rem DNeg, 112

The proof of the lemma was already posted, so I
only post the rest of the proof, starting from the lemma.

For rest of the proof look here:
https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/bbA6qdpWAgAJ

Mostowski Collapse schrieb am Samstag, 14. Mai 2022 um 23:15:59 UTC+2:
> You can also use a Case 2 type definition for <,
> like for example:
>
> 13 ALL(a):ALL(b):[a<b <=> a ε n & b ε n & EXIST(c):[c ε n & ~c=0 & a+c=b]]
> Axiom
>
> You can then prove the lemma as well:
>
> 78 ALL(a):[a ε n => ~EXIST(b):[b ε n & 2*a+1=2*b]]
> Conclusion, 17
>
> For a full proof look here:
>
> https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/2-xdKNBVAgAJ

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

<b7432a4d-a558-4ab4-9511-43e1a8a4f07cn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2988:b0:6a0:53e7:ed48 with SMTP id r8-20020a05620a298800b006a053e7ed48mr8171709qkp.604.1652571365367;
Sat, 14 May 2022 16:36:05 -0700 (PDT)
X-Received: by 2002:a81:4f01:0:b0:2f8:ea79:9ada with SMTP id
d1-20020a814f01000000b002f8ea799adamr13121602ywb.512.1652571365203; Sat, 14
May 2022 16:36:05 -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: Sat, 14 May 2022 16:36:04 -0700 (PDT)
In-Reply-To: <16e0acca-b80b-4c75-8802-3de7fc388a47n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b7432a4d-a558-4ab4-9511-43e1a8a4f07cn@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, 14 May 2022 23:36:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2028
 by: Dan Christensen - Sat, 14 May 2022 23:36 UTC

On Saturday, May 14, 2022 at 5:15:59 PM UTC-4, Mostowski Collapse wrote:
> You can also use a Case 2 type definition for <,
> like for example:
>
> 13 ALL(a):ALL(b):[a<b <=> a ε n & b ε n & EXIST(c):[c ε n & ~c=0 & a+c=b]]
> Axiom
>

I will stick to the more conventional definition with none of your wonky "dark elements." Get a life, 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

<3763b4b6-abd3-4dcf-ad74-032d4608bc66n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7d87:0:b0:2f3:edba:a84a with SMTP id c7-20020ac87d87000000b002f3edbaa84amr10621406qtd.186.1652574926271;
Sat, 14 May 2022 17:35:26 -0700 (PDT)
X-Received: by 2002:a81:25d8:0:b0:2f7:b72f:8a4a with SMTP id
l207-20020a8125d8000000b002f7b72f8a4amr12763532ywl.103.1652574926102; Sat, 14
May 2022 17:35:26 -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: Sat, 14 May 2022 17:35:25 -0700 (PDT)
In-Reply-To: <eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com> <eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3763b4b6-abd3-4dcf-ad74-032d4608bc66n@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, 15 May 2022 00:35:26 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2275
 by: Dan Christensen - Sun, 15 May 2022 00:35 UTC

On Saturday, May 14, 2022 at 5:35:33 PM UTC-4, Mostowski Collapse wrote:
> Next, using Case 2 type definitions for even and odd:
>
> 15 ALL(a):[Even(a) <=> a ε n & EXIST(b):[b ε n & a=2*b]]
> Axiom
>

So Even(1/2) would be false by this wonky definition.

Better to stick to the conventional definition: ALL(a):[a in n => [Even(a) <=> EXIST(b):[b in n & a=2*b]]]

Then Even(1/2) would not simply be false, it would be undefined since the definition would not be applicable. Do you not see the difference? Didn't think so, oh, well....

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

<b3a7b4db-86c7-43ca-a51c-68020afcf27dn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1007:b0:2f3:ce52:25cb with SMTP id d7-20020a05622a100700b002f3ce5225cbmr10856462qte.575.1652599024518;
Sun, 15 May 2022 00:17:04 -0700 (PDT)
X-Received: by 2002:a81:26c6:0:b0:2f4:c7b3:ad96 with SMTP id
m189-20020a8126c6000000b002f4c7b3ad96mr14590090ywm.223.1652599024281; Sun, 15
May 2022 00:17:04 -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: Sun, 15 May 2022 00:17:04 -0700 (PDT)
In-Reply-To: <3763b4b6-abd3-4dcf-ad74-032d4608bc66n@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com> <eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@googlegroups.com>
<3763b4b6-abd3-4dcf-ad74-032d4608bc66n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b3a7b4db-86c7-43ca-a51c-68020afcf27dn@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, 15 May 2022 07:17:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Sun, 15 May 2022 07:17 UTC

Well this here is true, isn't it?
For when Even = even natural numbers:

~Even(-1)

What are you bragging about?

Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 02:35:31 UTC+2:
> On Saturday, May 14, 2022 at 5:35:33 PM UTC-4, Mostowski Collapse wrote:
> > Next, using Case 2 type definitions for even and odd:
> >
> > 15 ALL(a):[Even(a) <=> a ε n & EXIST(b):[b ε n & a=2*b]]
> > Axiom
> >
> So Even(1/2) would be false by this wonky definition.
>
> Better to stick to the conventional definition: ALL(a):[a in n => [Even(a) <=> EXIST(b):[b in n & a=2*b]]]
>
> Then Even(1/2) would not simply be false, it would be undefined since the definition would not be applicable. Do you not see the difference? Didn't think so, oh, well....
> 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

<290c9fb4-7646-4fe6-97e3-d71c4232a7c3n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7f43:0:b0:2f3:d55d:7296 with SMTP id g3-20020ac87f43000000b002f3d55d7296mr11093210qtk.635.1652599117233;
Sun, 15 May 2022 00:18:37 -0700 (PDT)
X-Received: by 2002:a25:40cf:0:b0:64d:7cf2:841 with SMTP id
n198-20020a2540cf000000b0064d7cf20841mr2810245yba.339.1652599116999; Sun, 15
May 2022 00:18:36 -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, 15 May 2022 00:18:36 -0700 (PDT)
In-Reply-To: <b3a7b4db-86c7-43ca-a51c-68020afcf27dn@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: <1d11ad4b-9324-4e7a-8894-070892a21eb3n@googlegroups.com>
<b5d7caff-02e8-45b8-9d63-dcdd8e4eea7an@googlegroups.com> <a267f6df-a28e-45f6-8756-975c1430d1c3n@googlegroups.com>
<f7dd9fd5-3c33-4113-9438-39842fba00bfn@googlegroups.com> <bd268faf-e0ee-4703-aadc-97dceaf8fe1cn@googlegroups.com>
<16e0acca-b80b-4c75-8802-3de7fc388a47n@googlegroups.com> <eee4dab0-0fea-4c9d-a4fd-950e1e46f17cn@googlegroups.com>
<3763b4b6-abd3-4dcf-ad74-032d4608bc66n@googlegroups.com> <b3a7b4db-86c7-43ca-a51c-68020afcf27dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <290c9fb4-7646-4fe6-97e3-d71c4232a7c3n@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, 15 May 2022 07:18:37 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2977
 by: Mostowski Collapse - Sun, 15 May 2022 07:18 UTC

Its even provable for the Case 2 type definition:

125 ALL(a):[~a ε n => ~Even(a)]
Conclusion, 114

Here is the full proof:

See here:
https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/ncKE65R2AgAJ

Mostowski Collapse schrieb am Sonntag, 15. Mai 2022 um 09:17:09 UTC+2:
> Well this here is true, isn't it?
> For when Even = even natural numbers:
>
> ~Even(-1)
>
> What are you bragging about?
> Dan Christensen schrieb am Sonntag, 15. Mai 2022 um 02:35:31 UTC+2:
> > On Saturday, May 14, 2022 at 5:35:33 PM UTC-4, Mostowski Collapse wrote:
> > > Next, using Case 2 type definitions for even and odd:
> > >
> > > 15 ALL(a):[Even(a) <=> a ε n & EXIST(b):[b ε n & a=2*b]]
> > > Axiom
> > >
> > So Even(1/2) would be false by this wonky definition.
> >
> > Better to stick to the conventional definition: ALL(a):[a in n => [Even(a) <=> EXIST(b):[b in n & a=2*b]]]
> >
> > Then Even(1/2) would not simply be false, it would be undefined since the definition would not be applicable. Do you not see the difference? Didn't think so, oh, well....
> > Dan
> >
> > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > Visit my Math Blog at http://www.dcproof.wordpress.com

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor