Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Nature is very un-American. Nature never hurries." -- William George Jordan


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

SubjectAuthor
* 1 May 2022: New visitors to sci.math: The New Calculus is the firstEram semper recta
`* STUDENTS BEWARE: Don't be a victim of JG's fake mathDan Christensen
 +* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
 |+- Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathJob Chikamatsu
 |`* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathDan Christensen
 | `* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
 |  `- Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathDan Christensen
 `* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
  `* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathDan Christensen
   `* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
    +- Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
    +- Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathMostowski Collapse
    `* Re: STUDENTS BEWARE: Don't be a victim of JG's fake mathDan Christensen
     `* Dan Christense is Bat Shit CrazyMostowski Collapse
      +* Re: Dan Christense is Bat Shit CrazyMostowski Collapse
      |+- Re: Dan Christense is Bat Shit CrazyMostowski Collapse
      |`* Re: Dan Christense is Bat Shit CrazyMostowski Collapse
      | `* Re: Dan Christense is Bat Shit CrazyMostowski Collapse
      |  `* Re: Dan Christense is Bat Shit CrazyMostowski Collapse
      |   `- Re: Dan Christense is Bat Shit CrazyPhil Konda
      `- Re: Dan Christense is Bat Shit CrazyDan Christensen

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

<e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:23cc:b0:44f:4974:4c1c with SMTP id hr12-20020a05621423cc00b0044f49744c1cmr5290294qvb.116.1651380031445;
Sat, 30 Apr 2022 21:40:31 -0700 (PDT)
X-Received: by 2002:a81:1f8b:0:b0:2f8:5846:445e with SMTP id
f133-20020a811f8b000000b002f85846445emr6333634ywf.50.1651380031262; Sat, 30
Apr 2022 21:40:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 30 Apr 2022 21:40:31 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:587:b430:3c00:788c:d07e:f43c:b22a;
posting-account=I6O9nAoAAABb1i1LpKMPS-CPmVJHIbyE
NNTP-Posting-Host: 2a02:587:b430:3c00:788c:d07e:f43c:b22a
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
Subject: 1 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: Sun, 01 May 2022 04:40:31 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 419
 by: Eram semper recta - Sun, 1 May 2022 04:40 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 JG's fake math

<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:b4d:0:b0:69f:7742:9778 with SMTP id 74-20020a370b4d000000b0069f77429778mr4705306qkl.109.1651380729882;
Sat, 30 Apr 2022 21:52:09 -0700 (PDT)
X-Received: by 2002:a25:cdc7:0:b0:648:f57d:c0ed with SMTP id
d190-20020a25cdc7000000b00648f57dc0edmr5872495ybf.480.1651380729735; Sat, 30
Apr 2022 21:52:09 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 30 Apr 2022 21:52:09 -0700 (PDT)
In-Reply-To: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>
Subject: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 01 May 2022 04:52:09 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 63
 by: Dan Christensen - Sun, 1 May 2022 04:52 UTC

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

On Sunday, May 1, 2022 at 12:40:36 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 JG's fake math

<33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:3189:b0:69f:421e:ba00 with SMTP id bi9-20020a05620a318900b0069f421eba00mr4798953qkb.485.1651386170735;
Sat, 30 Apr 2022 23:22:50 -0700 (PDT)
X-Received: by 2002:a5b:a43:0:b0:63d:c248:13a5 with SMTP id
z3-20020a5b0a43000000b0063dc24813a5mr6167740ybq.614.1651386170529; Sat, 30
Apr 2022 23:22:50 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sat, 30 Apr 2022 23:22:50 -0700 (PDT)
In-Reply-To: <517031b9-e1ab-4d0c-8273-5def395cf551n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com> <517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 01 May 2022 06:22:50 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 22
 by: Mostowski Collapse - Sun, 1 May 2022 06:22 UTC

Doesn't make any sense to prove existence of add/3 with 762 proof lines.

Dan Christensen schrieb am Samstag, 30. April 2022 um 22:39:44 UTC+2:
> This is how it is done: https://dcproof.com/ConstructAddFunction.htm

And where is a proof of EXIST(n):Peano(n) ? You don't have a powerful
set theory, like ZFC would be, that could prove that. In ZFC you
could do such a construction, by means of the Axiom of Infinity (AOI).

You are just a crank. You don't understand that mathematics works:

- definition
- lemma
- theorem

This building block is hardly used:

- axiom

Now you have axioms for Peano, and don't prove EXIST(n):Peano(n).

Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> STUDENTS BEWARE: Don't be a victim of JG's fake math

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

<pan$dc3c2$c7997edf$b4b31521$dfaddc19@ekyzcfxq.wn>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!3Pb+uLQVaG6nAxBRpKnVng.user.46.165.242.75.POSTED!not-for-mail
From: fkp...@ekyzcfxq.wn (Job Chikamatsu)
Newsgroups: sci.math
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
Date: Sun, 1 May 2022 09:52:56 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <pan$dc3c2$c7997edf$b4b31521$dfaddc19@ekyzcfxq.wn>
References: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>
<33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="43127"; posting-host="3Pb+uLQVaG6nAxBRpKnVng.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Evolution/2.31 (Windows NT 5.1; rv:52.0)
X-Notice: Filtered by postfilter v. 0.9.2
 by: Job Chikamatsu - Sun, 1 May 2022 09:52 UTC

Mostowski Collapse wrote:

> Doesn't make any sense to prove existence of add/3 with 762 proof lines.
>
> Dan Christensen schrieb am Samstag, 30. April 2022 um 22:39:44 UTC+2:
>> This is how it is done: https://dcproof.com/ConstructAddFunction.htm
>
> You are just a crank. You don't understand that mathematics works:
> - definition - lemma - theorem

so true. But you talk about the russian federation *military*, not
"putin". It explains his failure undrestanding mathematics, being a
brainwashed mainstream bitch.

But the russian army told polakia *already*, if the polakis *invade*
"ukrainia", they are going to get their asses kicked badly, *nazi_nato* or
not. The polaks have nothing to demand from "ukraine", a russian
territory.

the nazi gay actor zelenske said nothing yet, about the invasion of the
slavic nazi polakia. I believe the polaks and the americanis are debating
on *what_the_khazar_gay_actor* is going to say.

It looks like there is something your boyfriend don't undrestand.

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

<45adc7e2-154b-4ada-9b41-f45af98470ean@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:1d2a:b0:456:40a4:4685 with SMTP id f10-20020a0562141d2a00b0045640a44685mr6192099qvd.127.1651410575488;
Sun, 01 May 2022 06:09:35 -0700 (PDT)
X-Received: by 2002:a25:d84b:0:b0:649:87d2:5875 with SMTP id
p72-20020a25d84b000000b0064987d25875mr472017ybg.357.1651410575289; Sun, 01
May 2022 06:09:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!1.us.feeder.erje.net!feeder.erje.net!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 1 May 2022 06:09:35 -0700 (PDT)
In-Reply-To: <33ef5a26-8c17-4f39-9fee-073f8bae6a55n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <45adc7e2-154b-4ada-9b41-f45af98470ean@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Sun, 01 May 2022 13:09:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 38
 by: Dan Christensen - Sun, 1 May 2022 13:09 UTC

On Sunday, May 1, 2022 at 2:22:56 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> Doesn't make any sense to prove existence of add/3 with 762 proof lines.
>

You were never quite got formal proof, did you, Jan Burse?

> Dan Christensen schrieb am Samstag, 30. April 2022 um 22:39:44 UTC+2:
> > This is how it is done: https://dcproof.com/ConstructAddFunction.htm
>
> And where is a proof of EXIST(n):Peano(n) ?

Peano's Axioms are introduced on lines 2-6.

> You don't have a powerful
> set theory, like ZFC would be, that could prove that. In ZFC you
> could do such a construction, by means of the Axiom of Infinity (AOI).
>

If you want to derive Peano's Axioms, you can start by simple introducing the following axiom of infinity. (Much easier to work with than the ZFC version.) It postulates the existence of a Dedekind infinite set:

1. EXIST(inf):EXIST(x0):EXIST(f):[Set(inf) & x0 in inf & ALL(a):[a in inf => f(a) in inf]
& ALL(a):ALL(b):[a in inf & b in inf => [f(a)=f(b) => a=b]]
& ALL(a):[a in inf => ~f(a)=x0]]
Axiom

Then you can prove that (inf, f, x0) satisfy the Peano Axioms where inf is the set of natural numbers (usually N), x0 is the first natural number (usually 0 or 1) and f is the successor function (usually S). It's a nice little exercise. You should try it, 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 JG's fake math

<96ca54cc-9134-4684-9691-fe4c8a36ffccn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:240e:b0:69f:6ab:4cd9 with SMTP id d14-20020a05620a240e00b0069f06ab4cd9mr6503893qkn.462.1651434301467;
Sun, 01 May 2022 12:45:01 -0700 (PDT)
X-Received: by 2002:a81:515:0:b0:2f7:f0f8:b521 with SMTP id
21-20020a810515000000b002f7f0f8b521mr8558052ywf.2.1651434301288; Sun, 01 May
2022 12:45:01 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 1 May 2022 12:45:01 -0700 (PDT)
In-Reply-To: <45adc7e2-154b-4ada-9b41-f45af98470ean@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>
<45adc7e2-154b-4ada-9b41-f45af98470ean@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <96ca54cc-9134-4684-9691-fe4c8a36ffccn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sun, 01 May 2022 19:45:01 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 13
 by: Mostowski Collapse - Sun, 1 May 2022 19:45 UTC

I am more concerned that your add/3 is only a Half-Function,
and not a Function. It has dark elements. For example we cannot prove:

ALL(x):ALL(y):[add(x,y,0) => x=0 & y=0]

On the other hand if "add" were really add : N x N -> N, we
could prove the above. But with your nonsense

we cannot prove the above.

Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 15:09:40 UTC+2:
> On Sunday, May 1, 2022 at 2:22:56 AM UTC-4, Mostowski Collapse (Jan Burse) wrote:
> > Doesn't make any sense to prove existence of add/3 with 762 proof lines.

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

<838bb573-d65d-44d3-b2ee-d1fd47980dddn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:10a8:b0:69f:8b8b:36d9 with SMTP id h8-20020a05620a10a800b0069f8b8b36d9mr7233528qkk.93.1651450623557;
Sun, 01 May 2022 17:17:03 -0700 (PDT)
X-Received: by 2002:a81:515:0:b0:2f7:f0f8:b521 with SMTP id
21-20020a810515000000b002f7f0f8b521mr9105936ywf.2.1651450623394; Sun, 01 May
2022 17:17:03 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 1 May 2022 17:17:03 -0700 (PDT)
In-Reply-To: <96ca54cc-9134-4684-9691-fe4c8a36ffccn@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <33ef5a26-8c17-4f39-9fee-073f8bae6a55n@googlegroups.com>
<45adc7e2-154b-4ada-9b41-f45af98470ean@googlegroups.com> <96ca54cc-9134-4684-9691-fe4c8a36ffccn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <838bb573-d65d-44d3-b2ee-d1fd47980dddn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Mon, 02 May 2022 00:17:03 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 14
 by: Dan Christensen - Mon, 2 May 2022 00:17 UTC

See my reply earlier today to you identical posting in another thread here.

Dan

On Sunday, May 1, 2022 at 3:45:06 PM UTC-4, Mostowski Collapse wrote:
> I am more concerned that your add/3 is only a Half-Function,
> and not a Function. It has dark elements. For example we cannot prove:
>
> ALL(x):ALL(y):[add(x,y,0) => x=0 & y=0]
>
> On the other hand if "add" were really add : N x N -> N, we
> could prove the above. But with your nonsense
>
> we cannot prove the above.

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

<65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:58d6:0:b0:2f3:d35c:4ef8 with SMTP id u22-20020ac858d6000000b002f3d35c4ef8mr21145781qta.265.1652349187993;
Thu, 12 May 2022 02:53:07 -0700 (PDT)
X-Received: by 2002:a05:6902:136c:b0:649:81aa:5f7b with SMTP id
bt12-20020a056902136c00b0064981aa5f7bmr27743364ybb.303.1652349187843; Thu, 12
May 2022 02:53:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 02:53:07 -0700 (PDT)
In-Reply-To: <517031b9-e1ab-4d0c-8273-5def395cf551n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com> <517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 09:53:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1541
 by: Mostowski Collapse - Thu, 12 May 2022 09:53 UTC

STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake math
After 2 days, he still didn't understand the difference betweeen
Evenness and Evennumber. Dan Christensen is the Super Rectum of stupidity.

Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> STUDENTS BEWARE: Don't be a victim of JG's fake math

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

<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:5b50:0:b0:2f3:ae99:8e0 with SMTP id n16-20020ac85b50000000b002f3ae9908e0mr27778546qtw.669.1652360167655;
Thu, 12 May 2022 05:56:07 -0700 (PDT)
X-Received: by 2002:a05:6902:389:b0:633:31c1:d0f7 with SMTP id
f9-20020a056902038900b0063331c1d0f7mr27087672ybs.543.1652360167497; Thu, 12
May 2022 05:56:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 05:56:07 -0700 (PDT)
In-Reply-To: <65d1173d-d11c-481f-b815-1aa6063479ebn@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Thu, 12 May 2022 12:56:07 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2039
 by: Dan Christensen - Thu, 12 May 2022 12:56 UTC

On Thursday, May 12, 2022 at 5:53:13 AM UTC-4, Mostowski Collapse wrote:
> STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake math
> After 2 days, he still didn't understand the difference betweeen
> Evenness and Evennumber. Dan Christensen is the Super Rectum of stupidity..
> Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> > STUDENTS BEWARE: Don't be a victim of JG's fake math

HA, HA!! Poor Jan Burse, sticking up for his little buddy and fellow troll here, is grasping at straws here. To salvage his pet theory, the notion of evenness must be determined, not only for the natural numbers, but EVERY OBJECT IN THE UNIVERSE. Really quite pathetic.

Dan

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

<37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:31a2:b0:6a0:1d82:8907 with SMTP id bi34-20020a05620a31a200b006a01d828907mr22836156qkb.408.1652361991337;
Thu, 12 May 2022 06:26:31 -0700 (PDT)
X-Received: by 2002:a81:8cf:0:b0:2f4:da59:9eef with SMTP id
198-20020a8108cf000000b002f4da599eefmr40721ywi.78.1652361991149; Thu, 12 May
2022 06:26: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: Thu, 12 May 2022 06:26:30 -0700 (PDT)
In-Reply-To: <52058190-59c3-4667-b03b-990e525ee5ean@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 13:26:31 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2580
 by: Mostowski Collapse - Thu, 12 May 2022 13:26 UTC

Dan Christensen denys Euclid, which is quite funny.
With Euclids definition we can of course prove:

|- ALL(a):[~a e n => ~Evennumber(a)]

Or in natural language:

"Everything that is not a natural number is also not an even natural number"

Which is the same as saying:

"Everything that is not a car is not also not an electro car"

Pretty simple, but too much for dumbo?

Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 14:56:13 UTC+2:
> On Thursday, May 12, 2022 at 5:53:13 AM UTC-4, Mostowski Collapse wrote:
> > STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake math
> > After 2 days, he still didn't understand the difference betweeen
> > Evenness and Evennumber. Dan Christensen is the Super Rectum of stupidity.
> > Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> > > STUDENTS BEWARE: Don't be a victim of JG's fake math
> HA, HA!! Poor Jan Burse, sticking up for his little buddy and fellow troll here, is grasping at straws here. To salvage his pet theory, the notion of evenness must be determined, not only for the natural numbers, but EVERY OBJECT IN THE UNIVERSE. Really quite pathetic.
>
> Dan

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

<7df2de8a-9506-4e14-95cc-f40dd5bc36ccn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:16c2:b0:69f:ca37:f6b5 with SMTP id a2-20020a05620a16c200b0069fca37f6b5mr23485106qkn.48.1652362173751;
Thu, 12 May 2022 06:29:33 -0700 (PDT)
X-Received: by 2002:a81:4c47:0:b0:2f4:daab:946c with SMTP id
z68-20020a814c47000000b002f4daab946cmr13701ywa.434.1652362173579; Thu, 12 May
2022 06:29:33 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 06:29:33 -0700 (PDT)
In-Reply-To: <37556258-566e-48fb-bc24-0f76b3b97c5cn@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7df2de8a-9506-4e14-95cc-f40dd5bc36ccn@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 13:29:33 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Thu, 12 May 2022 13:29 UTC

Its quite straight to derive from Euclid:

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

This here:

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

And then its a matter of contraposition:

ALL(a):[~a e n => ~Evennumber(a)]

Nevertheless Dan Christensen, high as a kite and bat shit crazy,
claims the result is wonky.

LMAO!

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 15:26:36 UTC+2:
> Dan Christensen denys Euclid, which is quite funny.
> With Euclids definition we can of course prove:
>
> |- ALL(a):[~a e n => ~Evennumber(a)]
>
> Or in natural language:
>
> "Everything that is not a natural number is also not an even natural number"
>
> Which is the same as saying:
>
> "Everything that is not a car is not also not an electro car"
>
> Pretty simple, but too much for dumbo?
> Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 14:56:13 UTC+2:
> > On Thursday, May 12, 2022 at 5:53:13 AM UTC-4, Mostowski Collapse wrote:
> > > STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake math
> > > After 2 days, he still didn't understand the difference betweeen
> > > Evenness and Evennumber. Dan Christensen is the Super Rectum of stupidity.
> > > Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> > > > STUDENTS BEWARE: Don't be a victim of JG's fake math
> > HA, HA!! Poor Jan Burse, sticking up for his little buddy and fellow troll here, is grasping at straws here. To salvage his pet theory, the notion of evenness must be determined, not only for the natural numbers, but EVERY OBJECT IN THE UNIVERSE. Really quite pathetic.
> >
> > Dan

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

<e61163a6-04c1-4766-984a-7c3f5a51a837n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:38b:b0:2f3:dcce:a7a3 with SMTP id j11-20020a05622a038b00b002f3dccea7a3mr16507614qtx.439.1652362188336;
Thu, 12 May 2022 06:29:48 -0700 (PDT)
X-Received: by 2002:a05:6902:136c:b0:649:81aa:5f7b with SMTP id
bt12-20020a056902136c00b0064981aa5f7bmr28602838ybb.303.1652362188182; Thu, 12
May 2022 06:29:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 06:29:47 -0700 (PDT)
In-Reply-To: <37556258-566e-48fb-bc24-0f76b3b97c5cn@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e61163a6-04c1-4766-984a-7c3f5a51a837n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 13:29:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Mostowski Collapse - Thu, 12 May 2022 13:29 UTC

Its quite straight to derive from Euclid:

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

This here:

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

And then its a matter of contraposition:

ALL(a):[~a e n => ~Evennumber(a)]

Nevertheless Dan Christensen, high as a kite and bat shit crazy,
claims the result is wonky.

LMAO!

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 15:26:36 UTC+2:
> Dan Christensen denys Euclid, which is quite funny.
> With Euclids definition we can of course prove:
>
> |- ALL(a):[~a e n => ~Evennumber(a)]
>
> Or in natural language:
>
> "Everything that is not a natural number is also not an even natural number"
>
> Which is the same as saying:
>
> "Everything that is not a car is not also not an electro car"
>
> Pretty simple, but too much for dumbo?
> Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 14:56:13 UTC+2:
> > On Thursday, May 12, 2022 at 5:53:13 AM UTC-4, Mostowski Collapse wrote:
> > > STUDENTS BEWARE: Don't be a victim of Dan Christensen 's fake math
> > > After 2 days, he still didn't understand the difference betweeen
> > > Evenness and Evennumber. Dan Christensen is the Super Rectum of stupidity.
> > > Dan Christensen schrieb am Sonntag, 1. Mai 2022 um 06:52:14 UTC+2:
> > > > STUDENTS BEWARE: Don't be a victim of JG's fake math
> > HA, HA!! Poor Jan Burse, sticking up for his little buddy and fellow troll here, is grasping at straws here. To salvage his pet theory, the notion of evenness must be determined, not only for the natural numbers, but EVERY OBJECT IN THE UNIVERSE. Really quite pathetic.
> >
> > Dan

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

<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:4104:b0:42c:1db0:da28 with SMTP id kc4-20020a056214410400b0042c1db0da28mr185096qvb.67.1652368667611;
Thu, 12 May 2022 08:17:47 -0700 (PDT)
X-Received: by 2002:a81:4782:0:b0:2eb:1cb1:5441 with SMTP id
u124-20020a814782000000b002eb1cb15441mr513332ywa.479.1652368667429; Thu, 12
May 2022 08:17:47 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:17:47 -0700 (PDT)
In-Reply-To: <37556258-566e-48fb-bc24-0f76b3b97c5cn@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com>
Subject: Re: STUDENTS BEWARE: Don't be a victim of JG's fake math
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Thu, 12 May 2022 15:17:47 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2245
 by: Dan Christensen - Thu, 12 May 2022 15:17 UTC

On Thursday, May 12, 2022 at 9:26:36 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> Dan Christensen denys Euclid, which is quite funny.
> With Euclids definition we can of course prove:
>
> |- ALL(a):[~a e n => ~Evennumber(a)]
>
> Or in natural language:
>
> "Everything that is not a natural number is also not an even natural number"
>

Less wonky and more intuitive would be: "For every natural number, we say that it is even if and only if it is multiple of two."

ALL(a):[a in N => [Even(a) <=> EXIST(b):[b in N & a=2*b]]]

There is no need to formally consider anything other than the natural numbers. It can only lead to confusion. Your silly DARK ELEMENTS project will get nowhere, 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

Dan Christense is Bat Shit Crazy

<04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7d46:0:b0:2f3:dd89:5557 with SMTP id h6-20020ac87d46000000b002f3dd895557mr228670qtb.567.1652369084455;
Thu, 12 May 2022 08:24:44 -0700 (PDT)
X-Received: by 2002:a81:515:0:b0:2f7:f0f8:b521 with SMTP id
21-20020a810515000000b002f7f0f8b521mr636250ywf.2.1652369083930; Thu, 12 May
2022 08:24:43 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:24:43 -0700 (PDT)
In-Reply-To: <43984507-56c7-4f8c-a72b-bdb3dc6e6608n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
Subject: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 15:24:44 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2772
 by: Mostowski Collapse - Thu, 12 May 2022 15:24 UTC

You didn't prove:

ALL(a):[Even'(a) <=> Even(a)]

Anyway, you are allowed to do whatever you want, even
if its the biggest bullshit on this planet. Your nonsense is
not a definition, only an axiom. Most of mathematics is

based on well defined definitions, and not on your nonsense.
You find your nonsense nowhere, even Euclid didn't use
your nonsense. Your nonsense is nowhere needed.

Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 17:17:53 UTC+2:
> On Thursday, May 12, 2022 at 9:26:36 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> > Dan Christensen denys Euclid, which is quite funny.
> > With Euclids definition we can of course prove:
> >
> > |- ALL(a):[~a e n => ~Evennumber(a)]
> >
> > Or in natural language:
> >
> > "Everything that is not a natural number is also not an even natural number"
> >
> Less wonky and more intuitive would be: "For every natural number, we say that it is even if and only if it is multiple of two."
>
> ALL(a):[a in N => [Even(a) <=> EXIST(b):[b in N & a=2*b]]]
>
> There is no need to formally consider anything other than the natural numbers. It can only lead to confusion. Your silly DARK ELEMENTS project will get nowhere, 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: Dan Christense is Bat Shit Crazy

<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:4054:b0:6a0:6f88:9cd9 with SMTP id i20-20020a05620a405400b006a06f889cd9mr255743qko.747.1652369140509;
Thu, 12 May 2022 08:25:40 -0700 (PDT)
X-Received: by 2002:a25:4244:0:b0:64b:3af3:45a9 with SMTP id
p65-20020a254244000000b0064b3af345a9mr350668yba.536.1652369140287; Thu, 12
May 2022 08:25:40 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:25:40 -0700 (PDT)
In-Reply-To: <04402f36-1778-420d-b95a-09c809e4f55an@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 15:25:40 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3528
 by: Mostowski Collapse - Thu, 12 May 2022 15:25 UTC

A definite needs to be well defined:

In mathematics, a well-defined expression or unambiguous
expression is an expression whose definition assigns
it a unique interpretation or value.
https://en.wikipedia.org/wiki/Well-defined_expression

You can even not exclude s(-1)=0 in your Peano Axioms,
since even your Peano Axioms are not well defined
concerning the function s, its not a Successor,

you should call it Successness:

/* Dans Successness, is not a Successor */
s(-1) = 0

because you always use turd mathematics.

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:24:49 UTC+2:
> You didn't prove:
>
> ALL(a):[Even'(a) <=> Even(a)]
>
> Anyway, you are allowed to do whatever you want, even
> if its the biggest bullshit on this planet. Your nonsense is
> not a definition, only an axiom. Most of mathematics is
>
> based on well defined definitions, and not on your nonsense.
> You find your nonsense nowhere, even Euclid didn't use
> your nonsense. Your nonsense is nowhere needed.
> Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 17:17:53 UTC+2:
> > On Thursday, May 12, 2022 at 9:26:36 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> > > Dan Christensen denys Euclid, which is quite funny.
> > > With Euclids definition we can of course prove:
> > >
> > > |- ALL(a):[~a e n => ~Evennumber(a)]
> > >
> > > Or in natural language:
> > >
> > > "Everything that is not a natural number is also not an even natural number"
> > >
> > Less wonky and more intuitive would be: "For every natural number, we say that it is even if and only if it is multiple of two."
> >
> > ALL(a):[a in N => [Even(a) <=> EXIST(b):[b in N & a=2*b]]]
> >
> > There is no need to formally consider anything other than the natural numbers. It can only lead to confusion. Your silly DARK ELEMENTS project will get nowhere, 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: Dan Christense is Bat Shit Crazy

<10993279-37c5-4c33-989e-11d2400a6693n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a37:e102:0:b0:69f:8463:cbdd with SMTP id c2-20020a37e102000000b0069f8463cbddmr307260qkm.766.1652369391684;
Thu, 12 May 2022 08:29:51 -0700 (PDT)
X-Received: by 2002:a81:2185:0:b0:2f1:de50:5ecb with SMTP id
h127-20020a812185000000b002f1de505ecbmr686276ywh.40.1652369390911; Thu, 12
May 2022 08:29:50 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:29:50 -0700 (PDT)
In-Reply-To: <1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <10993279-37c5-4c33-989e-11d2400a6693n@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 15:29:51 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Thu, 12 May 2022 15:29 UTC

In a few days the bat shit crazy and high as a kite
Dan Christensen, went from this being consistent
(has a model) with his Peano Axiom Successness:

s(-1) = 0

To this being consistent (has a model) with
his freaking carzy bullshit Evenness axiom,
which is not a definition:

even(-1)

Bravo, you are surely the ultimate crank.

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:25:45 UTC+2:
> A definite needs to be well defined:
>
> In mathematics, a well-defined expression or unambiguous
> expression is an expression whose definition assigns
> it a unique interpretation or value.
> https://en.wikipedia.org/wiki/Well-defined_expression
>
> You can even not exclude s(-1)=0 in your Peano Axioms,
> since even your Peano Axioms are not well defined
> concerning the function s, its not a Successor,
>
> you should call it Successness:
>
> /* Dans Successness, is not a Successor */
> s(-1) = 0
>
> because you always use turd mathematics.
> Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:24:49 UTC+2:
> > You didn't prove:
> >
> > ALL(a):[Even'(a) <=> Even(a)]
> >
> > Anyway, you are allowed to do whatever you want, even
> > if its the biggest bullshit on this planet. Your nonsense is
> > not a definition, only an axiom. Most of mathematics is
> >
> > based on well defined definitions, and not on your nonsense.
> > You find your nonsense nowhere, even Euclid didn't use
> > your nonsense. Your nonsense is nowhere needed.
> > Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 17:17:53 UTC+2:
> > > On Thursday, May 12, 2022 at 9:26:36 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> > > > Dan Christensen denys Euclid, which is quite funny.
> > > > With Euclids definition we can of course prove:
> > > >
> > > > |- ALL(a):[~a e n => ~Evennumber(a)]
> > > >
> > > > Or in natural language:
> > > >
> > > > "Everything that is not a natural number is also not an even natural number"
> > > >
> > > Less wonky and more intuitive would be: "For every natural number, we say that it is even if and only if it is multiple of two."
> > >
> > > ALL(a):[a in N => [Even(a) <=> EXIST(b):[b in N & a=2*b]]]
> > >
> > > There is no need to formally consider anything other than the natural numbers. It can only lead to confusion. Your silly DARK ELEMENTS project will get nowhere, 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: Dan Christense is Bat Shit Crazy

<0a62de78-0751-430a-83f9-a88bbcb10667n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:1c83:b0:443:6749:51f8 with SMTP id ib3-20020a0562141c8300b00443674951f8mr504971qvb.74.1652369421506;
Thu, 12 May 2022 08:30:21 -0700 (PDT)
X-Received: by 2002:a25:8f90:0:b0:648:84d1:1431 with SMTP id
u16-20020a258f90000000b0064884d11431mr299329ybl.483.1652369421249; Thu, 12
May 2022 08:30:21 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:30:21 -0700 (PDT)
In-Reply-To: <1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0a62de78-0751-430a-83f9-a88bbcb10667n@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 15:30:21 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Mostowski Collapse - Thu, 12 May 2022 15:30 UTC

In a few days the bat shit crazy and high as a kite
Dan Christensen, went from this being consistent
(has a model) with his Peano Axiom Successness:

s(-1) = 0

To this being consistent (has a model) with
his freaking carzy bullshit Evenness axiom,
which is not a definition:

even(-1)

Bravo, you are surely the ultimate crank.

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:25:45 UTC+2:
> A definite needs to be well defined:
>
> In mathematics, a well-defined expression or unambiguous
> expression is an expression whose definition assigns
> it a unique interpretation or value.
> https://en.wikipedia.org/wiki/Well-defined_expression
>
> You can even not exclude s(-1)=0 in your Peano Axioms,
> since even your Peano Axioms are not well defined
> concerning the function s, its not a Successor,
>
> you should call it Successness:
>
> /* Dans Successness, is not a Successor */
> s(-1) = 0
>
> because you always use turd mathematics.
> Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:24:49 UTC+2:
> > You didn't prove:
> >
> > ALL(a):[Even'(a) <=> Even(a)]
> >
> > Anyway, you are allowed to do whatever you want, even
> > if its the biggest bullshit on this planet. Your nonsense is
> > not a definition, only an axiom. Most of mathematics is
> >
> > based on well defined definitions, and not on your nonsense.
> > You find your nonsense nowhere, even Euclid didn't use
> > your nonsense. Your nonsense is nowhere needed.
> > Dan Christensen schrieb am Donnerstag, 12. Mai 2022 um 17:17:53 UTC+2:
> > > On Thursday, May 12, 2022 at 9:26:36 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> > > > Dan Christensen denys Euclid, which is quite funny.
> > > > With Euclids definition we can of course prove:
> > > >
> > > > |- ALL(a):[~a e n => ~Evennumber(a)]
> > > >
> > > > Or in natural language:
> > > >
> > > > "Everything that is not a natural number is also not an even natural number"
> > > >
> > > Less wonky and more intuitive would be: "For every natural number, we say that it is even if and only if it is multiple of two."
> > >
> > > ALL(a):[a in N => [Even(a) <=> EXIST(b):[b in N & a=2*b]]]
> > >
> > > There is no need to formally consider anything other than the natural numbers. It can only lead to confusion. Your silly DARK ELEMENTS project will get nowhere, 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: Dan Christense is Bat Shit Crazy

<4694bc1c-9d04-4fd1-9398-7c15231c3489n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:9c08:0:b0:45a:a2a1:62e4 with SMTP id v8-20020a0c9c08000000b0045aa2a162e4mr363752qve.114.1652370946023;
Thu, 12 May 2022 08:55:46 -0700 (PDT)
X-Received: by 2002:a25:4244:0:b0:64b:3af3:45a9 with SMTP id
p65-20020a254244000000b0064b3af345a9mr494592yba.536.1652370945879; Thu, 12
May 2022 08:55:45 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:55:45 -0700 (PDT)
In-Reply-To: <0a62de78-0751-430a-83f9-a88bbcb10667n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com> <0a62de78-0751-430a-83f9-a88bbcb10667n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4694bc1c-9d04-4fd1-9398-7c15231c3489n@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 15:55:46 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2338
 by: Mostowski Collapse - Thu, 12 May 2022 15:55 UTC

Because of your bat shit crazy stuff, you cannot prove:

/* Not Provable in the Dan Christensen Approach */
ALL(a):[Evenness(a) => Oddness(Successness(a))]

Whereas with Euclid we can prove:

/* Pretty much standard for everybody from math */
ALL(a):[Evennumber(a) => Oddnumber(Successor(a))]

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:30:26 UTC+2:
> In a few days the bat shit crazy and high as a kite
> Dan Christensen, went from this being consistent
> (has a model) with his Peano Axiom Successness:
>
> s(-1) = 0
>
> To this being consistent (has a model) with
> his freaking carzy bullshit Evenness axiom,
> which is not a definition:
>
> even(-1)
>
> Bravo, you are surely the ultimate crank.

Re: Dan Christense is Bat Shit Crazy

<12af6870-5d58-4d53-8bca-0ca8f3158e11n@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:b67:b0:45d:db71:9592 with SMTP id ey7-20020a0562140b6700b0045ddb719592mr599423qvb.128.1652371136923;
Thu, 12 May 2022 08:58:56 -0700 (PDT)
X-Received: by 2002:a0d:e296:0:b0:2f7:c169:126f with SMTP id
l144-20020a0de296000000b002f7c169126fmr705950ywe.431.1652371136789; Thu, 12
May 2022 08:58:56 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 08:58:56 -0700 (PDT)
In-Reply-To: <04402f36-1778-420d-b95a-09c809e4f55an@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <12af6870-5d58-4d53-8bca-0ca8f3158e11n@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: Dan_Chri...@sympatico.ca (Dan Christensen)
Injection-Date: Thu, 12 May 2022 15:58:56 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1917
 by: Dan Christensen - Thu, 12 May 2022 15:58 UTC

On Thursday, May 12, 2022 at 11:24:49 AM UTC-4, Mostowski Collapse (aka Jan Burse) wrote:
> You didn't prove:
>
> ALL(a):[Even'(a) <=> Even(a)]
>

You are repeating yourself, Jan Burse. See my reply just now to your identical posting on this topic elsewhere. Likewise, your next 3 postings 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: Dan Christense is Bat Shit Crazy

<817e3a94-8fc7-4378-bad0-eeb6871ee9cbn@googlegroups.com>

 copy mid

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

 copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:7dc1:0:b0:2f3:c70a:df9e with SMTP id c1-20020ac87dc1000000b002f3c70adf9emr484053qte.307.1652372086170;
Thu, 12 May 2022 09:14:46 -0700 (PDT)
X-Received: by 2002:a25:cdc7:0:b0:648:f57d:c0ed with SMTP id
d190-20020a25cdc7000000b00648f57dc0edmr577826ybf.480.1652372085815; Thu, 12
May 2022 09:14:45 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Thu, 12 May 2022 09:14:45 -0700 (PDT)
In-Reply-To: <4694bc1c-9d04-4fd1-9398-7c15231c3489n@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: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com> <65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com> <37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com> <04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com> <0a62de78-0751-430a-83f9-a88bbcb10667n@googlegroups.com>
<4694bc1c-9d04-4fd1-9398-7c15231c3489n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <817e3a94-8fc7-4378-bad0-eeb6871ee9cbn@googlegroups.com>
Subject: Re: Dan Christense is Bat Shit Crazy
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Thu, 12 May 2022 16:14:46 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 3075
 by: Mostowski Collapse - Thu, 12 May 2022 16:14 UTC

So the non-standard nonsense by Dan Christensen is
totally useless. What every mathematician expects:

/* provable */
|- ALL(a):[Evennumber(a) => Oddnumber(Successor(a))]

Is depreved by Dan Christensens poop 💩 mathematics:

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

He even managed to botch the Peano axioms. To show
its not provable counter model Evenness(-1) and
Successness(-1)=0 is enougg.

Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:55:50 UTC+2:
> Because of your bat shit crazy stuff, you cannot prove:
>
> /* Not Provable in the Dan Christensen Approach */
> ALL(a):[Evenness(a) => Oddness(Successness(a))]
>
> Whereas with Euclid we can prove:
>
> /* Pretty much standard for everybody from math */
> ALL(a):[Evennumber(a) => Oddnumber(Successor(a))]
> Mostowski Collapse schrieb am Donnerstag, 12. Mai 2022 um 17:30:26 UTC+2:
> > In a few days the bat shit crazy and high as a kite
> > Dan Christensen, went from this being consistent
> > (has a model) with his Peano Axiom Successness:
> >
> > s(-1) = 0
> >
> > To this being consistent (has a model) with
> > his freaking carzy bullshit Evenness axiom,
> > which is not a definition:
> >
> > even(-1)
> >
> > Bravo, you are surely the ultimate crank.

Re: Dan Christense is Bat Shit Crazy

<t5jgsv$ito$2@gioia.aioe.org>

 copy mid

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

 copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!Epfvj1XTJoTo8WyxQ3cphg.user.46.165.242.75.POSTED!not-for-mail
From: poi...@kdniakid.od (Phil Konda)
Newsgroups: sci.math
Subject: Re: Dan Christense is Bat Shit Crazy
Date: Thu, 12 May 2022 17:41:51 -0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <t5jgsv$ito$2@gioia.aioe.org>
References: <e5351be5-2896-4a1c-8ffd-81b733f0d803n@googlegroups.com>
<517031b9-e1ab-4d0c-8273-5def395cf551n@googlegroups.com>
<65d1173d-d11c-481f-b815-1aa6063479ebn@googlegroups.com>
<52058190-59c3-4667-b03b-990e525ee5ean@googlegroups.com>
<37556258-566e-48fb-bc24-0f76b3b97c5cn@googlegroups.com>
<43984507-56c7-4f8c-a72b-bdb3dc6e6608n@googlegroups.com>
<04402f36-1778-420d-b95a-09c809e4f55an@googlegroups.com>
<1f2d3df3-e4d8-4c57-a2aa-38a46e3bcb0en@googlegroups.com>
<0a62de78-0751-430a-83f9-a88bbcb10667n@googlegroups.com>
<4694bc1c-9d04-4fd1-9398-7c15231c3489n@googlegroups.com>
<817e3a94-8fc7-4378-bad0-eeb6871ee9cbn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="19384"; posting-host="Epfvj1XTJoTo8WyxQ3cphg.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Nemo/0.999a
X-Notice: Filtered by postfilter v. 0.9.2
 by: Phil Konda - Thu, 12 May 2022 17:41 UTC

Mostowski Collapse wrote:

> So the non-standard nonsense by Dan Christensen is totally useless. What
> every mathematician expects:
>
> /* provable */
> |- ALL(a):[Evennumber(a) => Oddnumber(Successor(a))]

you are talking with yourself, you stupid nazi inbreed.

2022.05.11 Ukraine Officers Are Abandoning Their Men
https://www.youtube.com/watch?v=9FFOpy630q4
"Our commander dropped us off at the front lines, and then disappeared."
I think it even happened to one of those UK guys that was captured.

2022.05.11 Ukraine Cuts Off Gas To Europe
https://www.youtube.com/watch?v=shx8pCWOfYM
Ukrainians did that because the EU doesn‘t speed up their EU membership.
If so, it‘s hilarious. Funny to see how the blackmailers start to
blackmail each other.

If Germany economy is failing just a little, France will be the 1st
winning country here. This is so cool. The half_gearmons (historically)
are sucking big dicks already.

Ukraine and Russia Updates. The outcome is inevitable, Russia has won.
https://www.brighteon.com/347cff8b-d652-45af-841c-cfc508850893

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor