Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

You are false data.


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

SubjectAuthor
* 18 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 mathAlto Handa
 | +* 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 mathReid Kubota
 |  |`* 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 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 mathTadd Makuda
 |  |          `* 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 mathLyman Uehara
 |  |           +- 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 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
 |   `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathHayse Soho
 `- Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake mathDerek Otaka

Pages:12
18 May 2022: New visitors to sci.math: The New Calculus is the first rigorous formulation in history.

<c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2683:b0:69c:8c9c:5f80 with SMTP id c3-20020a05620a268300b0069c8c9c5f80mr18575540qkp.367.1652844794172;
Tue, 17 May 2022 20:33:14 -0700 (PDT)
X-Received: by 2002:a81:18a:0:b0:2fe:d9d8:7a2f with SMTP id
132-20020a81018a000000b002fed9d87a2fmr18542629ywb.434.1652844793920; Tue, 17
May 2022 20:33:13 -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: Tue, 17 May 2022 20:33:13 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:587:b41e:9c00:dcf1:4bb2:6be3:a50f;
posting-account=I6O9nAoAAABb1i1LpKMPS-CPmVJHIbyE
NNTP-Posting-Host: 2a02:587:b41e:9c00:dcf1:4bb2:6be3:a50f
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
Subject: 18 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: Wed, 18 May 2022 03:33:14 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 21117
 by: Eram semper recta - Wed, 18 May 2022 03:33 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

<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:2886:b0:699:bab7:ae78 with SMTP id j6-20020a05620a288600b00699bab7ae78mr18330471qkp.618.1652847259197;
Tue, 17 May 2022 21:14:19 -0700 (PDT)
X-Received: by 2002:a25:40cf:0:b0:64d:7cf2:841 with SMTP id
n198-20020a2540cf000000b0064d7cf20841mr15873712yba.339.1652847258916; Tue, 17
May 2022 21:14:18 -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: Tue, 17 May 2022 21:14:18 -0700 (PDT)
In-Reply-To: <c758226e-cd9f-49a2-8033-a8125a6d2233n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@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: Wed, 18 May 2022 04:14:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3542
 by: Dan Christensen - Wed, 18 May 2022 04:14 UTC

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

JG's Pathetic Daily Spam Post -- It's the SAME SHIT EVERY DAY!!!

On Tuesday, May 17, 2022 at 11:33:19 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

<c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:ec0d:0:b0:461:dedb:fc5c with SMTP id y13-20020a0cec0d000000b00461dedbfc5cmr6404050qvo.52.1652872894510;
Wed, 18 May 2022 04:21:34 -0700 (PDT)
X-Received: by 2002:a25:a2c4:0:b0:64d:a91b:7d8 with SMTP id
c4-20020a25a2c4000000b0064da91b07d8mr14718256ybn.212.1652872894163; Wed, 18
May 2022 04:21:34 -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 04:21:33 -0700 (PDT)
In-Reply-To: <2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com> <2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@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: Wed, 18 May 2022 11:21:34 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1549
 by: Mostowski Collapse - Wed, 18 May 2022 11:21 UTC

STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
He thinks this here are natural numbers:
https://dcproof.com/EvenNextOdd.htm

But he cannot prove:
~EXIST(a):[a e n & a < 0]

LoL

Dan Christensen schrieb am Mittwoch, 18. Mai 2022 um 06:14:24 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

<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:92:b0:2f3:ca38:e846 with SMTP id o18-20020a05622a009200b002f3ca38e846mr24157045qtw.94.1652881301455;
Wed, 18 May 2022 06:41:41 -0700 (PDT)
X-Received: by 2002:a81:b48:0:b0:2ff:13e4:f932 with SMTP id
69-20020a810b48000000b002ff13e4f932mr12392101ywl.2.1652881301316; Wed, 18 May
2022 06:41:41 -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 06:41:41 -0700 (PDT)
In-Reply-To: <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <816555a3-0b66-42b7-963d-c873dff57607n@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: Wed, 18 May 2022 13:41:41 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2269
 by: Dan Christensen - Wed, 18 May 2022 13:41 UTC

On Wednesday, May 18, 2022 at 7:21:40 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:

"Sticking up" for your little buddy and fellow troll as always, Jan Burse? (Wink, wink!)

> STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> He thinks this here are natural numbers:
> https://dcproof.com/EvenNextOdd.htm
>

There, from a list of results from basic arithmetic on N (lines 1-14) and a standard definition of EVEN and ODD (lines 15-16), I was able to formally derive:

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

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

where n = the set of natural numbers.

Not even Jan Burse here can deny it.

> But he cannot prove:
> ~EXIST(a):[a e n & a < 0]
>

Another lie.

Poor Jan Burse still doesn't get it. He 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

<t63d9r$oj7$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!WjxCmw1pevKaCY3PoAdGWg.user.46.165.242.75.POSTED!not-for-mail
From: ant...@nhnttdao.lo (Alto Handa)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Wed, 18 May 2022 18:18:36 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t63d9r$oj7$1@gioia.aioe.org>
References: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
<c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="25191"; posting-host="WjxCmw1pevKaCY3PoAdGWg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Nemo/0.999a
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAElBMVEXKi3CDZV7L
xsMrLDNjS0OgembeD3ZJAAACXUlEQVQ4jU2Uy3obIQyFNdTsrQ7sCV9m35TpPgS
xB2d4/1fpEThpWdhj/aOjK6buRM9H1NM9WcbxYxBPUNX8eBHno+1qX2CaAWIdeD
6+PbJ52qPZUspxihGL5Gk/5BH8LSXx/QuswK+5HuzKWWR4VimRaQ+XVJ6Z5Puhw
TtD6XAPpO3ZO2Eub0/wrl7S4e9H59Ev8QvcIZDeGLY2KkzD5QUcHFLmgUy6bzgb
L7BLcUkA7tYPokb0BEUgdQpQH8MGIrJV02WBEXUVqA28Dvt2KsgliZSUpQ0LAI+
jJ2g6KUWrUnmiaCJRmAApFTVDZPUSx8oEW5LM/J89WjdBn2AsElCnWYCvdGZtPs
sj3lTkx58Ln2N8IldMAUml9NuiMbezT3ClpGX8evFi36+3ILJr5WP0klB4/hnuE
j+oxbFt1wQXw0G8ibZGQnx6DX2Czypndh7tq+YlhmCsVSmiW8ai8J1oqxQeMdg7
2Qk2hzYWDEd6i1fOKGgBi3blnAe2s4UY0K0n2G6uiCdosMZGF+MzhgJu8Rhsgjq
QWcB6bXujdp0mGIOBBAX49pcC2+wOQfoCaOhQ4Lvmi1/0DaIC8d6uvn8BnGvXFc
GzWUlp3AmwVbo7c1gT2CV16Jpcfiuzl/rmWODSrndvuTaCT5h29KHvmFPRNdexh
yU05l7pBHEJmOcewqEpmOaUqvMsPCOstGiaz4LFwO039O8ssJ+9NqttMJqwSs0V
cS7ls9HsulZJC+AaVFzjilS/1vRYAFu9n+Vszb5TXOyYUpisP1E/yx0ZLJ8VA/8
R+8z7ETdu0+cvZ+fCAdhBEj8AAAAASUVORK5CYII=
X-Notice: Filtered by postfilter v. 0.9.2
X-Face: "/X.K!\)s)ul[m9?,H;RJ2|7&wyyHMrEz:;u+M0Eys^]TCg],%AVG3G3C0CIIM8e
,zG[>YOmTo8M]&Tq'lP`H~;|eq.>eyTxS':q=!.qIqMweI`q<5lo>@K#R#s3TL-}D1WJF\4
XpWwA'e?5P6!(Lr(h06mK\HuQ"x`!HDT%&A9yZ[frKc!qPUu3n%Z5gs$<Vx{z#5iY+yM(Vr
A[6+dyd.i`C&|y<#LRURNOs&;XQCzvU!=qbF^~
 by: Alto Handa - Wed, 18 May 2022 18:18 UTC

Dan Christensen wrote:

> On Wednesday, May 18, 2022 at 7:21:40 AM UTC-4, Mostowski Collapse (aka
> Jan Burse) wrote:
>
> "Sticking up" for your little buddy and fellow troll as always, Jan
> Burse?
> (Wink, wink!)

so true

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

<t63erj$152p$2@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Followup: sci.physics.relativity
Path: i2pn2.org!i2pn.org!aioe.org!WjxCmw1pevKaCY3PoAdGWg.user.46.165.242.75.POSTED!not-for-mail
From: eod...@daeeroaa.de (Derek Otaka)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Followup-To: sci.physics.relativity
Date: Wed, 18 May 2022 18:45:08 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t63erj$152p$2@gioia.aioe.org>
References: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="37977"; posting-host="WjxCmw1pevKaCY3PoAdGWg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: tin/1.9.3-20080506 (QNX4)
X-Notice: Filtered by postfilter v. 0.9.2
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEW0lH63m5gm
hqtvmbUmu+2qbWy6wtJ3SE8vLzfT9Pd7qAnYAAACcUlEQVQ4jU2TPW/bMBCGKRR
qVl1TK+jqBojnyqgzp4TRbjIChl1Tq2y1pQ0Iam2FQJoTwDH/bd87yk5v8Mc9PN
7He1RfYtxp/qhCuK+Wuo2NZlNtjBH/dqvAVlU4IkRFBjFeDgMDU/LBnWvWApr4I
4QRxBO5KNYK2O3GELog4DaBmMAlnKMAM3v9H3i6CMk81cq8ewHfJn+oKaP6mvM7
AZd8jfUhKCIqTqpGN6ncBYCxNpisAMjraurjaRyDN8hglOIYVboEHtlvQQCyIiu
pbJ3k2A/ewKw3NYDZEHFVKGHfm2SKrzKGqATAYPfv2ZvjPIOZ3xSbBB4r+OtciV
Gx2cwY6AkkN5JQpopXLUAbPzDARVYqLq3xxBG6uZKZG8t6dH2Grw1HaL3oV93Qs
R5d6EZ02/1KYKwCwPAQfOBm8DugQY7gqXd+QAVkFeWQbKkZfL4I3nf+KwODsmbq
Xgu4mosWJzVqvgO4nV1PgEcy1LlP7ZA7ggVSDOjDy1AKKpYJaF42f5hJRvkBXK3
SJXlWiFKzbAKfALj+Ok0RgKXVa+fgxSaYbBovlQywklhoi5CaCsmBhTgsNZIbz6
0xyRSdLl+A5ewkETXdtLt2AharW0/A5h95GVyKwLgH9CagZ59q1m18Dp51uEsN/
l6uoyi4jk/eI2QwNXeYnWqcFaH01ssbgOwAtNVTBJQSkPZKlaj1EDFw9iHNVp3C
4Y7LIBFpt97q9M6hxthvOYNcRUewQJ391rOfQaHezBOAf/zjVkECMK/sbPx7/gK
+B5aKFx5gHM+PwEkSifrJnnkCD86dgciTov0gJIHS3XK9FuBm3/Pcxn94Q3RBYG
cu0QAAAABJRU5ErkJggg==
X-Face: @_K9Mb"Q'9cxX)'bUkv@}>G(m#_c$w0J^b$RcKL"(;zl5f\<@Z}EQN-vw~~HF0+{
eJl,=0TD\&={0dLgshjR~W%5_=_,KxES4^v>F[LqOf,v-4$&T}%fK-];n=KrfpLm`UCUa|G
g7Uk8zw?MCJpMz<B}jU?i;&$yjOaxtHo~Q)fhR^||R)[79+2Sgt8}[9T'_^yGJ]Q?<bQFJh
PsF+x[LPk'U8LpJ3no#)f[Y?Rs3;Xu>r5A\\eK7V</LQR4&Am6_.A#[(7>oB/#i}Lo;qo'^
Y%602#zKT}F,j1x8&J[[
 by: Derek Otaka - Wed, 18 May 2022 18:45 UTC

Dan Christensen wrote:

> On Tuesday, May 17, 2022 at 11:33:19 PM UTC-4,I am Super Rectum (aka John
> Gabriel) wrote:
>> First learn how ...

Mitchell Center Podcast: Naming the Problem: Capitalism is the Crisis
Richard Wolff
https://www.rdwolff.com/mitchell_center_podcast_naming_the_problem_capitalism_is_the_crisis

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

<5ef9d9bb-56ef-44e8-9ee7-6c111fb3f6e0n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:843:0:b0:6a0:47d2:cdc5 with SMTP id 64-20020a370843000000b006a047d2cdc5mr9940393qki.689.1653170527169;
Sat, 21 May 2022 15:02:07 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr16620385ywf.50.1653170526973; Sat, 21
May 2022 15:02: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:02:06 -0700 (PDT)
In-Reply-To: <816555a3-0b66-42b7-963d-c873dff57607n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5ef9d9bb-56ef-44e8-9ee7-6c111fb3f6e0n@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:02:07 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sat, 21 May 2022 22:02 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 Mittwoch, 18. Mai 2022 um 15:41:47 UTC+2:
> On Wednesday, May 18, 2022 at 7:21:40 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
>
> "Sticking up" for your little buddy and fellow troll as always, Jan Burse? (Wink, wink!)
> > STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> > He thinks this here are natural numbers:
> > https://dcproof.com/EvenNextOdd.htm
> >
> There, from a list of results from basic arithmetic on N (lines 1-14) and a standard definition of EVEN and ODD (lines 15-16), I was able to formally derive:
>
> ALL(a):[a e n => [Even(a) => Odd(a+1)]]
>
> ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]
>
> where n = the set of natural numbers.
>
> Not even Jan Burse here can deny it.
> > But he cannot prove:
> > ~EXIST(a):[a e n & a < 0]
> >
> Another lie.
>
> Poor Jan Burse still doesn't get it. He 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

<9a43e541-e906-4b36-8173-527a0d3308d9n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1a29:b0:2f9:32e4:52e with SMTP id f41-20020a05622a1a2900b002f932e4052emr1157839qtb.689.1653189980329;
Sat, 21 May 2022 20:26:20 -0700 (PDT)
X-Received: by 2002:a05:690c:89:b0:2d7:fb7d:db7 with SMTP id
be9-20020a05690c008900b002d7fb7d0db7mr19079072ywb.219.1653189980161; Sat, 21
May 2022 20:26:20 -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:26:19 -0700 (PDT)
In-Reply-To: <5ef9d9bb-56ef-44e8-9ee7-6c111fb3f6e0n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <5ef9d9bb-56ef-44e8-9ee7-6c111fb3f6e0n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9a43e541-e906-4b36-8173-527a0d3308d9n@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:26:20 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2463
 by: Dan Christensen - Sun, 22 May 2022 03:26 UTC

On Saturday, May 21, 2022 at 6:02:12 PM UTC-4, Mostowski Collapse (Jan Burse) 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, Troll Boy. 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]
> Axiom
> https://dcproof.com/EvenNextOdd.htm
>
> Where is associativity? LoL

Not required in the proof. Geez yer dumb. Learn some math.

> Where is all of Peano? LMAO!

Likewise, not required, idiot!

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

Wrong again, Troll Boy. This, too, was not required. 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

<e09b59f5-cc92-4fe7-9683-13c21d4eecb1n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:371b:b0:6a3:86f7:568b with SMTP id de27-20020a05620a371b00b006a386f7568bmr360086qkb.690.1653208371668;
Sun, 22 May 2022 01:32:51 -0700 (PDT)
X-Received: by 2002:a25:6b0c:0:b0:64f:ab6f:b8bd with SMTP id
g12-20020a256b0c000000b0064fab6fb8bdmr3166948ybc.30.1653208371476; Sun, 22
May 2022 01:32:51 -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, 22 May 2022 01:32:51 -0700 (PDT)
In-Reply-To: <9a43e541-e906-4b36-8173-527a0d3308d9n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <5ef9d9bb-56ef-44e8-9ee7-6c111fb3f6e0n@googlegroups.com>
<9a43e541-e906-4b36-8173-527a0d3308d9n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e09b59f5-cc92-4fe7-9683-13c21d4eecb1n@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:32:51 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sun, 22 May 2022 08:32 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:26:26 UTC+2:
> On Saturday, May 21, 2022 at 6:02:12 PM UTC-4, Mostowski Collapse (Jan Burse) 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, Troll Boy. 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]
> > Axiom
> > https://dcproof.com/EvenNextOdd.htm
> >
> > Where is associativity? LoL
> Not required in the proof. Geez yer dumb. Learn some math.
> > Where is all of Peano? LMAO!
> Likewise, not required, idiot!
> > So the correct offending theorem would be anyway:
> >
> > ALL(a):[a e d => [a < 0 => ~Odd(a)]]
> >
> Wrong again, Troll Boy. This, too, was not required. 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

<1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:a385:0:b0:6a3:2baf:7e98 with SMTP id m127-20020a37a385000000b006a32baf7e98mr33581439qke.109.1653767613629;
Sat, 28 May 2022 12:53:33 -0700 (PDT)
X-Received: by 2002:a25:6b0c:0:b0:64f:ab6f:b8bd with SMTP id
g12-20020a256b0c000000b0064fab6fb8bdmr31687755ybc.30.1653767613437; Sat, 28
May 2022 12:53:33 -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, 28 May 2022 12:53:33 -0700 (PDT)
In-Reply-To: <816555a3-0b66-42b7-963d-c873dff57607n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@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, 28 May 2022 19:53:33 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2354
 by: Mostowski Collapse - Sat, 28 May 2022 19:53 UTC

What errors? I consider this rather a feature than a bug:

Dan Christensen schrieb am Montag, 9. Mai 2022 um 06:11:47 UTC+2:
> Even(-1), however, will be UNDEFINED in case 1, but FALSE in case 2.
https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/1WIQ11zEAQAJ

I guess most people will agree that Even(-1) should be
false when Even has the meaning even natural number.
Or do you claim that -1 e {0,2,4,...} is UNDEFINED?

LoL

Maybe make a John Garbiel and Dan Christensen combined
list. Put some John Garbiel into the list, and some Dan Christensen
in the list, here is a fresh addition for Dan Christensen:

"Even(-1), however, will be UNDEFINED in case 1"
- 9. Mai 2022 (Dan Christensen)

Dan Christensen schrieb am Mittwoch, 18. Mai 2022 um 15:41:47 UTC+2:
> Poor Jan Burse still doesn't get it. He 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?"

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

<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:c8e:b0:462:3bd6:d507 with SMTP id r14-20020a0562140c8e00b004623bd6d507mr27762952qvr.77.1653772096658;
Sat, 28 May 2022 14:08:16 -0700 (PDT)
X-Received: by 2002:a05:6902:136c:b0:649:81aa:5f7b with SMTP id
bt12-20020a056902136c00b0064981aa5f7bmr46295507ybb.303.1653772096474; Sat, 28
May 2022 14:08:16 -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, 28 May 2022 14:08:16 -0700 (PDT)
In-Reply-To: <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <11af979e-82b9-42fc-8e7c-3a6c4ff57048n@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, 28 May 2022 21:08:16 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sat, 28 May 2022 21:08 UTC

Well the list is longer:

"Even(-1), however, will be UNDEFINED in case 1"
- 9. Mai 2022 (Dan Christensen)

For Even(2) we need more axioms
- 27. Mai 2022 (Dan Christensen)

Which is quite cringe since the Pressburger definition of
Even is quite powerful, here some Prolog:

add(0, X, X).
add(s(X), Y, s(Z)) :- add(X, Y, Z).

even(X) :- add(Y,Y,X).

The thingy terminates always:

?- even(s(s(s(s(0))))).
true ;
false.

?- even(s(s(s(s(s(0)))))).
false.

Woa!

Mostowski Collapse schrieb am Samstag, 28. Mai 2022 um 21:53:38 UTC+2:
> What errors? I consider this rather a feature than a bug:
>
> Dan Christensen schrieb am Montag, 9. Mai 2022 um 06:11:47 UTC+2:
> > Even(-1), however, will be UNDEFINED in case 1, but FALSE in case 2.
> https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/1WIQ11zEAQAJ
>
> I guess most people will agree that Even(-1) should be
> false when Even has the meaning even natural number.
> Or do you claim that -1 e {0,2,4,...} is UNDEFINED?
>
> LoL
>
> Maybe make a John Garbiel and Dan Christensen combined
> list. Put some John Garbiel into the list, and some Dan Christensen
> in the list, here is a fresh addition for Dan Christensen:
>
> "Even(-1), however, will be UNDEFINED in case 1"
> - 9. Mai 2022 (Dan Christensen)
> Dan Christensen schrieb am Mittwoch, 18. Mai 2022 um 15:41:47 UTC+2:
> > Poor Jan Burse still doesn't get it. He 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?"

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

<d2ca1806-a62c-4cc7-b22a-26a9f3c8359fn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:1346:b0:2f9:17ce:2f1d with SMTP id w6-20020a05622a134600b002f917ce2f1dmr35609601qtk.657.1653774731751;
Sat, 28 May 2022 14:52:11 -0700 (PDT)
X-Received: by 2002:a25:7310:0:b0:65c:964a:734a with SMTP id
o16-20020a257310000000b0065c964a734amr4230802ybc.614.1653774731596; Sat, 28
May 2022 14:52:11 -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, 28 May 2022 14:52:11 -0700 (PDT)
In-Reply-To: <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d2ca1806-a62c-4cc7-b22a-26a9f3c8359fn@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, 28 May 2022 21:52:11 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1659
 by: Dan Christensen - Sat, 28 May 2022 21:52 UTC

On Saturday, May 28, 2022 at 3:53:38 PM UTC-4, Mostowski Collapse wrote:
> What errors?

Your bizarre belief that you can make logical inferences about functions and predicates outside of their domains of definitions, i.e. where they are undefined.

Dan

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

<t6u5kb$69m$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!mLipwYpzeQOxl5Glx+csOw.user.46.165.242.75.POSTED!not-for-mail
From: aot...@rreoidui.bk (Reid Kubota)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Date: Sat, 28 May 2022 21:53:17 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6u5kb$69m$1@gioia.aioe.org>
References: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
<c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
<1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="6454"; posting-host="mLipwYpzeQOxl5Glx+csOw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:68.0) Gecko/20100101
Thunderbird/68.10.0
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAGFBMVEW0g4DquY78
/fm3sY3d19xiUUmrbkEiHyXEeeYYAAACf0lEQVQ4jX3SO2/bMBAA4FNosSsPcj2
3irvToeyufhDtStQ9aqWRklkDGAz/fo+ynRbpQxvv0z34gP4fH/wflvu/wz2AeU
sVlgBEx/2fsOU40d20trdUuCZwylSzJRpusK1haj3/uqZMOT9cYU3kQGh66JdUS
snj+QJLznZzi3HWfyoT5Avc0+jn1mJ77L+OJRON5WGCLeXGMixy/zlBWqm23E2g
6RkrqLynBvlbjN8qLPXYcCW7U+XO4+8gMy/sDnX54acMdYGPklwMCG18Awc5gu5
IaAZZQcHTjwvUlqsVytKs6aRGCrGp0FVQ2OA6i5b8InqQE6gNgVlhB20WOoBSjY
JZBa1js0OL2Hqjp3ER5hdouceOIXXbKa5uoE6461BFwC/cikvJ6UhAY+A1KN72B
xkWQYL8PkGHwOnNwmF3n6RXANLtK3B1btLFR1TLUwxto2K9f5CoWscn93LCRX/i
/xEi8bz1AmSL+M5X2ChAlRyJfQ9xJZPxsXiB71174tz0aIzdQzQyDRsaE+CiFJ5
AeiO02EPSKQ12E1NQqpQXkCTAgBngEVIY7HYTksL6RshpY2bWQFAyzO1BhyQbDh
cSYjhYwyBi4BvvQIZQMjgtNBcYDhAiRdvvkF9OKqUVRghjB2t5N/R07q3li/Olg
DDcwlpT4WUsM3solIDHFTyTHg6D5fH4JedhW8jzVM4ZqE14KoxjfcojQ8cAAAIE
Twn6AiWn2tyNz5zBbQwkegVfwXFcaCOArlBSE0o5O+4NRnDGK3jgszpDBdA8XIq
XONdieHb1BKcMeLqB5H2cqfa4NL/Gi5ehZjCYesBAr1DHrWDqd/hVidJxzMcWxC
TiJ9kF9DySO6L3AAAAAElFTkSuQmCC
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: Reid Kubota - Sat, 28 May 2022 21:53 UTC

Mostowski Collapse wrote:

> Well the list is longer:
>
> "Even(-1), however, will be UNDEFINED in case 1"
> - 9. Mai 2022 (Dan Christensen)
>
> For Even(2) we need more axioms - 27. Mai 2022 (Dan Christensen)

this is incorrect.

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

<t6u5u8$akn$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!mLipwYpzeQOxl5Glx+csOw.user.46.165.242.75.POSTED!not-for-mail
From: ysy...@sossayhs.yy (Hayse Soho)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Date: Sat, 28 May 2022 21:58:33 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t6u5u8$akn$1@gioia.aioe.org>
References: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
<c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
<1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<d2ca1806-a62c-4cc7-b22a-26a9f3c8359fn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="10903"; posting-host="mLipwYpzeQOxl5Glx+csOw.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
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: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAFVBMVEVcNzTZ0tTK
oZcqJCNzQECvY2V4a2W9XN7GAAABpUlEQVQ4jXXTzW7jIBAA4JEgvmNpezcqe0a
i6Rm1Y59XVibnbUT8/o+wM4BtnGSREkV8nh88BJb/LNh/JsTpFUQAbGgDBAjAn+
4BEm8HWR8PACrUNR1B8fMATUiFpJRHosjgDxCDJ2tdlqkFFU6Wl7tyKT/JmTaYB
yPyp4TgBmdrDIu7cEjH76AChtvA0FsrVTRuED8kIENSwW+Q9GmDS2wgwpdkkup0
xRAK8Ne3nmtAA/KlujUTtxV3ANXVng7AQxDI25b24gXkWeLHESNUgBV+33lfLwc
APVqbRvseNU++gs+zvtMFxvkdMPgdVPgcpexsHaaopwoyzfPMh5ZBjXQZry3YoR
xiJO5X7e/q1lfA2XExnUfriBbekwMODJZQFeCDcXbO5azlznhSqiuwLs4SPVeP0
EB5US5qrg0vgFDAT+Ve3bdk3BGtTS2A3b5PyDVKpgVMuw+6gcFUk1M3Ef3NrFJr
1Evd/5hVOBlRqpcWjDnC3xcgV2HhgTyDo4RRHyLWo/PIH8HlruAJ+trSDjlHBvn
jPUX8GqwUfoY3nuA1Xz9d4R98VgUoi2NW+wAAAABJRU5ErkJggg==
 by: Hayse Soho - Sat, 28 May 2022 21:58 UTC

Dan Christensen wrote:

> On Saturday, May 28, 2022 at 3:53:38 PM UTC-4, Mostowski Collapse wrote:
>> What errors?
>
> Your bizarre belief that you can make logical inferences about functions
> and predicates outside of their domains of definitions, i.e. where they
> are undefined.

absolutely.

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

<4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:19c5:b0:462:563e:7c4b with SMTP id j5-20020a05621419c500b00462563e7c4bmr21469248qvc.46.1653775220811;
Sat, 28 May 2022 15:00:20 -0700 (PDT)
X-Received: by 2002:a25:c201:0:b0:654:36f9:f76b with SMTP id
s1-20020a25c201000000b0065436f9f76bmr21277702ybf.339.1653775220600; Sat, 28
May 2022 15:00:20 -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, 28 May 2022 15:00:20 -0700 (PDT)
In-Reply-To: <11af979e-82b9-42fc-8e7c-3a6c4ff57048n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@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, 28 May 2022 22:00:20 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2381
 by: Dan Christensen - Sat, 28 May 2022 22:00 UTC

On Saturday, May 28, 2022 at 5:08:21 PM UTC-4, Mostowski Collapse wrote:
> Well the list is longer:
> "Even(-1), however, will be UNDEFINED in case 1"

There you go again with your "dark elements." Maybe you should also team up with your fellow troll WM on this.

> - 9. Mai 2022 (Dan Christensen)
> For Even(2) we need more axioms

Nope, you just need some basic arithmetic, e.g. 2*1=2. Didn't they teach you that in school?

> - 27. Mai 2022 (Dan Christensen)
>
> Which is quite cringe since the Pressburger definition of
> Even is quite powerful, here some Prolog:
>

Poor Jan Burse just can't seem to get the hang of Peano's Axioms (like his little buddy and fellow troll JG), so he is forced to cast about in Presburger arithmetic and Prolog -- obvious dead ends 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

<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:59d3:0:b0:2f3:d7ee:2b54 with SMTP id f19-20020ac859d3000000b002f3d7ee2b54mr39426478qtf.290.1653775877329;
Sat, 28 May 2022 15:11:17 -0700 (PDT)
X-Received: by 2002:a05:6902:4d0:b0:655:9586:85b0 with SMTP id
v16-20020a05690204d000b00655958685b0mr18097212ybs.357.1653775877197; Sat, 28
May 2022 15:11:17 -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, 28 May 2022 15:11:16 -0700 (PDT)
In-Reply-To: <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a6299804-109c-4385-af1a-5d53ee2da09bn@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, 28 May 2022 22:11:17 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2901
 by: Mostowski Collapse - Sat, 28 May 2022 22:11 UTC

Presburger Arithmetic ⊆ Peano Arithmetic

Or more precisely:

Presburger Arithmetic = Peano Arithmetic \ Multiplication

Whats wrong with you? You don't need Multiplication for Even:

Even(x) = EXIST(y): y + y = x

So why introduce Multiplication. Doesn't make any sense.

Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 00:00:25 UTC+2:
> On Saturday, May 28, 2022 at 5:08:21 PM UTC-4, Mostowski Collapse wrote:
> > Well the list is longer:
> > "Even(-1), however, will be UNDEFINED in case 1"
> There you go again with your "dark elements." Maybe you should also team up with your fellow troll WM on this.
> > - 9. Mai 2022 (Dan Christensen)
> > For Even(2) we need more axioms
> Nope, you just need some basic arithmetic, e.g. 2*1=2. Didn't they teach you that in school?
> > - 27. Mai 2022 (Dan Christensen)
> >
> > Which is quite cringe since the Pressburger definition of
> > Even is quite powerful, here some Prolog:
> >
> Poor Jan Burse just can't seem to get the hang of Peano's Axioms (like his little buddy and fellow troll JG), so he is forced to cast about in Presburger arithmetic and Prolog -- obvious dead ends 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

<337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:b986:0:b0:6a3:7eb3:b237 with SMTP id j128-20020a37b986000000b006a37eb3b237mr22850925qkf.459.1653781008277;
Sat, 28 May 2022 16:36:48 -0700 (PDT)
X-Received: by 2002:a05:690c:58b:b0:2fe:f90d:f8d5 with SMTP id
bo11-20020a05690c058b00b002fef90df8d5mr51493449ywb.422.1653781008153; Sat, 28
May 2022 16:36:48 -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, 28 May 2022 16:36:47 -0700 (PDT)
In-Reply-To: <a6299804-109c-4385-af1a-5d53ee2da09bn@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@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, 28 May 2022 23:36:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1973
 by: Dan Christensen - Sat, 28 May 2022 23:36 UTC

On Saturday, May 28, 2022 at 6:11:22 PM UTC-4, Mostowski Collapse wrote:
> Presburger Arithmetic ⊆ Peano Arithmetic
>
> Or more precisely:
>
> Presburger Arithmetic = Peano Arithmetic \ Multiplication
>

Maybe you didn't know, but multiplication is really quite important in mathematics. (HA, HA, HA!!!)

Dan

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

<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:4310:b0:67b:3fc1:86eb with SMTP id u16-20020a05620a431000b0067b3fc186ebmr33269546qko.495.1653781381880;
Sat, 28 May 2022 16:43:01 -0700 (PDT)
X-Received: by 2002:a5b:ad0:0:b0:65c:ae8b:16ec with SMTP id
a16-20020a5b0ad0000000b0065cae8b16ecmr3144646ybr.465.1653781381700; Sat, 28
May 2022 16:43:01 -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, 28 May 2022 16:43:01 -0700 (PDT)
In-Reply-To: <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@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, 28 May 2022 23:43:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2169
 by: Mostowski Collapse - Sat, 28 May 2022 23:43 UTC

You dont need it to define Even.
Whats wrong with you?

Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 01:36:52 UTC+2:
> On Saturday, May 28, 2022 at 6:11:22 PM UTC-4, Mostowski Collapse wrote:
> > Presburger Arithmetic ⊆ Peano Arithmetic
> >
> > Or more precisely:
> >
> > Presburger Arithmetic = Peano Arithmetic \ Multiplication
> >
> Maybe you didn't know, but multiplication is really quite important in mathematics. (HA, HA, HA!!!)
>
> Dan

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

<a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:4454:0:b0:69f:c339:e2dc with SMTP id r81-20020a374454000000b0069fc339e2dcmr31492053qka.771.1653787900127;
Sat, 28 May 2022 18:31:40 -0700 (PDT)
X-Received: by 2002:a5b:ad0:0:b0:65c:ae8b:16ec with SMTP id
a16-20020a5b0ad0000000b0065cae8b16ecmr3377472ybr.465.1653787900001; Sat, 28
May 2022 18:31:40 -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, 28 May 2022 18:31:39 -0700 (PDT)
In-Reply-To: <f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@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, 29 May 2022 01:31:40 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2414
 by: Dan Christensen - Sun, 29 May 2022 01:31 UTC

On Saturday, May 28, 2022 at 7:43:06 PM UTC-4, Mostowski Collapse wrote:

> Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 01:36:52 UTC+2:
> > On Saturday, May 28, 2022 at 6:11:22 PM UTC-4, Mostowski Collapse wrote:
> > > Presburger Arithmetic ⊆ Peano Arithmetic
> > >
> > > Or more precisely:
> > >
> > > Presburger Arithmetic = Peano Arithmetic \ Multiplication
> > >
> > Maybe you didn't know, but multiplication is really quite important in mathematics. (HA, HA, HA!!!)
> >

> You dont need it to define Even.

So what? You will need multiplication for other applications. Jeez yer dumb, Jan Burse!

Dan

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

<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:300d:b0:462:1c83:2f44 with SMTP id ke13-20020a056214300d00b004621c832f44mr33678506qvb.41.1653807074464;
Sat, 28 May 2022 23:51:14 -0700 (PDT)
X-Received: by 2002:a81:5217:0:b0:30c:361e:3bd0 with SMTP id
g23-20020a815217000000b0030c361e3bd0mr1124266ywb.368.1653807074281; Sat, 28
May 2022 23:51:14 -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, 28 May 2022 23:51:14 -0700 (PDT)
In-Reply-To: <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com> <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8ba6aab7-dd16-469e-afb1-83ba42268df1n@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, 29 May 2022 06:51:14 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Sun, 29 May 2022 06:51 UTC

STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
he is ingeniously troubled by defining Even={0,2,4,...}, so far we have:

"Even(-1), however, will be UNDEFINED in case 1"
- 9. Mai 2022 (Dan Christensen)

For Even(2) we need more axioms/theorems
- 27. Mai 2022 (Dan Christensen)

A total failure so far. LoL

Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 03:31:45 UTC+2:
> On Saturday, May 28, 2022 at 7:43:06 PM UTC-4, Mostowski Collapse wrote:
>
> > Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 01:36:52 UTC+2:
> > > On Saturday, May 28, 2022 at 6:11:22 PM UTC-4, Mostowski Collapse wrote:
> > > > Presburger Arithmetic ⊆ Peano Arithmetic
> > > >
> > > > Or more precisely:
> > > >
> > > > Presburger Arithmetic = Peano Arithmetic \ Multiplication
> > > >
> > > Maybe you didn't know, but multiplication is really quite important in mathematics. (HA, HA, HA!!!)
> > >
> > You dont need it to define Even.
> So what? You will need multiplication for other applications. Jeez yer dumb, Jan Burse!
>
> Dan

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

<92147643-3856-45c8-ad26-a814070d4195n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:98a:b0:6a3:840f:96d1 with SMTP id x10-20020a05620a098a00b006a3840f96d1mr24392702qkx.286.1653838471811;
Sun, 29 May 2022 08:34:31 -0700 (PDT)
X-Received: by 2002:a0d:c884:0:b0:2f9:2a69:5b25 with SMTP id
k126-20020a0dc884000000b002f92a695b25mr53455479ywd.509.1653838471592; Sun, 29
May 2022 08:34:31 -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: Sun, 29 May 2022 08:34:31 -0700 (PDT)
In-Reply-To: <8ba6aab7-dd16-469e-afb1-83ba42268df1n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com> <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <92147643-3856-45c8-ad26-a814070d4195n@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, 29 May 2022 15:34:31 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2859
 by: Dan Christensen - Sun, 29 May 2022 15:34 UTC

On Sunday, May 29, 2022 at 2:51:19 AM UTC-4, Mostowski Collapse wrote:
> STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> he is ingeniously troubled by defining Even={0,2,4,...}, so far we have:
> "Even(-1), however, will be UNDEFINED in case 1"
> - 9. Mai 2022 (Dan Christensen)

Usually, an evenness predicate would be defined only on the natural numbers. But you are free to introduce your own wonky definition in DC Proof and define it for every object in the universe -- your "dark elements."

> For Even(2) we need more axioms/theorems
> - 27. Mai 2022 (Dan Christensen)
>

Yes, you would also need the "theorem" 2*1=2, which is derivable from Peano's Axioms, as are the required results of basic arithmetic on lines 1-14.
https://dcproof.com/EvenNextOdd.htm

> A total failure so far. LoL

Your theory of "dark elements" (?) would seem to be total failure, Jan Burse. Deal with it.

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

<91b1fb39-23f9-4902-9d08-357afc1e377en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:258e:b0:680:f33c:dbcd with SMTP id x14-20020a05620a258e00b00680f33cdbcdmr36535743qko.542.1653851032818;
Sun, 29 May 2022 12:03:52 -0700 (PDT)
X-Received: by 2002:a25:b788:0:b0:64f:c825:8031 with SMTP id
n8-20020a25b788000000b0064fc8258031mr32305762ybh.483.1653851032620; Sun, 29
May 2022 12:03:52 -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, 29 May 2022 12:03:52 -0700 (PDT)
In-Reply-To: <92147643-3856-45c8-ad26-a814070d4195n@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com> <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com> <92147643-3856-45c8-ad26-a814070d4195n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <91b1fb39-23f9-4902-9d08-357afc1e377en@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, 29 May 2022 19:03:52 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sun, 29 May 2022 19:03 UTC

Because your nonsense has among its models, in a model where a*b=0:
Even={0}
Odd={1,2,3,..}

You can only prove:
ALL(a):[a e n => [Even(a) => Odd(a+1)]]
https://dcproof.com/EvenNextOdd.htm

But you cannot prove, the above model is counter model:
ALL(a):[a e n => [Even(a) => Even(a+2)]]
ALL(a):[a e n => [Odd(a) => Even(a+1)]]

Means you cannot verify these two variants:

Variant I:
Even(0).
Even(s(s(x))) <= Even(x)
The smallest such Even
Odd(s(x)) <= Even(x)
The smallest such Odd

Variant II:
Even(0).
Even(s(x)) <= Odd(x)
Odd(s(x)) <= Even(x)
The smallest such Even/Odd
https://coq.inria.fr/library/Coq.Arith.Even.html

Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 17:34:36 UTC+2:
> On Sunday, May 29, 2022 at 2:51:19 AM UTC-4, Mostowski Collapse wrote:
> > STUDENTS BEWARE: Don't be a victim of Dan Christensen's fake math
> > he is ingeniously troubled by defining Even={0,2,4,...}, so far we have:
> > "Even(-1), however, will be UNDEFINED in case 1"
> > - 9. Mai 2022 (Dan Christensen)
> Usually, an evenness predicate would be defined only on the natural numbers. But you are free to introduce your own wonky definition in DC Proof and define it for every object in the universe -- your "dark elements."
> > For Even(2) we need more axioms/theorems
> > - 27. Mai 2022 (Dan Christensen)
> >
> Yes, you would also need the "theorem" 2*1=2, which is derivable from Peano's Axioms, as are the required results of basic arithmetic on lines 1-14.
> https://dcproof.com/EvenNextOdd.htm
> > A total failure so far. LoL
> Your theory of "dark elements" (?) would seem to be total failure, Jan Burse. Deal with it.
> 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

<43621753-8766-4446-bfe8-a4c60aaa435dn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:258e:b0:680:f33c:dbcd with SMTP id x14-20020a05620a258e00b00680f33cdbcdmr36604168qko.542.1653852711568;
Sun, 29 May 2022 12:31:51 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr54124005ywf.50.1653852711397; Sun, 29
May 2022 12:31:51 -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, 29 May 2022 12:31:51 -0700 (PDT)
In-Reply-To: <91b1fb39-23f9-4902-9d08-357afc1e377en@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com> <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com> <92147643-3856-45c8-ad26-a814070d4195n@googlegroups.com>
<91b1fb39-23f9-4902-9d08-357afc1e377en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <43621753-8766-4446-bfe8-a4c60aaa435dn@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, 29 May 2022 19:31:51 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2735
 by: Dan Christensen - Sun, 29 May 2022 19:31 UTC

On Sunday, May 29, 2022 at 3:03:58 PM UTC-4, Mostowski Collapse wrote:
> Because your nonsense has among its models, in a model where a*b=0:
> Even={0}
> Odd={1,2,3,..}
>

Pay attention, Jan Burse! We have:

Even={0, 2, 4, 6, ... }
Odd={1, 3, 5, 7, ... }

> You can only prove:
> ALL(a):[a e n => [Even(a) => Odd(a+1)]]

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

> https://dcproof.com/EvenNextOdd.htm
>
> But you cannot prove, the above model is counter model:

Again, the only "model" we are concerned here is:

n={0, 1, 2, 3, ...}
Even={0, 2, 4, 6, ... }
Odd={1, 3, 5, 7, ... }

Deal with it, Jan Burse. Quit embarrassing yourself like this.

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

<c52f0f3d-bbad-42ca-b1ea-6137660de8f7n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:4310:b0:67b:3fc1:86eb with SMTP id u16-20020a05620a431000b0067b3fc186ebmr35797966qko.495.1653862289769;
Sun, 29 May 2022 15:11:29 -0700 (PDT)
X-Received: by 2002:a05:6902:136c:b0:649:81aa:5f7b with SMTP id
bt12-20020a056902136c00b0064981aa5f7bmr50422784ybb.303.1653862289568; Sun, 29
May 2022 15:11:29 -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, 29 May 2022 15:11:29 -0700 (PDT)
In-Reply-To: <43621753-8766-4446-bfe8-a4c60aaa435dn@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: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com> <c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com> <1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com> <4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com> <337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com> <a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com> <92147643-3856-45c8-ad26-a814070d4195n@googlegroups.com>
<91b1fb39-23f9-4902-9d08-357afc1e377en@googlegroups.com> <43621753-8766-4446-bfe8-a4c60aaa435dn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c52f0f3d-bbad-42ca-b1ea-6137660de8f7n@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, 29 May 2022 22:11:29 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Sun, 29 May 2022 22:11 UTC

You cannot force logic to consider only one model,
if your axioms don't says so. Otherwise if the only model where:

Even={0, 2, 4, 6, ... }
Odd={1, 3, 5, 7, ... }

You could prove:

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

But you cannot prove it. Because your axioms
have multiple models.

Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 21:31:56 UTC+2:
> On Sunday, May 29, 2022 at 3:03:58 PM UTC-4, Mostowski Collapse wrote:
> > Because your nonsense has among its models, in a model where a*b=0:
> > Even={0}
> > Odd={1,2,3,..}
> >
> Pay attention, Jan Burse! We have:
>
> Even={0, 2, 4, 6, ... }
> Odd={1, 3, 5, 7, ... }
> > You can only prove:
> > ALL(a):[a e n => [Even(a) => Odd(a+1)]]
> Also:
> ALL(a):[a e n => Even(2*a) & Odd(2*a+1)]
> > https://dcproof.com/EvenNextOdd.htm
> >
> > But you cannot prove, the above model is counter model:
> Again, the only "model" we are concerned here is:
>
> n={0, 1, 2, 3, ...}
> Even={0, 2, 4, 6, ... }
> Odd={1, 3, 5, 7, ... }
>
> Deal with it, Jan Burse. Quit embarrassing yourself like this.
> 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

<t70r9l$1eip$1@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!mLipwYpzeQOxl5Glx+csOw.user.46.165.242.75.POSTED!not-for-mail
From: ukd...@muaudkmk.dk (Tadd Makuda)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Date: Sun, 29 May 2022 22:15:18 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t70r9l$1eip$1@gioia.aioe.org>
References: <c758226e-cd9f-49a2-8033-a8125a6d2233n@googlegroups.com>
<2ac55181-1a4e-4f1a-a8a4-2373d39c8a58n@googlegroups.com>
<c5d8d197-2aa7-48bd-a884-3c1afe192aebn@googlegroups.com>
<816555a3-0b66-42b7-963d-c873dff57607n@googlegroups.com>
<1dd3803e-f3fc-4cd3-ad66-7b9cfdf4fd7dn@googlegroups.com>
<11af979e-82b9-42fc-8e7c-3a6c4ff57048n@googlegroups.com>
<4d7c4a16-1955-4b1c-8a65-5fb79f497b35n@googlegroups.com>
<a6299804-109c-4385-af1a-5d53ee2da09bn@googlegroups.com>
<337e7ded-0951-4749-aaa9-d4dfe51c6ab7n@googlegroups.com>
<f76f2a10-f470-4fa9-9f34-e5f717a8cc15n@googlegroups.com>
<a7bf190b-1fea-4c3a-ae7c-6b4bc00bd8f8n@googlegroups.com>
<8ba6aab7-dd16-469e-afb1-83ba42268df1n@googlegroups.com>
<92147643-3856-45c8-ad26-a814070d4195n@googlegroups.com>
<91b1fb39-23f9-4902-9d08-357afc1e377en@googlegroups.com>
<43621753-8766-4446-bfe8-a4c60aaa435dn@googlegroups.com>
<c52f0f3d-bbad-42ca-b1ea-6137660de8f7n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="47705"; posting-host="mLipwYpzeQOxl5Glx+csOw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: MacSOUP/2.8.5 (ea919cf118) (Mac OS 10.10.5)
X-Notice: Filtered by postfilter v. 0.9.2
X-Face: #?QjTZ.5/pcEt'eP;K&4Wn;sdSX\Y[Za$,7imAV88h6kot3!1k*>!lX!L}o[~oTn
eEa>ZLX|=!N:Z816u}OqGTLn0]9~nOw1I{d@yar9n0HN2'GEiwT]|BRrP]c:GR}7I.3<RO`
xtf|~OttpS[9d]1>u8z~kLSv\"Y,HmM7QJau.tq,yah@8JNt.m4fRk;85Z`Zy@Mmei$rwV)
e4.IIxNH:Nn44FY'1i'/scZRrgXpDAFzMynHd48#ktxLxiHDAX%o_I!~[.1^3~&9=GrKVF(
Dkao@MV"7_!gx}8r9=oQsQPnrTa_`~Jg}GxyflLf7rb.4Z(Dp#q=j6@A^VBa)wl94zECcxh \3
Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAKlBMVEUSFRf78tzY
yLekaEMEBAWmk4n/++nfpHVQOSRiX1zhv53h4OH02LiOX0FJkLh7AAACVklEQVQ
4jW3SMWvbQBQHcFESSOgkQzqkXqoiCra3RzEtHGTw0LU2B1FwBnfw0k49wkFJpn
bQEgihLlGgi0MQPbyUki6aHMgiNOUwFSHvu/TdyY4lt28y9/P/3t07OUNbT1zXv
R57ram7KMeum18+N/WsCiQ1ux7Mnq2Cz9Ul72HEp2UYuDXVuOQALP/erUJjrA56
AIg4s5HpApSKpZRW+uVETU0KYIh3FMnmiWGqMiWlEBQB3apnCxi8mGRZLGmdgPW
nD/BBZQZoXWtg99kD1BVVEaDEXVZKLIG6E2TlBICwMFvCQE2yApiuQF1lMd0bBA
upRxkmqenQNjtVIJ2kSjIt6N6oK5Clah+1oL+jhtKpttP0KAw/izwMjwFuS0CDO
sr/XCBgqOG+CoB7F2guAv0lmNEyPIyZPVb/etk8VoK1J9JcT+t+a5mI4zkAA933
PK9lYZAqgkNFHQCZ/lgBwIMQj3NNT9Il8Cy49t6AeZgfU+YBXLceC2xLQUfKabh
jr2GBvpW6EvhSFq+Brz16nLFD3xQVbYXFMmK3YZ5tDqkEecBCGhXiuAC77voCpL
JTRzQ7LWBrU0gzFFPB+RJqu+u/2tKeCvHHmwU89U+c9XfwKbYw8zub3IDrnzmOs
5H02kWAB53OTsSV4zu2mlcst2fiux2qnZEzr2/Jc4IQZ/ykY2sBj98n+wQjHnxd
gWFyFUURwZcqPEqGu3s9POPRCmw0k/DWh7NoFZzTJDy93o/+B8H5dhD908MZ/Q6
6N9Q9WFuFZvftVhBwvgJro27z582rgI/m8BdVxOtMIpmWMAAAAABJRU5ErkJggg ==
 by: Tadd Makuda - Sun, 29 May 2022 22:15 UTC

Mostowski Collapse wrote:

> You cannot force logic to consider only one model,
> if your axioms don't says so. Otherwise if the only model where:
> Even={0, 2, 4, 6, ... } Odd={1, 3, 5, 7, ... } You could prove:
> ALL(a):[a e n => [Even(a) => Even(a+2)]]
> ALL(a):[a e n => [Odd(a) => Even(a+1)]]
> But you cannot prove it. Because your axioms have multiple models.
> Dan Christensen schrieb am Sonntag, 29. Mai 2022 um 21:31:56 UTC+2:

<img src='data:image/
png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAElBMVEW5c17b1M3M
q4UIBgRjTUAhGBYX1zi1AAACHklEQVQ4jV2TzXajMAyFhevsYzezt1XPvlOHvYaI
fc8Bv/+r9AqHE4oWHOwP/V0JUjPHAcZFXCLy1GBk9xKelkNSndL8BMJ5J4H9vPIO
eqAnYK/OdyB8ADF6JZ0bHkp0CAUXwt1qQOiXS07m0ZO7cDBOtCcf7HiIxWUct+Th
BJK2WmnVKR5BREI/b4DcySNEA039ZMf8AjkUAFU/nAC67J3nrfyYXLYM0aLOBqb+
XYFoAYJAucQXA64X44kkJ12F0eM8mlZ4C5kdOYIcZEePUA2KoNmYijYJDOVwNI8d
YA4eoWbMCYYcbd2+gQ7Im5Ec2ckVA+oNAKG1mGw85G5qHiJ2vy1DzCgp0RQnAPIo
aOucbU8Ck4qBJjoJJdzcAK5w8VgDhGoQRRJcotqQppguqjwbQJaEuZdvTzIp0wWF
GlihQqLE3mENcyEAoocBTQM8SEy9HAVNqCwdcHLJm3owwSKKGmjfxcTzxtm6gzgm
IlzQCADelnW2N52Xuv0LGBZ535Za66jy17anA0TDwq5YwOV+obd1eYFPjE8shnh6
HMByByCbnitu2WLSiOsR+fGp/YBota6tNqtqy2kA+w/o69hD2bPWIhgXYYbXjyeo
3aD8tC1jfPwG/wptGxkYoB7A/SrYAs7Mb/1iBzVDISs4n8H/qyqEpuHjBL4CJtqE
wvsJ3MPV1ByOYLE6WgiltXsIf9rLA3WPdQi3pX6G3eMHhXy1LLNvwdwAAAAASUVO
RK5CYII=' alt='ae' />

Pages:12
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor