Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

A year spent in artificial intelligence is enough to make one believe in God.


tech / sci.math / 13 May 2022: New visitors to sci.math: The New Calculus is the first rigorous formulation in history.

SubjectAuthor
* 13 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 mathJacy Kagabu

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

<c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5b50:0:b0:2f3:ae99:8e0 with SMTP id n16-20020ac85b50000000b002f3ae9908e0mr2846160qtw.669.1652415411717;
Thu, 12 May 2022 21:16:51 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr2961288ybs.543.1652415411506; Thu, 12
May 2022 21:16:51 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 21:16:51 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:587:b435:1f00:3007:9cae:dadf:7419;
posting-account=I6O9nAoAAABb1i1LpKMPS-CPmVJHIbyE
NNTP-Posting-Host: 2a02:587:b435:1f00:3007:9cae:dadf:7419
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
Subject: 13 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: Fri, 13 May 2022 04:16:51 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 21114
 by: Eram semper recta - Fri, 13 May 2022 04:16 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

<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:d6:b0:2f3:f4bb:4e55 with SMTP id p22-20020a05622a00d600b002f3f4bb4e55mr3065591qtw.386.1652417745350;
Thu, 12 May 2022 21:55:45 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr3864661ywh.40.1652417745167; Thu, 12
May 2022 21:55:45 -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: Thu, 12 May 2022 21:55:44 -0700 (PDT)
In-Reply-To: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6f450f58-f275-49f0-b683-1f3a5be9ddb1n@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: Fri, 13 May 2022 04:55:45 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3600
 by: Dan Christensen - Fri, 13 May 2022 04:55 UTC

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

JG's Pathetic Daily Spam Post

Same old crap gets the same old response.

On Friday, May 13, 2022 at 12:16:57 AM 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

<437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:262c:b0:45a:97e8:68df with SMTP id gv12-20020a056214262c00b0045a97e868dfmr3035187qvb.52.1652422726393;
Thu, 12 May 2022 23:18:46 -0700 (PDT)
X-Received: by 2002:a25:c548:0:b0:649:73e4:185d with SMTP id
v69-20020a25c548000000b0064973e4185dmr3174257ybe.545.1652422726165; Thu, 12
May 2022 23:18:46 -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: Thu, 12 May 2022 23:18:45 -0700 (PDT)
In-Reply-To: <6f450f58-f275-49f0-b683-1f3a5be9ddb1n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com> <6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <437b0699-e981-4bde-b75f-24b27f846a58n@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: Fri, 13 May 2022 06:18:46 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1480
 by: Mostowski Collapse - Fri, 13 May 2022 06:18 UTC

Students Beware: Even at his advanced age (18+)?, Dan Christensen
is STILL struggling with basic, elementary-school arithmetic.

Dan Christensen schrieb am Freitag, 13. Mai 2022 um 06:55:51 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

<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:59cd:0:b0:2f3:c08d:9ffa with SMTP id f13-20020ac859cd000000b002f3c08d9ffamr3185420qtf.564.1652424227907;
Thu, 12 May 2022 23:43:47 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr3299083ybs.543.1652424227762; Thu, 12
May 2022 23:43:47 -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: Thu, 12 May 2022 23:43:47 -0700 (PDT)
In-Reply-To: <437b0699-e981-4bde-b75f-24b27f846a58n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <fa4a9ef6-8292-4a72-ae52-254624b349aen@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: Fri, 13 May 2022 06:43:47 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1975
 by: Mostowski Collapse - Fri, 13 May 2022 06:43 UTC

The summer time sadness of Dan Christensen. He
cannot prove the following with his approach:

/* not provable */
|/- ALL(a):[Evenness(a) => Oddness(Successness(a))]

It is not provable in yours, Dans, because for example,
this is not excluded, i.e. a counter model can be made:

Evenness(-1) /* possible */
Sucessness(-1)=0 /* possible */

Mostowski Collapse schrieb am Freitag, 13. Mai 2022 um 08:18:51 UTC+2:
> Students Beware: Even at his advanced age (18+)?, Dan Christensen
> is STILL struggling with basic, elementary-school arithmetic.
> Dan Christensen schrieb am Freitag, 13. Mai 2022 um 06:55:51 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

<t5lqtp$i0k$2@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!rocksolid2!i2pn.org!aioe.org!Epfvj1XTJoTo8WyxQ3cphg.user.46.165.242.75.POSTED!not-for-mail
From: acj...@ukajacga.aa (Jacy Kagabu)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
Date: Fri, 13 May 2022 14:45:13 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t5lqtp$i0k$2@gioia.aioe.org>
References: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="18452"; posting-host="Epfvj1XTJoTo8WyxQ3cphg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Thoth/1.8.4 (Carbon/OS X)
X-Notice: Filtered by postfilter v. 0.9.2
 by: Jacy Kagabu - Fri, 13 May 2022 14:45 UTC

Dan Christensen wrote:

> On Friday, May 13, 2022 at 12:16:57 AM UTC-4, I am Super Rectum (aka
> John Gabriel (JG), Troll Boy) wrote:
>> First learn how ...
>
> When will YOU learn, Troll Boy?

https://www.veteranstoday.com/wp-content/uploads/2022/05/uncle-adolf-1536x860.jpg

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

<118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:fd8d:0:b0:456:3481:603c with SMTP id p13-20020a0cfd8d000000b004563481603cmr5359325qvr.69.1652458999558;
Fri, 13 May 2022 09:23:19 -0700 (PDT)
X-Received: by 2002:a25:8f90:0:b0:648:84d1:1431 with SMTP id
u16-20020a258f90000000b0064884d11431mr5284933ybl.483.1652458999398; Fri, 13
May 2022 09:23:19 -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: Fri, 13 May 2022 09:23:19 -0700 (PDT)
In-Reply-To: <fa4a9ef6-8292-4a72-ae52-254624b349aen@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Fri, 13 May 2022 16:23:19 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1984
 by: Dan Christensen - Fri, 13 May 2022 16:23 UTC

On Friday, May 13, 2022 at 2:43:52 AM UTC-4, Mostowski Collapse wrote:
> The summer time sadness of Dan Christensen. He
> cannot prove the following with his approach:
>
> /* not provable */
> |/- ALL(a):[Evenness(a) => Oddness(Successness(a))]
>

Your claim. Let's see your formal proof, Jan Burse.

> It is not provable in yours, Dans, because ...

Because the quantifier is not restricted to the natural numbers here and in your daffynition of evenness. A foolish mistake on your part, 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

<44ec45af-6c2b-4dc3-865e-e82b8b96d436n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:3c6:b0:2f3:f7d6:63e0 with SMTP id k6-20020a05622a03c600b002f3f7d663e0mr5699138qtx.530.1652463778741;
Fri, 13 May 2022 10:42:58 -0700 (PDT)
X-Received: by 2002:a81:8cf:0:b0:2f4:da59:9eef with SMTP id
198-20020a8108cf000000b002f4da599eefmr7168447ywi.78.1652463778539; Fri, 13
May 2022 10:42:58 -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: Fri, 13 May 2022 10:42:58 -0700 (PDT)
In-Reply-To: <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com> <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <44ec45af-6c2b-4dc3-865e-e82b8b96d436n@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: Fri, 13 May 2022 17:42:58 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2560
 by: Mostowski Collapse - Fri, 13 May 2022 17:42 UTC

Easy, there is this counter model:

Evenness(-1) /* possible */
Sucessness(-1)=0 /* possible

Why does this counter model work? Because from this here:

Axiom: CASE 1
ALL(a):[a in n => [Evenness(a) <=> EXIST(b):[b in n & a=2*b]]]
Axiom:
~(-1 in n)
Axiom:
Evenness(-1)

You cannot prove a contradiction. You cannot prove:

~Evenness(-1)

Which would give the contradiction together with Evenness(-1).

Dan Christensen schrieb am Freitag, 13. Mai 2022 um 18:23:25 UTC+2:
> On Friday, May 13, 2022 at 2:43:52 AM UTC-4, Mostowski Collapse wrote:
> > The summer time sadness of Dan Christensen. He
> > cannot prove the following with his approach:
> >
> > /* not provable */
> > |/- ALL(a):[Evenness(a) => Oddness(Successness(a))]
> >
> Your claim. Let's see your formal proof, Jan Burse.
>
> > It is not provable in yours, Dans, because ...
>
> Because the quantifier is not restricted to the natural numbers here and in your daffynition of evenness. A foolish mistake on your part, 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

<11777382-d9be-42af-b887-679860f43cbcn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:b742:0:b0:6a0:5e42:2fa8 with SMTP id h63-20020a37b742000000b006a05e422fa8mr4565743qkf.274.1652464374268;
Fri, 13 May 2022 10:52:54 -0700 (PDT)
X-Received: by 2002:a25:db8f:0:b0:648:a5e3:e254 with SMTP id
g137-20020a25db8f000000b00648a5e3e254mr6016832ybf.465.1652464374069; Fri, 13
May 2022 10:52: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: Fri, 13 May 2022 10:52:53 -0700 (PDT)
In-Reply-To: <44ec45af-6c2b-4dc3-865e-e82b8b96d436n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com> <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>
<44ec45af-6c2b-4dc3-865e-e82b8b96d436n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <11777382-d9be-42af-b887-679860f43cbcn@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: Fri, 13 May 2022 17:52:54 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3389
 by: Mostowski Collapse - Fri, 13 May 2022 17:52 UTC

In Dans approach this formula:

ALL(a):[Evenness(a) => Oddness(Successness(a))]

Is then violated by a= -1, which gives:

Evenness(-1) => Oddness(Successness(-1))

Since the counter model has Sucessness(-1)=0, we
basically make use that Dans Peano Axioms are also
satisfied by succZ, we arrive at:

Evenness(-1) => Oddness(0)

What Dan should be able to prove is ~Oddness(0). So
the succedent of the implication is False. On the other hand
the antcedent is True, since this is what our counter model does:

True => False

Which gives:

False

So in Dans approach we can violate the formula.

Mostowski Collapse schrieb am Freitag, 13. Mai 2022 um 19:43:03 UTC+2:
> Easy, there is this counter model:
> Evenness(-1) /* possible */
> Sucessness(-1)=0 /* possible
> Why does this counter model work? Because from this here:
>
> Axiom: CASE 1
> ALL(a):[a in n => [Evenness(a) <=> EXIST(b):[b in n & a=2*b]]]
> Axiom:
> ~(-1 in n)
> Axiom:
> Evenness(-1)
>
> You cannot prove a contradiction. You cannot prove:
>
> ~Evenness(-1)
>
> Which would give the contradiction together with Evenness(-1).
> Dan Christensen schrieb am Freitag, 13. Mai 2022 um 18:23:25 UTC+2:
> > On Friday, May 13, 2022 at 2:43:52 AM UTC-4, Mostowski Collapse wrote:
> > > The summer time sadness of Dan Christensen. He
> > > cannot prove the following with his approach:
> > >
> > > /* not provable */
> > > |/- ALL(a):[Evenness(a) => Oddness(Successness(a))]
> > >
> > Your claim. Let's see your formal proof, Jan Burse.
> >
> > > It is not provable in yours, Dans, because ...
> >
> > Because the quantifier is not restricted to the natural numbers here and in your daffynition of evenness. A foolish mistake on your part, 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

<9921ae1a-27eb-45f6-b7da-13043969d734n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:258e:b0:680:f33c:dbcd with SMTP id x14-20020a05620a258e00b00680f33cdbcdmr4970743qko.542.1652468895649;
Fri, 13 May 2022 12:08:15 -0700 (PDT)
X-Received: by 2002:a05:6902:561:b0:648:63ff:2b61 with SMTP id
a1-20020a056902056100b0064863ff2b61mr6338976ybt.30.1652468895517; Fri, 13 May
2022 12:08: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: Fri, 13 May 2022 12:08:15 -0700 (PDT)
In-Reply-To: <44ec45af-6c2b-4dc3-865e-e82b8b96d436n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com> <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>
<44ec45af-6c2b-4dc3-865e-e82b8b96d436n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9921ae1a-27eb-45f6-b7da-13043969d734n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of John Gabriel's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Fri, 13 May 2022 19:08:15 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2030
 by: Dan Christensen - Fri, 13 May 2022 19:08 UTC

On Friday, May 13, 2022 at 1:43:03 PM UTC-4, Mostowski Collapse wrote:

> You cannot prove:
>
> ~Evenness(-1)
>

And that is a good thing! In the standard definition, you can only determine the evenness of a natural number. Unfortunately for you, Jan Burse, there are no "dark elements" in DC Proof. Maybe you can write your own proof checker that can handle them? (Hee, hee!)

Dan

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

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

<ab10ede0-e10b-4483-a01f-307b05da5d39n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:2c2:b0:2f3:ce9c:22f9 with SMTP id a2-20020a05622a02c200b002f3ce9c22f9mr6008825qtx.345.1652469124363;
Fri, 13 May 2022 12:12:04 -0700 (PDT)
X-Received: by 2002:a25:541:0:b0:64d:2b8:9122 with SMTP id 62-20020a250541000000b0064d02b89122mr1132645ybf.545.1652469124139;
Fri, 13 May 2022 12:12:04 -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: Fri, 13 May 2022 12:12:03 -0700 (PDT)
In-Reply-To: <9921ae1a-27eb-45f6-b7da-13043969d734n@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: <c45a08c5-4f52-4c30-b1ad-80031d2a4500n@googlegroups.com>
<6f450f58-f275-49f0-b683-1f3a5be9ddb1n@googlegroups.com> <437b0699-e981-4bde-b75f-24b27f846a58n@googlegroups.com>
<fa4a9ef6-8292-4a72-ae52-254624b349aen@googlegroups.com> <118cce3b-9bf5-4f4a-9e00-b6d10f89f0edn@googlegroups.com>
<44ec45af-6c2b-4dc3-865e-e82b8b96d436n@googlegroups.com> <9921ae1a-27eb-45f6-b7da-13043969d734n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ab10ede0-e10b-4483-a01f-307b05da5d39n@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: Fri, 13 May 2022 19:12:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2647
 by: Mostowski Collapse - Fri, 13 May 2022 19:12 UTC

You still sound totally confused.
So why did you ask why this is not provable?

Dan Christensen schrieb am Freitag, 13. Mai 2022 um 18:15:20 UTC+2:
> This cannot be proved with your, Dans, Peano Axioms
> and your, Dans, proposal of x is even:
> /* not provable */
> |/- ALL(a):[Evenness(a) => Oddness(Successness(a))]
> That is your claim. Again, let's see your formal proof, Jan Burse.
https://groups.google.com/g/sci.logic/c/gV50jEU6fvQ/m/Y4I0ke72AQAJ

Dan Christensen schrieb am Freitag, 13. Mai 2022 um 21:08:21 UTC+2:
> On Friday, May 13, 2022 at 1:43:03 PM UTC-4, Mostowski Collapse wrote:
>
> > You cannot prove:
> >
> > ~Evenness(-1)
> >
>
> And that is a good thing! In the standard definition, you can only determine the evenness of a natural number. Unfortunately for you, Jan Burse, there are no "dark elements" in DC Proof. Maybe you can write your own proof checker that can handle them? (Hee, hee!)
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.co

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor